L'un des angles des concepts C ++ 20 est qu'il existe certaines situations dans lesquelles vous devez écrire requires requires. Par exemple, cet exemple de [expr.prim.req] / 3 : Une expression require peut également être utilisée dans une clause requires ([temp]) comme moyen d'écrire des...
Je veux savoir quelles sont les différences sémantiques entre la proposition de concepts complets de C ++ et les contraintes de modèle (par exemple, les contraintes apparaissant dans Dlang ou la nouvelle proposition de concepts-lite pour C ++ 1y ). Que sont les concepts à part entière capables de...
Donné : #include <concepts> #include <iostream> template<class T> struct wrapper; template<std::signed_integral T> struct wrapper<T> { wrapper() = default; void print() { std::cout << "signed_integral" << std::endl; } }; template<std::integral T>...
Le conceptequality_comparable_with<T, U> est destiné à déclarer que les objets de type Tet Upeuvent être comparés égaux les uns aux autres, et s'ils le sont, alors cela a la signification attendue. C'est très bien. Cependant, ce concept doit également common_reference_t<T&,...
Dans l'exemple suivant, les arguments de fonction sont utilisés pour tester avec une expression require si une expression les utilisant est bien formée. L'expression require ne prend aucun argument; il utilise directement les variables de la portée de la fonction: #include <cstddef> #include...
Je veux écrire un concept indexable signifiant qu'une séquence a un début / fin qui renvoie RandomAccessIterator, ou operator [] est défini et renvoie une valeur de type non void. J'ai utilisé des idées de l'article de Stroustrup pour le concept Sequence et je l'ai complété avec: template <class...