Preguntas etiquetadas con templates

El siguiente ejemplo sin sentido no se compila, pero ¿hay alguna otra forma de pasar una plantilla variable como argumento de plantilla? template<typename T> constexpr auto zero = T{0}; template<typename T, template<typename> auto VariableTemplate> constexpr auto add_one() { return VariableTemplate<T> + T{1}; } int main() { return add_one<int, zero>(); } …

11 c++  templates  c++14  template-templates  variable-templates 

Tengo un código que encuentra e imprime las coincidencias de un patrón que va sobre el contenedor de cadenas. La impresión se realiza en la función foo que tiene la plantilla El código #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include <string> #include <tuple> #include <utility> template<typename Iterator, template<typename> …

10 c++  c++11  templates  language-lawyer  template-templates 

Considere las 2 siguientes sobrecargas template<typename T> bool test() { return true; } template<template<typename ...> class T> bool test() { return false; } El primero funciona para clases regulares, mientras que el segundo funciona para plantillas que no se instancian. Por ejemplo: std::cout<<test<int>()<<std::endl; <-- this yields 1 std::cout<<test<std::list>()<<std::endl; <--this yields …

10 c++  templates  gcc  clang  c++17 

Considere el siguiente programa. #include <iostream> template <typename T> void f( void ( *fn )( T ) ) { fn( 42 ); } void g( int x ) { std::cout << "g( " << x << " );\n"; } int main() { f( g ); } El programa se compila …

10 c++  templates  language-lawyer  c++17  template-argument-deduction 

He estado leyendo sobre eliminar la referencia de un tipo, aquí . Da el siguiente ejemplo: #include <iostream> // std::cout #include <type_traits> // std::is_same template<class T1, class T2> void print_is_same() { std::cout << std::is_same<T1, T2>() << '\n'; } int main() { std::cout << std::boolalpha; print_is_same<int, int>(); print_is_same<int, int &>(); print_is_same<int, …

10 c++  c++11  templates  typetraits  dependent-name 

#include<iostream> #include<string> template <typename T> void swap(T a , T b) { T temp = a; a = b; b = temp; } template <typename T1> void swap1(T1 a , T1 b) { T1 temp = a; a = b; b = temp; } int main() { int a = …

9 c++  templates  pass-by-reference  pass-by-value  stdstring 

Dada la siguiente estructura de plantilla: template<typename T> struct Foo { Foo(T&&) {} }; Esto compila, y Tse deduce que es int: auto f = Foo(2); Pero esto no se compila: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for …

9 c++  templates  language-lawyer 

Tengo el siguiente código: template <typename TC> class C { struct S { template <typename TS> void fun() const {} }; void f(const S& s) { s.fun<int>(); } }; // Dummy main function int main() { return 0; } Al compilar esto con gcc 9.2 y clang (9.0), obtengo un …

9 c++  templates  language-lawyer  dependent-name 

Me gustaría pasar un puntero de función de una matriz de punteros de función como argumento de plantilla. Mi código parece compilarse usando MSVC aunque Intellisense se queja de que algo está mal. Tanto gcc como clang no pueden compilar el código. Considere el siguiente ejemplo: static void test() {} …

9 c++  templates  c++14 

Encontré este problema al intentar especializar tuple_size/ tuple_elementpara una clase personalizada en C ++ 17 para el enlace estructurado. El siguiente código se compila en GCC, pero no en clang (ambas versiones troncales, ver el enlace a continuación). #include <type_traits> template<typename T, typename... Ts> using sfinae_t = T; template<typename T, …

9 c++  templates  language-lawyer  template-specialization  partial-specialization 

#include <iostream> using namespace std; template <class X, class Y> Y big(X a, Y b) { if (a > b) return (a); else return (b); } int main() { cout << big(32.8, 9); } Aquí estoy usando plantillas en CPP, así que cuando llamo a la función sin bigpasar por …

9 c++  function  templates  return-type  function-templates 

Estoy tratando de entender los siguientes fragmentos de código Fragmento n. ° 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Ni gcc9 ni clang9 arrojan un error aquí. P. ¿Por qué se compila este código? ¿No estamos creando …

9 c++  templates  language-lawyer 

En el siguiente ejemplo de código, la ifinstrucción depende del boolparámetro de plantilla, que es una constante en tiempo de compilación. Los compiladores manejan este código de manera diferente: MSVC falla con el error de enlace (que es lo que esperaba), porque la función de plantilla en la elserama carece …

8 c++  templates  language-lawyer  compiler-optimization  template-specialization 

Después de mirar la resolución propuesta de # 1664 ( resolución propuesta 1664 ), estoy confundido por las reglas de un argumento predeterminado de una plantilla de función. Cite el contenido aquí: De acuerdo con 8.1.5 [expr.prim.lambda] párrafo 3 El tipo de cierre se declara en el ámbito de bloque …

8 c++  templates  c++17  language-lawyer 

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) funciona como se espera …

8 c++  templates  function-pointers  template-meta-programming  type-deduction