Как получить концепцию единого параметра в обеспечении присутствия шаблонного метода? ⇐ C++

[Anonymous]

Я могу написать следующее: < /p>

Код: Выделить всё

template
concept foo = requires(T& t) {
{ t.template bar() } -> std::same_as;
};

Единственная проблема заключается в том, что это дает мне концепцию foo , и то, что я хочу, - это концепция foo . Мне не нужна концепция, которая утверждает, что у t есть метод, который называется Bar , который требует некоторого конкретного u , я хочу утверждать, что у T есть метод, называемый Foo < /code> это шаблон и, следовательно, может принять что угодно. Синтаксис я только что заработал: < /p>
template
concept foo = requires(T& t) {
template { t.template bar() } -> std::same_as;
};
< /code>
больше похоже на то, чего я пытаюсь достичь. Можно ли сделать это в C ++ 23? название)


Подробнее здесь: https://stackoverflow.com/questions/793 ... ted-method