模板非类型参数：编译时检查条件

Question

我想在编译时使用模板非类型参数来自动分支代码。即例如：

template<std::size_t TDimension> 
class A 
{ 
public: 
    A() 
    {} 

    ~A() 
    {} 

    void print() 
    { 
     if(TDimension == 3) 
      std::cout << "My dimension is 3" << std::endl; 
     else if(TDimension == 2) 
      std::cout << "My dimension is 2" << std::endl; 
    } 
}; 

上面的代码在运行时分支代码。问题是：如何在编译时启用它以提高性能？

Answer 1

由于两个TDimension和你比较，它的值是恒定的，编译器应只生成if没有运行时比较的一个分支，只要你能优化。

可以肯定的，你可以明确地专门来代替：

template<std::size_t TDimension> 
class A 
{ 
public: 
    void print() {} 
    // or void print(); to give an error for an handled value 
}; 

template <> void A<3>::print() {std::cout << "My dimension is 3" << std::endl;} 
template <> void A<2>::print() {std::cout << "My dimension is 2" << std::endl;}