是否可以在预处理程序指令中使用非类型常量模板参数?这就是我的想法:
- 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
- }
即使在较低的优化设置下,也会优化常量表达式和死分支,因此您可以安全地执行此操作,而无需任何运行时开销.