Вложение концепций в предложения require путем ограничения auto [дубликат] ⇐ C++

[Гость]

Я хотел бы иметь возможность создать концепцию для проверки того, что некоторый тип (B) может быть вызван с другим типом (A), если A соответствует некоторой концепции. Экземпляры типа B будут храниться в каком-то третьем типе, поэтому было бы неплохо, чтобы они были действительны при передаче в указанный контейнер, а не при создании экземпляра шаблона operator().

Ниже я представляю, как это будет выглядеть, но это не работает, поскольку auto не разрешено в предложении require, хотя это имеет смысл, это концепция ограниченного авто, если он существует, то при компиляции следует исходить из того, что он по крайней мере соответствует требованиям концепции.

Я пытаюсь проверить внедрение зависимостей во время компиляции, когда интерфейс использует концепцию для ограничения шаблона.

Есть ли другой способ или мне не повезло?
шаблон концепция is_A = требует (A a) { а + 1; }; шаблон концепция is_B = require(B b, is_A auto& a){ // авто не разрешено б(а) };