Perguntas com a marcação «templates»

#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 

Dado o seguinte modelo struct: template<typename T> struct Foo { Foo(T&&) {} }; Isso compila e Tdeduz-se a ser int: auto f = Foo(2); Mas isso não compila: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor or deduction guide for deduction of template …

9 c++  templates  language-lawyer 

Eu tenho o seguinte 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; } Ao compilar isso com o gcc 9.2 e o clang …

9 c++  templates  language-lawyer  dependent-name 

Gostaria de passar um ponteiro de função de uma matriz de ponteiros de função como um argumento de modelo. Meu código parece compilar usando o MSVC, apesar do Intellisense reclamar que algo está errado. O gcc e o clang falham ao compilar o código. Considere o seguinte exemplo: static void …

9 c++  templates  c++14 

Me deparei com esse problema ao tentar me especializar tuple_size/ tuple_elementpara uma classe personalizada em C ++ 17 para ligação estruturada. O código abaixo é compilado no GCC, mas não no clang (ambas as versões de tronco, veja o link abaixo). #include <type_traits> template<typename T, typename... Ts> using sfinae_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); } Aqui estou usando modelos no CPP; portanto, quando chamo a função bigignorando argumentos de doublee intdigite, …

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

Estou tentando entender os seguintes trechos de código Snippet # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Nem o gcc9 nem o clang9 lançam um erro aqui. P. por que esse código é compilado? Não estamos instanciando …

9 c++  templates  language-lawyer 

No exemplo de código a seguir, a ifinstrução depende do boolparâmetro do modelo, que é uma constante em tempo de compilação. Os compiladores manipulam esse código de maneira diferente: MSVC falha com erro de link (o que eu esperava), porque a função de modelo na elseramificação não possui especialização para …

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

Depois de examinar a resolução proposta no # 1664 ( resolução proposta no 1664 ), estou confuso com as regras de um argumento padrão de um modelo de função, cite o conteúdo aqui: De acordo com 8.1.5 [expr.prim.lambda] parágrafo 3 O tipo de fechamento é declarado no menor escopo de …

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

Estou tentando fornecer um invólucro std::invokepara deduzir o tipo de função mesmo quando a função está sobrecarregada. (Fiz uma pergunta relacionada ontem para a versão do ponteiro variável e do método). Quando a função possui um argumento, esse código (C ++ 17) funciona conforme o esperado em condições normais de …

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

Eu tenho o seguinte problema. Eu defino um vetor dimensional N como #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> struct NVector<1,T> { typedef std::vector<T> type; }; Desejo escrever um mapa de função de ordem superior que …

8 c++  c++11  templates  template-meta-programming 

Estou tentando entender o que é metaprogramação geral e o que é em C ++ em particular. Se eu procurar a metaprogramação em c ++, recebo tutoriais de metaprogramação de modelo (TMP), mas não há explicação para se ela apenas categoriza um uso específico de modelos ou todos os usos …

8 c++  templates  metaprogramming  template-meta-programming 

Estou tentando criar uma classe num modelada. Essa classe precisa ter um atributo público val, com o tipo T, que é o único parâmetro modelado. Além disso, se alguém fornecer um valor, o atributo ( val) deverá ser inicializado com esse valor. Para fazer isso, criei o seguinte código: #include …

8 c++  class  templates  operator-overloading 

A pergunta pode ser muito difícil de descrever na frase do título, mas aqui está um exemplo mínimo: #include <iostream> #include <type_traits> template <class T, class U, class Enabler> struct my_trait : std::false_type {}; template <class T, class U> struct my_trait<T, U, std::enable_if_t<std::is_same<T, U>::value>> : std::true_type {}; template <class T> …

8 c++  templates  sfinae  template-specialization 

Tentando fazer algo como ... template <class T> struct Wrapper { template <class U> void set(const U& u) { myT = u; } template <class F> void set(F f) { myT = f(); } T myT; }; Sei que preciso usar o SFINAE aqui, mas como faço para distinguir um …

8 c++  templates  c++17