Utilizzare un parametro di modello in una direttiva del preprocessore?

Question

È possibile utilizzare un parametro di modello costante non di tipo in una direttiva di preprocessore? Ecco quello che ho in mente:

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

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

     // some code here 

     #endif 
    } 
}; 

Quando provo questo con qualcosa di simile Blah<Foo<0xFFFF>>, VC++ 2010 lamenta qualcosa su di parentesi senza eguali nella linea in cui stiamo cercando di utilizzare #if. Immagino che il preprocessore non sappia nulla dei template e questo genere di cose non è nel suo dominio. Cosa dire?

Answer 1

No, questo non è possibile. Il preprocessore è piuttosto stupido e non ha alcuna conoscenza della struttura del tuo programma. Se T::Doo non è definito nel preprocessore (e non può essere, a causa dello ::), non può valutare quell'espressione e avrà esito negativo.

Tuttavia, si può fare affidamento sul compilatore di fare la cosa intelligente per voi:

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

espressioni costanti e rami secchi sono ottimizzati via anche le impostazioni di ottimizzazione più bassi, in modo da poter tranquillamente fare questo senza alcun sovraccarico di runtime.

Answer 2

quali sono disponibili i membri a T dipende da quale bit sono impostati in T::DOO

Sembra a me come T::DOO agisce come un identificatore sottoclasse. Quindi penso che il tuo e le classi correlate dovrebbero essere sottoclassi di una classe che garantisce che sia definito DOO.

La chiave è: perché è necessario utilizzare un campo di bit?

Answer 3

Non sono sicuro se questo si applica alla situazione, ma è possibile isolare diversi casi con classi di modelli. Per esempio: (utilizzando una versione modificata del codice dall'alto)

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