Typedefs et la spécialisation du modèle

Question

Tenir compte de ce code:

typedef int type1; 
typedef int type2; 

template <typename> 
struct some_trait; 

template <> 
struct some_trait<type1> 
{ 
    static const int something=1; 
}; 

template <> 
struct some_trait<type2> 
{ 
    static const int something=2; 
}; 

Il échoue parce que ce que le compilateur voit est deux spécialisations de some_trait<int>.

Quel est le meilleur moyen de contourner ce problème?

Answer 1

Le meilleur moyen de contourner quoi exactement? Les deux noms de types se réfèrent au même type int. Comme il n'y a que un type ici, vous avez seulement besoin de un trait. Donc, "la meilleure façon de contourner le problème" serait d'enlever la deuxième spécialisation et de l'oublier. Terminé.

Est-ce ce que vous vouliez? Si non, veuillez fournir une description plus significative de ce que vous essayez d'accomplir.

Answer 2

Je pense pouvoir se spécialiser sur les noms type1 et type2 vous devrez les faire effectivement être différents types au lieu d'un alias pour le même type:

struct type1 { 
    int data; 
}; 

struct type2 { 
    int data; 
}; 

// ... 

Mais si vous expliquez plus sur votre but final, il pourrait y avoir une façon différente/meilleure d'accomplir ce que vous cherchez.

Answer 3

Je ne vois pas ce que vous essayez de faire ici. À la fin, les deux sont some_trait< int >.
Essayé de faire des structures autour d'un seul int?

Answer 4

vous pouvez avoir quelque chose comme ça si vous voulez dire spécialisation explicite:

enum TypeOne; 
enum TypeTwo; 

template <typename> 
class AClass; 

template <> 
class AClass<TypeOne>{ 
public: 
    int something; 
}; 

template <> 
class AClass<TypeTwo>{ 
public: 
    char something; 
}; 

AClass<TypeOne> obj1; 
AClass<TypeTwo> obj2; 

J'ai aussi vu quelque chose de bibliothèques Boost qui peut faire ce que vous voulez, typedef même type à différents types EXPLICIT spécialisation, mais je ne me souviens pas de ce que c'était exactement.

Answer 5

Cela ressemble à quelque chose comme ce qui suit peut-être ce que vous êtes après:

template <int arg> 
class AClass 
{ 
    static const int something=arg; 
}; 

qui serait instancié comme:

AClass<1> obj1; 
AClass<2> obj2; 

Answer 6

Ce code échoue parce que le compilateur voit même spécialisation survenue deux fois.

Votre problème est que typedef, malgré son nom, ne pas définir un nouveau type. Il génère uniquement un alias pour un autre type. En réalité, les noms type1 et type2 et int sont simplement des noms différents pour le même type.

Quelle est la meilleure façon de contourner cela dépend de ce que vous voulez réaliser.Si vous avez absolument besoin de cette spécialisation, vous devrez trouver deux types distincts. Cependant, il pourrait y avoir de meilleurs moyens de le faire.

Answer 7

Je pense que vous voulez réaliser quelque chose comme ceci: template <typename T, T t> struct typify{ static const T something = t;}; Vos 2 spécialisations écrirait alors que struct int_1 : typify<int, 1>{}; et ...