Preguntas etiquetadas con templates

Dada la siguiente plantilla de clase: template<typename T> struct Outer { struct Inner; auto f(Inner) -> void; }; Definimos Innerpor separado para cada especialización de Outer: template<> struct Outer<int>::Inner {}; template<> struct Outer<double>::Inner {}; y luego defina la función miembro funa vez para todas las especializaciones de Outer: auto Outer<T>::f(Inner) …

17 c++  templates  language-lawyer  template-specialization  incomplete-type 

Tengo el siguiente código con plantilla #include <vector> #include <array> #include <iostream> template<typename T1> void foo(std::vector<T1> bar) { std::cout << "GENERIC" << std::endl; } template<typename T1> void foo(std::vector<std::vector<T1>> bar) { std::cout << "SPECIFIC (vector)" << std::endl; } template<typename T1, int SIZE> void foo(std::vector<std::array<T1, SIZE>> bar) { std::cout << "SPECIFIC (array)" …

16 c++  templates 

¿Hay alguna manera de pasar una referencia como argumento a un argumento de nombre de tipo de plantilla? Quiero decir que en lugar de pasar un int, por ejemplo, pasar una referencia a un int. template <typename T> struct Foo { Foo(T arg) : ptr(arg) {} T ptr; }; int …

16 c++  templates 

Tengo una función que toma dos argumentos: template <typename T1, typename T2> void foo(T1 arg1, T2 arg2) { std::cout << arg1 << " + " << arg2 << '\n'; } Y una variable que debe reenviar sus argumentos en pares: template <typename... Args> void bar(Args&&... args) { static_assert(sizeof...(Args) % 2 …

16 c++  c++11  templates  variadic-templates 

Tengo un código como template <size_t N> class A { template <size_t N> someFunctions() {}; }; Ahora quiero crear instancias de la clase y llamar a las funciones en un bucle for para un conjunto de muchos valores como // in main() int main() { for (int i = 1; …

15 c++  for-loop  templates  compile-time-constant  template-classes 

No entiendo cuál es el problema: ya sea en mi código o en el compilador (menos posible). Hay un código como este: #include <iostream> #include <type_traits> #include <set> template<typename T, typename = void> struct TestA: std::false_type {}; template<typename T> struct TestA<T, std::void_t<typename T::reverse_iterator>> : std::true_type {}; template<typename T> struct TestA<T, …

14 c++  templates  gcc  visual-c++  clang 

Hola, he visto muchos ejemplos como este en Cppreference.com: std::is_class<T> std::is_integral Y así. Sé que si ejecuto el código, por ejemplo, obtengo trueo false. ¿Pero cuál es el punto en eso? por ejemplo, ¿saber que el objeto es de tipo de clase o no? #include <iostream> #include <type_traits> struct A …

14 c++  templates 

Últimamente escribí una función de plantilla para resolver algunas repeticiones de código. Se parece a esto: template<class T, class R, class... Args> R call_or_throw(const std::weak_ptr<T>& ptr, const std::string& error, R (T::*fun)(Args...), Args... args) { if (auto sp = ptr.lock()) { return std::invoke(fun, *sp, args...); } else { throw std::runtime_error(error.c_str()); } …

14 c++  templates 

El siguiente código no se compila con gcc o clang. template<class T> class foo{}; template<class T> class template_class_with_struct { void my_method() { if(this->b.foo < 1); }; struct bar { long foo; } b; }; Mensaje de error es error: type/value mismatch at argument 1 in template parameter list for 'template<class …

13 c++  templates  compiler-errors  compiler-bug 

Tengo una plantilla de función que toma muchos tipos diferentes como entrada. De esos tipos, solo uno de ellos tiene una getInt()función. Por lo tanto, quiero que el código ejecute la función solo para ese tipo. Por favor sugiera una solución. Gracias #include <type_traits> #include <typeinfo> class X { public: …

13 c++  c++11  templates  c++14  metaprogramming 

Quiero comparar estructuras de forma genérica y he hecho algo como esto (no puedo compartir la fuente real, así que solicite más detalles si es necesario): template<typename Data> bool structCmp(Data data1, Data data2) { void* dataStart1 = (std::uint8_t*)&data1; void* dataStart2 = (std::uint8_t*)&data2; return memcmp(dataStart1, dataStart2, sizeof(Data)) == 0; } Esto …

13 c++  templates  struct  padding  memcmp 

Cuando queremos usar a static_asserten a if constexprdebemos hacer que la condición dependa de algún parámetro de plantilla. Curiosamente, gcc y clang no están de acuerdo cuando el código está envuelto en una lambda. El siguiente código se compila con gcc, pero clang activa la afirmación, incluso si if constexprno …

13 c++  templates  language-lawyer  c++17  static-assert 

Hasta el estándar C ++ 20 de C ++, cuando queríamos definir un operador fuera de clase que usara algunos miembros privados de una clase de plantilla, usaríamos una construcción similar a esta: template <typename T> class Foo; template <typename T> constexpr bool operator==(T lhs, const Foo<T>& rhs); template <typename …

12 c++  templates  c++20 

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 pasar …

12 c++  templates  template-meta-programming  c++20  concept 

Considere el siguiente código: template<int i> class A { typedef A<i-1> B; B x, y; }; template<> class A<0> { char m; }; int main() { A<LEVEL> a; } Al comparar su compilación por g ++ con el siguiente comando Bash (con g ++ 8.3.0) for ((level=1; level<30; ++level)); do …

12 c++  templates  gcc  compilation