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...
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...
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...
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&,...
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...
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...
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...