Ist es bei der Template-Ableitung möglich zu erkennen, ob eine Consteval-Funktion ausgeführt werden könnte? ⇐ C++

[Anonymous]

Nehmen wir an, wir haben eine consteval-Funktion oder eine triviale Struktur mit consteval-Konstruktor, die nur einige der Werte akzeptiert:

Code: Select all

struct A
{
consteval A(int a)
{
// compile error if a < 0
if (a < 0)
throw "error";
}
};

Gibt es eine Möglichkeit zu erkennen, ob ein nicht typisierter Vorlagenparameter von int von einem solchen Konstruktor akzeptiert werden könnte? Ich habe den folgenden Code ausprobiert, bin aber fehlgeschlagen.

Code: Select all

template  concept accepted_by_A = requires() {A(a);};

int main()
{
std::cout