Est-il possible d'écrire un modèle qui change de comportement selon qu'une certaine fonction membre est définie sur une classe? Voici un exemple simple de ce que je voudrais écrire: template<class T> std::string optionalToString(T* obj) { if (FUNCTION_EXISTS(T->toString)) return...
Comment puis-je parcourir un tuple (en utilisant C ++ 11)? J'ai essayé ce qui suit: for(int i=0; i<std::tuple_size<T...>::value; ++i) std::get<i>(my_tuple).do_sth(); mais cela ne fonctionne pas: Erreur 1: désolé, non implémenté: impossible de développer 'Listener ...' dans une liste...
On me dit que le système de modèles en C ++ est Turing-complet au moment de la compilation. Ceci est mentionné dans cet article et également sur wikipedia . Pouvez-vous fournir un exemple non trivial d'un calcul qui exploite cette propriété? Ce fait est-il utile dans la
J'ai une fonction qui prend une dimension multidimensionnelle std::vectoret nécessite que la profondeur (ou le nombre de dimensions) soit transmise en tant que paramètre de modèle. Au lieu de coder en dur cette valeur, je voudrais écrire une constexprfonction qui prendra std::vectoret retournera la...
Quelqu'un peut-il m'expliquer pourquoi la première méthode de méta-programmation de modèle va en boucle infinie, mais la seconde fonctionne correctement. #include <iostream> using namespace std; template<int N, int M> struct commondivs { static const int val = (N<M) ?...
Puisque les concepts sont définis comme des prédicats au moment de la compilation, est-il également possible de réutiliser ces prédicats pour les algorithmes au moment de la compilation? Par exemple, serait-il possible de vérifier si tous les types d'un tuple sont conformes à un concept? Pour...
Le code suivant est-il légitime? 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 l'accepte, mais GCC et MSVC le rejettent. L'erreur de GCC est: main.cpp:15:18: error: 'constexpr...