Utiliser un concept dans la clause 'requires' d'un autre concept

Question

J'ai un exemple assez simple avec lequel je lutte. Je voudrais utiliser un concept déjà défini dans la clause requires d'un autre concept - quelque chose comme ceci, sauf que ça fonctionne réellement :

template
concept Any = true;

template
concept UsesAnyA = requires(T t, Any auto a) {
  t(a);
};

J'ai aussi essayé de définir UsesAny de cette manière, mais sans plus de succès :

template
concept UsesAnyB = requires(T t, A a) {
  t(a);
};

D'un point de vue conceptuel, ça devrait être possible. Quelqu'un peut-il suggérer quelque chose ?

Answer 1

Probablement besoin de faire quelque chose comme cela :

template 
concept Any = true;

template 
concept UsesAny = Any and requires (T t, A a) {
  t(a);
};

Un concept a besoin de chacun des types complets impliqués pour tester sa contrainte, mais au moment où vous l'évaluez, vous devriez déjà avoir les types complets disponibles pour tester.

Je réalise que vérifier Any dans cet exemple est redondant, mais je suppose que votre concept réel n'est pas trivial, et cela montre comment l'utiliser pour contraindre votre concept dépendant.

Voici les trois façons différentes de contraindre un modèle avec UsesAny :

template auto f(A a, UsesAny `auto t) { t(a); }

template T> auto f(A a, T t) { t(a); }

template requires UsesAny auto f(A a, T t) { t(a); }`

chacune de ces formes sont équivalentes.