Использовать параметр шаблона в директиве препроцессора?

Question

Можно ли использовать параметр шаблона константы без типа в директиве препроцессора? Вот что я имею в виду:

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

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

     // some code here 

     #endif 
    } 
}; 

Когда я попробовать это с чем-то вроде Blah<Foo<0xFFFF>>, VC++ 2010 жалуется на что-то о несовпадающих скобках в строке, где мы пытаемся использовать #if. Я предполагаю, что препроцессор действительно ничего не знает о шаблонах, и такого рода вещи просто не в его области. Что сказать?

Answer 1

Нет, это невозможно. Препроцессор довольно тупой, и он не знает структуру вашей программы. Если T::Doo не определено в препроцессоре (и этого не может быть из-за ::), он не может оценить это выражение и не сработает.

Однако, вы можете положиться на компилятор, чтобы сделать умные вещи для вас:

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

Постоянные выражения и мертвые ветви оптимизированы прочь даже при более низких настройках оптимизации, так что вы смело можете сделать это без каких-либо время выполнения.

Answer 2

какие члены доступны в T зависит от того, какие биты установлены в T::DOO

Это звучит для меня как T::DOO действует как идентификатор подкласса. Поэтому я думаю, что ваш Foo и связанные классы должны быть подклассами класса, который гарантирует, что определено значение DOO.

Ключ: почему вы должны использовать поле бит?

Answer 3

Не уверен, что это относится к вашей ситуации, но можно выделить различные случаи с помощью классов шаблонов. Например: (используя модифицированную версию кода из выше)

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