c++ - 针对非类型参数特定值的模板代码优化。

Question

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

编译器在编译这个类时，会用true或false替换flag参数。然后我们有 if(true) (或 if(false) )。然后，if 子句检查常量表达式并将在编译时删除。我可以期望编译器有这样的行为吗？

Answer 1

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