Preguntas etiquetadas con c++-concepts

Una de las esquinas de los conceptos de C ++ 20 es que hay ciertas situaciones en las que tienes que escribir requires requires. Por ejemplo, este ejemplo de [expr.prim.req] / 3 : Una expresión require también se puede usar en una cláusula require ([temp]) como una forma de escribir …

161 c++  c++-concepts  c++20 

Quiero saber cuáles son las diferencias semánticas entre la propuesta de conceptos completos de C ++ y las restricciones de la plantilla (por ejemplo, las restricciones que aparecieron en Dlang o la nueva propuesta de conceptos básicos para C ++ 1y ). ¿Qué son capaces de hacer los conceptos completos …

96 c++  c++11  d  c++-concepts 

Dado: #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> struct wrapper<T> { wrapper() = default; void print() { std::cout << "integral" << std::endl; } }; int main() { wrapper<int> w; …

23 c++  language-lawyer  c++20  c++-concepts 

El conceptoequality_­comparable_with<T, U> tiene la intención de declarar que los objetos de tipo Ty Use pueden comparar iguales entre sí, y si lo son, entonces esto tiene el significado esperado. Esta bien. Sin embargo, este concepto también requiere common_reference_t<T&, U&>existir. El ímpetu principal common_referencey la funcionalidad que lo acompaña parecen …

12 c++  c++20  c++-concepts 

Quiero escribir un concepto indexable, lo que significa que una secuencia tiene inicio / fin que devuelve RandomAccessIterator o que el operador [] está definido y devuelve un valor de tipo no vacío. Usé ideas del artículo de Stroustrup para el concepto de secuencia y lo aumenté con: template <class …

10 c++  c++-concepts 

En el siguiente ejemplo, los argumentos de la función se usan para probar con una expresión obligatoria si una expresión que los usa está bien formada. La expresión requiere no toma argumentos; utiliza las variables en el alcance de la función directamente: #include <cstddef> #include <vector> template<typename T> void Resize(T …

10 c++  c++20  c++-concepts 

Antecedentes Sabemos que el concepto std::same_ases agnóstico al orden (en otras palabras, simétrico): std::same_as<T, U>es equivalente a std::same_as<U, T>( pregunta relacionada ). En esta pregunta, me gustaría implementar algo más general: template <typename ... Types> concept same_are = ...que verifique si los tipos en el paquete Typesson iguales entre sí. …

8 c++  c++20  c++-concepts  fold-expression