Discussion :

[deubelte]

Bonjour

J'essaye de comprendre le fonctionnement des spécialisations de classes template.
Plus précisément, je ne comprends pas pourquoi le code suivant ne compile pas, et renvoie des erreurs. Par exemple, le compilateur renvoie l'erreur "Error; this declaration has no storage class or type specifier" pour le mot clé cout dans la boucle if.

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
 
template <class T> 
class Bag<T*> {
private:
   T* elem;
    int size;
   int max_size;
 
public:
   Bag() : elem(0), size(0), max_size(1) {}
 
   void add(T* t) {
      T* tmp;
      if (t == NULL) {   // Check for NULL
        cout<<"Null pointer!"<<endl;
        // return;
       }
 
      if (size + 1 >= max_size) {
         max_size *= 2;
         tmp = new T [max_size];
         for (int i = 0; i < size; i++)
            tmp[i] = elem[i];
         tmp[size++] = *t;  // Dereference
         delete [] elem;
         elem = tmp;
      }
      else
         elem[size++] = *t; // Dereference
   }
 
   void Pprint() {
      for (int i = 0; i <size; i++)
         cout << elem[i] << " ";
      cout << endl;
   }
};

Alors que si je ne spécialise pas la classe, le code suivant fonctionne parfaitement:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
 
template <class T> 
class Bag{
private:
   T* elem;
    int size;
   int max_size;
 
public:
   Bag() : elem(0), size(0), max_size(1) {}
 
   void add(T* t) {
      T* tmp;
      if (t == NULL) {   // Check for NULL
        cout<<"Null pointer!"<<endl;
        // return;
       }
 
      if (size + 1 >= max_size) {
         max_size *= 2;
         tmp = new T [max_size];
         for (int i = 0; i < size; i++)
            tmp[i] = elem[i];
         tmp[size++] = *t;  // Dereference
         delete [] elem;
         elem = tmp;
      }
      else
         elem[size++] = *t; // Dereference
   }
 
   void Pprint() {
      for (int i = 0; i <size; i++)
         cout << elem[i] << " ";
      cout << endl;
   }
};

Pourtant, ce code ne vient pas de moi, mais de la MSDN:
http://msdn.microsoft.com/en-us/library/3967w96f.aspx

Que se passe-t-il avec la spécialisation?
Je vous remercie

[bruno_pages]

Bonjour,

le problème n'a rien à voir avec cout, par contre template <class T> class Bag<T*> {..} n'a pas de sens, quel est le but ?

[3DArchi]

Que se passe-t-il avec la spécialisation?
Je vous remercie

Manquerait pas tout simplement #include<iostream> et std::cout ?
Quant à dire qu'il fonctionne parfaitement, l'as-tu instancié puis compilé ou juste compilé sans instancié ? (ensuite, il y a d'autres surprises dans la gestion du tableau dynamique)

Bonjour,

le problème n'a rien à voir avec cout, par contre template <class T> class Bag<T*> {..} n'a pas de sens, quel est le but ?

Sisi : Qu'est-ce que la spécialisation de template ?(en fait une spécialisation partielle)

[bruno_pages]

Sisi : Qu'est-ce que la spécialisation de template ?(en fait une spécialisation partielle)

mais il y a écrit template <class T> class Bag<T*>

[deubelte]

Manquerait pas tout simplement #include<iostream> et std::cout ?

Non, j'ai bien mis std et iostream.
Le code compile dans le deuxième cas de toute facon.

Quant à dire qu'il fonctionne parfaitement, l'as-tu instancié puis compilé ou juste compilé sans instancié ?

Je ne l'ai ni instancié, ni compilé. J'ai juste vu qu'il n'y avait pas d'erreur renvoyé par Visual Studio.

En fait, je ne comprends pas pourquoi cela n'a pas de sens. Mais ce n'est pas grave, je me suis débrouillé autement

[3DArchi]

mais il y a écrit template <class T> class Bag<T*>

Exemple : class trait dans cet article. Je ne trouve pas de référence clair sur la spécialisation partielle (faudra maj la faq?).

[3DArchi]

En fait la référence de deublete vers le MSDN est une explication de la spécialisation partielle.

[deubelte]

Toujours sur les templates et la spécialisation:

Il parait que l'on ne peut pas utiliser des string pour déclarer des string comme paramètres de spécialisation de template. Comme le montre le lien suivant:

http://msdn.microsoft.com/en-us/libr...dd(VS.90).aspx
string literals are not permitted as parameter to a template specialization

J'essaye de provoquer une erreur de ce type.

Pourriez vous me donner un exemple qui provoque une telle erreur?
merci

[Goten]

Je vois pas pourquoi ils parlent de spécialisation. Les chaine de caractères sont interdites en paramètres templates que ça soit une spécialisation ou pas.

Ce que ça veut dire c'est que pour les paramètres templates qui ne sont pas des types, les chaines de caractères sont interdites. (comme les float).

[Arzar]

string literals are not permitted as parameter to a template specialization

Attention, ils parlent bien de "string litteral", pas de string.

Ce qui veut dire qu'il est bien possible de passer une string en paramètre template (sous forme de char*) :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
 
#include <iostream>
 
template <char* s>
struct String
{
   void print()
   {
      std::cout << s << std::endl;
   }
};
 
char toto[] = "toto";
 
int main()
{
   String<toto> s;
   s.print();
}

Mais qu'on ne peut pas spécialiser ce template avec un string litteral

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
 
template <>
struct String<"toto"> // erreur
{
   void print()
   {
      std::cout << "on t'a reconnu toto" << std::endl;
   }
};

[Goten]

Autant pour moi, j 'avais souvenir que les chaines de caractères étaient interdites comme paramètres template.
J'ai du faire un amalgame avec la spécialisation.

(et maintenant que je le dis, oui ça me revient en tête..)