Je ne comprends pas quel est le problème: soit dans mon code, soit dans le compilateur (moins possible). Il y a un morceau de code comme celui-ci: #include <iostream> #include <type_traits> #include <set> template<typename T, typename = void> struct TestA: std::false_type...
Lorsque nous voulons utiliser un static_assertdans un, if constexprnous devons rendre la condition dépendante d'un paramètre de modèle. Fait intéressant, gcc et clang ne sont pas d'accord lorsque le code est enveloppé dans un lambda. Le code suivant se compile avec gcc, mais clang déclenche...
Je veux comparer les structures de manière générique et j'ai fait quelque chose comme ça (je ne peux pas partager la source réelle, alors demandez plus de détails si nécessaire): template<typename Data> bool structCmp(Data data1, Data data2) { void* dataStart1 = (std::uint8_t*)&data1;...
Le code suivant ne compile pas avec gcc ou clang. template<class T> class foo{}; template<class T> class template_class_with_struct { void my_method() { if(this->b.foo < 1); }; struct bar { long foo; } b; }; Le message d'erreur est error: type/value mismatch at argument 1 in...
J'ai un modèle de fonction qui prend de nombreux types différents en entrée. Parmi ces types, un seul a une getInt()fonction. Par conséquent, je veux que le code exécute la fonction uniquement pour ce type. Veuillez suggérer une solution. Merci #include <type_traits> #include <typeinfo>...
Considérez le code suivant: template<int i> class A { typedef A<i-1> B; B x, y; }; template<> class A<0> { char m; }; int main() { A<LEVEL> a; } Lors de l'analyse comparative de sa compilation par g ++ par la commande Bash suivante (avec g ++ 8.3.0) for ((level=1;...
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...
Jusqu'à la norme C ++ 20 de C ++, lorsque nous voulions définir un opérateur hors classe qui utilise certains membres privés d'une classe de modèle, nous utilisions une construction similaire à ceci: template <typename T> class Foo; template <typename T> constexpr bool operator==(T lhs,...
L'exemple absurde suivant ne se compile pas, mais existe-t-il un autre moyen de passer un modèle de variable comme argument de modèle de modèle? template<typename T> constexpr auto zero = T{0}; template<typename T, template<typename> auto VariableTemplate> constexpr auto add_one()...
J'ai lu sur la suppression de la référence d'un type ici . Il donne l'exemple suivant: #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...
Considérez le programme suivant. #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 ); } Le programme se compile avec succès et sa sortie est g( 42 ); Renommons...
Considérez les 2 surcharges suivantes template<typename T> bool test() { return true; } template<template<typename ...> class T> bool test() { return false; } Le 1er fonctionne pour les classes régulières, tandis que le 2ème fonctionne pour les modèles qui ne sont pas instanciés....
J'ai du code qui trouve et imprime les correspondances d'un modèle en passant par le conteneur de chaînes. L'impression est effectuée dans la fonction foo qui est modélisée Le code #include <iostream> #include <algorithm> #include <iterator> #include <vector> #include...
J'essaie de comprendre les extraits de code suivants Extrait # 1 template <typename T> struct A { static constexpr int VB = T::VD; }; struct B : A<B> { }; Ni gcc9 ni clang9 ne génèrent d'erreur ici. Q. Pourquoi ce code est-il compilé? N'instancions-nous pas A<B>en héritant de B?...
J'ai rencontré ce problème en essayant de spécialiser tuple_size/ tuple_elementpour une classe personnalisée en C ++ 17 pour la liaison structurée. Le code ci-dessous se compile dans GCC, mais pas dans clang (les deux versions de tronc, voir le lien ci-dessous). #include <type_traits>...
#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); } Ici, j'utilise des modèles dans CPP, donc quand j'appelle la fonction en bigcontournant les arguments de...
Je voudrais passer un pointeur de fonction à partir d'un tableau de pointeurs de fonction comme argument de modèle. Mon code semble se compiler en utilisant MSVC même si Intellisense se plaint que quelque chose ne va pas. Gcc et clang ne parviennent pas à compiler le code. Prenons l'exemple...
J'ai le code suivant: 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; } Lors de la construction de ceci avec gcc 9.2 et clang (9.0), j'obtiens une...
Étant donné la structure de modèle suivante: template<typename T> struct Foo { Foo(T&&) {} }; Cela compile et Tse déduit comme int: auto f = Foo(2); Mais cela ne compile pas: https://godbolt.org/z/hAA9TE int x = 2; auto f = Foo(x); /* <source>:12:15: error: no viable constructor...
#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 = "Bye";...