Discussion :

[3DArchi]

Avec Visual Express
Pourquoi le code suivant code suivant compile:

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
class A
{
public:
   enum E_Enumeration{
      E_1,
      E_2,
      E_3
   };
   template<enum E_Enumeration> struct stTemplate{};
 
   template<> struct stTemplate<E_1>{typedef int Type;};
   template<> struct stTemplate<E_2>{typedef float Type;};
   template<> struct stTemplate<E_3>{typedef char Type;};
 
   template<enum E_Enumeration P_E>
   typename stTemplate<P_E>::Type Valeur()
   {
      return stTemplate<P_E>::Type();
   }
};
int main()
{
   A a;
   a.Valeur<A::E_1>();
   a.Valeur<A::E_2>();
   a.Valeur<A::E_3>();
   return 0;
}

Mais le code suivant ne compile pas:

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
enum E_Enumeration{
   E_1,
   E_2,
   E_3
};
template<enum E_Enumeration> struct stTemplate{};
 
template<> struct stTemplate<E_1>{typedef int Type;};
template<> struct stTemplate<E_2>{typedef float Type;};
template<> struct stTemplate<E_3>{typedef char Type;};
 
class A
{
public:
 
   template<enum E_Enumeration P_E>
   typename stTemplate<P_E>::Type Valeur()
   {
      return stTemplate<P_E>::Type();
   }
};
int main()
{
   A a;
   a.Valeur<E_1>();
   a.Valeur<E_2>();
   a.Valeur<E_3>();
   return 0;
}

J'ai toute une palanqué de

error C2440: 'specialization' : cannot convert from 'E_Enumeration' to 'E_Enumeration'

pour les lignes

Code :

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

template<> struct stTemplate<E_1>{typedef int Type;};

Nota: le code compile avec gcc (à un chouïa près).

[Jan Rendek]

J'ai comme un doute sur la syntaxe.
Une énumération une fois définie s'emploie comme un type, il me semble.
L'enum ajouté devant chaque emploi de E_Enumeration ligne 5 et 15 de ton 2e exemple me semble de trop.

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
enum E_Enumeration{
   E_1=10,
   E_2,
   E_3
};
 
 
//template<enum_type> struct stTemplate{};
template<E_Enumeration> struct stTemplate{}; 
 
template<> struct stTemplate<E_1>{typedef int Type;};
template<> struct stTemplate<E_2>{typedef float Type;};
template<> struct stTemplate<E_3>{typedef char Type;};
 
 
class A
{
public:
 
 
template<E_Enumeration P_E>
   typename stTemplate<P_E>::Type Valeur()
   {
      return stTemplate<P_E>::Type();
   }
};
int main()
{
   A a;
  a.Valeur<E_1>();
  a.Valeur<E_2>();
  a.Valeur<E_3>();
}

[3DArchi]

J'ai comme un doute sur la syntaxe.
Une énumération une fois définie s'emploie comme un type, il me semble.
L'enum ajouté devant chaque emploi de E_Enumeration ligne 5 et 15 de ton 2e exemple me semble de trop.

Effectivement, en enlevant l'enum, ça compile sous visual et gcc:

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
 
enum E_Enumeration{
   E_1,
   E_2,
   E_3
};
template<E_Enumeration> struct stTemplate{};
 
template<> struct stTemplate<E_1>{typedef int Type;};
template<> struct stTemplate<E_2>{typedef float Type;};
template<> struct stTemplate<E_3>{typedef char Type;};
 
class A
{
public:
 
   template<E_Enumeration P_E>
   typename stTemplate<P_E>::Type Valeur()
   {
      return typename stTemplate<P_E>::Type();
   }
};
int main()
{
   A a;
   a.Valeur<E_1>();
   a.Valeur<E_2>();
   a.Valeur<E_3>();
   return 0;
}

En fait, mon erreur est liée à un vieux reste de C où la répétition du enum est obligatoire (modulo typedef).

[Jan Rendek]

Arf, quitte à pinailler. Tu n'as aucune spécialisation partielle dans ton exemple ^^

[3DArchi]

Arf, quitte à pinailler. Tu n'as aucune spécialisation partielle dans ton exemple ^^

Pinaille, pinaille, ça m'évitera de dire des bêtises: j'ai modifié le titre.