是否可以在预处理程序指令中使用非类型常量模板参数?这就是我的想法:
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的行中无法匹配的括号.我猜测预处理器并不真正知道任何关于模板的事情,这种事情只是不在其领域.说啥?
解决方法
不,这是不可能的.预处理器非常愚蠢,并且不了解程序的结构.如果预处理器中没有定义T :: Doo(由于::)它不能定义T :: Doo,它无法计算该表达式并且将失败.
但是,你可以依靠编译器为你做聪明的事情:
if (T::Doo & 0x010) { // some code here }
即使在较低的优化设置下,也会优化常量表达式和死分支,因此您可以安全地执行此操作,而无需任何运行时开销.