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.0), estou...
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...
#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 = 10 , b = 20; std::string first = "hi" , last =...
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 parâmetro de retorno de...
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...
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...
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 de modelos. Minha...
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>...
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...
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 bloco,...
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...