spécialisation de template avec aucun argument : se passer des <>

Bonjour :oops:

J'ai une template struct que je spécialise, dans le cas où aucun argument n'est passé en paramètre du template :

Code:

---

1 2 3 4 5 6 7 8 9 10 11

template <typename...Ts> struct Struct { int a; };   template <> struct Struct<> { int b; };

---

Quand je déclare les différentes versions dans mon main, ça donne :

Code:

---

1 2	Struct<int,char> a; Struct<> b;

---

Mais je ne trouve pas ça très beau, j'aimerais pouvoir écrire :

Code:

---

1 2	Struct<int,char> a; Struct b;

---

Je me disais qu'en passant par un alias je pourrais faire ça :

Code:

---

1 2 3 4

template <typename...Ts> using TMP = Struct<Ts...>;   using TMP = Struct<>;

---

Mais en fait non X) Pas moyen non plus de faire la même chose en déclarant deux struct : l'une template et l'autre non. Pourtant, j'aimerais vraiment conserver le même nom ! Et je vais pas passer par une macro, quand même :aie:

Quelqu'un aurait une solution ? :mrgreen:

Merci !

Bonjour

Si j'ai bien compris (ma lecture en diagonale), ton code sera valide en C++17 (?) (déduction automatique des types template dans le constructeur) mais je n'ai pas vérifié.

Sinon, en C++11, on passe généralement par une fonction. Ça change le coding style et dans ton cas c'est plus verbeux.

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

// g++ -Wall -Wextra -Wconversion -Wsign-conversion -Ofast -std=c++11 -pedantic -fopenmp main.cpp -o main && ./main   #include <iostream>   template <class T = int> struct test_t { };   template <class T = int, class ... args_t> test_t<T> make_test(args_t const & ... args) { return test_t<T>(args...); }   int main() { test_t<> a; auto b = make_test();   return 0; }

---

J'ai écris la version avec un variadic template (avec une const &) mais ce n'est pas forcément utile et je n'ai pas testé...

Yep, à peu près quelque chose comme ça :)

Merci de ton aide !