针对非类型参数的特定值的模板代码优化.

Question

template <bool flag>
class foo
{
    public:
        int bar()
        {
            if(flag)
            {
                // stuff
            }
        }
};

当编译器编译此类时,它会将flag参数替换为true或false.然后我们有if(true)(或者if(false)).然后,if子句检查常量表达式并在编译时将被删除.我能指望编译器表现得像这样吗？

Answer 1

不,你不能.任何优化都完全取决于编译器.由于您使用的是模板,因此您应该为这两种情况编写专门化flag.