¿Usa un parámetro de plantilla en una directiva de preprocesador?

Question

¿Es posible utilizar un parámetro de plantilla constante sin tipo en una directiva de preprocesador? Aquí es lo que tengo en mente:

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

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

     // some code here 

     #endif 
    } 
}; 

Cuando intento esto con algo como Blah<Foo<0xFFFF>>, VC++ 2010 se queja de algo acerca de paréntesis, sin igual en la línea en la que estamos tratando de utilizar #if. Supongo que el preprocesador realmente no sabe nada sobre plantillas y este tipo de cosas simplemente no está en su dominio. ¿Que dice?

Answer 1

No, esto no es posible. El preprocesador es bastante tonto y no tiene conocimiento de la estructura de su programa. Si T::Doo no está definido en el preprocesador (y no puede ser, debido a ::), no puede evaluar esa expresión y fallará.

Sin embargo, se puede confiar en el compilador para hacer lo más inteligente para usted:

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

Las expresiones constantes y ramas muertas se han optimizado de distancia, incluso a los ajustes de optimización más bajos, por lo que puede hacer con seguridad esto sin ningún tiempo de ejecución arriba.

Answer 2

lo que los miembros están disponibles en T depende de qué bits se establecen en T::DOO

Me suena como T::DOO está actuando como un identificador subclase. Así que estoy pensando que su Foo y las clases relacionadas deben ser subclases de una clase que garantice que se defina DOO.

La clave es: ¿por qué debe usar un campo de bit?

Answer 3

No estoy seguro si esto se aplica a su situación, pero es posible aislar diferentes casos con clases de plantilla. Por ejemplo: (usando una versión modificada de su código de arriba)

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 
    } 
};