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

[Anonymous]

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

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

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

Единственная проблема заключается в том, что это дает мне концепцию foo, а мне нужна концепция foo. Мне не нужна концепция, утверждающая, что T имеет метод bar, который принимает определенный U, я хочу утверждать, что T имеет метод foo< /code>, который является шаблонным и поэтому может принимать что угодно. Синтаксис, который я только что придумал:

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

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

Это больше похоже на то, чего я пытаюсь достичь. Можно ли это сделать на C++23?


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