Utilisez un paramètre de modèle dans une directive de préprocesseur?

Question

Est-il possible d'utiliser un paramètre de modèle de constante non-type dans une directive de préprocesseur? Voici ce que je pense:

template <int DING> 
struct Foo 
{ 
    enum { DOO = DING }; 
}; 

template <typename T> 
struct Blah 
{ 
    void DoIt() 
    { 
     #if (T::DOO & 0x010) 

     // some code here 

     #endif 
    } 
}; 

Quand j'essayer avec quelque chose comme Blah<Foo<0xFFFF>>, VC++ 2010 se plaint quelque chose entre parenthèses inégalés dans la ligne où nous essayons d'utiliser #if. Je devine que le préprocesseur ne sait pas vraiment quoi que ce soit à propos des templates et ce genre de chose n'est tout simplement pas dans son domaine. Que dire?

Answer 1

Non, ce n'est pas possible. Le préprocesseur est assez bête, et il n'a aucune connaissance de la structure de votre programme. Si T::Doo n'est pas défini dans le préprocesseur (et il ne peut pas l'être, à cause du ::), il ne peut pas évaluer cette expression et échouera.

Cependant, vous pouvez compter sur le compilateur de faire la meilleure chose pour vous:

 if (T::Doo & 0x010) { 
      // some code here 
     } 

expressions constantes et les branches mortes sont optimisés loin même les paramètres d'optimisation plus bas, de sorte que vous pouvez en toute sécurité faire sans temps d'exécution.

Answer 2

ce que les membres sont disponibles en T dépend de bits qui sont définis dans T::DOO

Il me semble T::DOO est d'agir comme un identificateur de sous-classe. Donc, je pense que votre Foo et les classes liées doivent être des sous-classes d'une classe qui garantit que DOO est défini.

La clé est: pourquoi devez-vous utiliser un champ de bits?

Answer 3

Vous ne savez pas si cela s'applique à votre situation, mais il est possible d'isoler différents cas avec des classes de modèles. Par exemple: (en utilisant une version modifiée de votre code en haut)

template <typename T, int N> 
struct Blah 
{ 
    void DoIt() 
    { 
     // normal DoIt() code 
    } 
}; 

template <typename T> 
struct Blah<T,5> 
{ 
    void DoIt() 
    { 
     // special DoIt() code for only when N==5 
    } 
};