我有一个带有 bool 模板参数的类。
template<bool b>
class Foo {
void doFoo();
};
我希望 doFoo
根据 b
的值做不同的事情。
天真地我会写
选项 1
template<bool b> void Foo<b>::doFoo() {
if (b) cout << "hello";
else cout << "goodbye";
}
这对我来说似乎效率低下,因为每次调用函数时我都必须执行一个 if
事件,尽管在编译时应该知道正确的分支。我可以通过模板特化来解决这个问题:
选项 2
template<> void Foo<true>::doFoo() { cout << "hello"; }
template<> void Foo<false>::doFoo() { cout << "goodbye"; }
这样我就不会在运行时执行任何条件。这个解决方案有点复杂(特别是因为在我的真实代码中,这个类有几个模板参数,你不能部分专门化函数,所以我需要将函数包装在一个类中)。
我的问题是,编译器是否足够聪明,知道不执行选项 1 中的条件,因为它总是以相同的方式执行,还是我需要编写特化?如果编译器足够聪明,我会很高兴知道这是依赖于编译器还是我可以依赖的语言特性?
最佳答案
编译器可能会优化分支,因为它在编译时知道 b
是什么。但这并不能保证,唯一确定的方法是检查组件。
如果你可以使用 C++17,你可以使用 if constexpr
并且保证只有一个分支存在。
关于c++ - 模板特化与编译器优化,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/50449844/