模板非類型參數：編譯時檢查條件

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;}