Wie kann ein einzelnes Parameterkonzept das Vorhandensein einer Vorlagenmethode erzwingen?

Post a reply

Smilies
:) :( :oops: :chelo: :roll: :wink: :muza: :sorry: :angel: :read: *x) :clever:
View more smilies

BBCode is ON
[img] is ON
[flash] is OFF
[url] is ON
Smilies are ON

Topic review
   

Expand view Topic review: Wie kann ein einzelnes Parameterkonzept das Vorhandensein einer Vorlagenmethode erzwingen?

by Guest » 08 Feb 2025, 15:18

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)

Top