Wie kann ein einzelnes Parameterkonzept das Vorhandensein einer Vorlagenmethode erzwingen? ⇐ C++

[Guest]

Ich kann Folgendes schreiben: < /p>

Code: Select all

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

Das einzige Problem ist, dass mir ein Konzept foo und was ich möchte, ist ein Konzept Foo . Ich möchte kein Konzept, das behauptet, dass T eine Methode namens bar enthält, bei der einige spezifische U behaupten, dass t eine Methode namens FOO < /Code> das ist vorläufig und kann daher alles akzeptieren. Syntax Ich habe gerade erfunden: < /p>
template
concept foo = requires(T& t) {
template { t.template bar() } -> std::same_as;
};
< /code>
ist eher dem, was ich erreichen möchte. Kann dies in C ++ 23? < /P>
Hinweis zur Wiedereröffnung erfolgen Titel)