É possível escrever um modelo que altera o comportamento, dependendo se uma determinada função de membro é definida em uma classe? Aqui está um exemplo simples do que eu gostaria de escrever: template<class T> std::string optionalToString(T* obj) { if (FUNCTION_EXISTS(T->toString))...
Como posso iterar em uma tupla (usando C ++ 11)? Tentei o seguinte: for(int i=0; i<std::tuple_size<T...>::value; ++i) std::get<i>(my_tuple).do_sth(); mas isso não funciona: Erro 1: desculpe, não implementado: não é possível expandir 'Listener ...' em uma lista de argumentos de...
Disseram-me que o sistema de template em C ++ é Turing-completo em tempo de compilação. Isso é mencionado nesta postagem e também na wikipedia . Você pode fornecer um exemplo não trivial de um cálculo que explora essa propriedade? Este fato é útil na
Eu tenho uma função que tem uma std::vectordimensão multidimensional e requer que a profundidade (ou o número de dimensões) seja passada como um parâmetro de modelo. Em vez de codificar esse valor, eu gostaria de escrever uma constexprfunção que aceite std::vectore retorne a profundidade como um...
Alguém pode me explicar por que o primeiro método de meta-programação de modelos está indo para um loop infinito, mas o segundo é executado corretamente. #include <iostream> using namespace std; template<int N, int M> struct commondivs { static const int val = (N<M) ?...
Como os conceitos são definidos como predicados em tempo de compilação, também é possível realmente reutilizá-los para algoritmos em tempo de compilação? Por exemplo, seria possível verificar se todos os tipos em uma tupla estão em conformidade com um conceito? Até onde eu vi, não é possível passar...
O código a seguir é legítimo? 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 aceita, mas GCC e MSVC rejeitam. O erro do GCC é: main.cpp:15:18: error: 'constexpr...
Eu quero implementar a função atoi () em tempo de compilação (na linguagem C ++, usando o padrão C ++ 11 ou C ++ 14). Portanto, ele deve poder analisar o texto entre aspas duplas como número ou relatar um erro. Mais especificamente, é parte de um sistema maior, capaz de analisar o formato...
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...