La metaprogramación de plantillas es una técnica de metaprogramación en la que un compilador utiliza las plantillas para generar código fuente temporal, que el compilador fusiona con el resto del código fuente y luego lo compila.
¿Es posible escribir una plantilla que cambie el comportamiento dependiendo de si una determinada función miembro está definida en una clase? Aquí hay un ejemplo simple de lo que me gustaría escribir: template<class T> std::string optionalToString(T* obj) { if
¿Cómo puedo iterar sobre una tupla (usando C ++ 11)? Intenté lo siguiente: for(int i=0; i<std::tuple_size<T...>::value; ++i) std::get<i>(my_tuple).do_sth(); pero esto no funciona: Error 1: lo siento, no implementado: no se puede expandir 'Oyente ...' en una lista de argumentos...
Me dijeron que el sistema de plantillas en C ++ está Turing completo en tiempo de compilación. Esto se menciona en esta publicación y también en wikipedia . ¿Puede proporcionar un ejemplo no trivial de un cálculo que explote esta propiedad? ¿Es este hecho útil en la
La pregunta está en negrita en la parte inferior, el problema también se resume en el fragmento de código de destilación hacia el final. Estoy tratando de unificar mi sistema de tipos (el sistema de tipos hace y de un tipo a una cadena) en un solo componente (como lo define Lakos). Estoy usando...
Tengo una función que toma una std::vectordimensión multidimensional y requiere que se pase la profundidad (o el número de dimensiones) como parámetro de plantilla. En lugar de codificar este valor, me gustaría escribir una constexprfunción que tome std::vectory devuelva la profundidad como...
¿Alguien puede explicarme por qué la primera plantilla de metaprogramación va a un ciclo infinito, pero la segunda se ejecuta correctamente? #include <iostream> using namespace std; template<int N, int M> struct commondivs { static const int val = (N<M) ?
Dado que los conceptos se definen como predicados en tiempo de compilación, ¿también es posible reutilizar estos predicados para algoritmos en tiempo de compilación? Por ejemplo, ¿sería posible verificar si todos los tipos de una tupla se ajustan a un concepto? Por lo que he visto, no es posible...
¿Es legítimo el siguiente código? template <int N> class foo { public: constexpr foo() { for (int i = 0; i < N; ++i) { v_[i] = i; } } private: int v_[N]; }; constexpr foo<5> bar; Clang lo acepta, pero GCC y MSVC lo rechazan. El error de GCC es: main.cpp:15:18: error:...
Quiero implementar la función atoi () en tiempo de compilación (en lenguaje C ++, usando el estándar C ++ 11 o C ++ 14). Por lo tanto, debería poder analizar el texto encerrado entre comillas dobles como número o informar un error. Más específicamente, es parte de un sistema más grande, que es...
Estoy tratando de entender qué metaprogramación es general y qué es en C ++ en particular. Si busco metaprogramación en c ++, obtengo tutoriales de metaprogramación de plantilla (TMP), pero no se explica si solo clasifica un uso específico de plantillas o todos los usos de las plantillas. Mi...
Tengo el siguiente problema. Defino un vector N dimensional como tal #include <vector> #include <utility> #include <string> template <int N, typename T> struct NVector{ typedef std::vector<typename NVector<N-1,T>::type> type; }; template <typename T>...
Estoy tratando de proporcionar un contenedor std::invokepara hacer el trabajo de deducir el tipo de función incluso cuando la función está sobrecargada. (Hice una pregunta relacionada ayer para la versión de puntero variadic y método). Cuando la función tiene un argumento, este código (C ++ 17)...