在预处理程序指令中使用模板参数？

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
        }

即使在较低的优化设置下,也会优化常量表达式和死分支,因此您可以安全地执行此操作,而无需任何运行时开销.