C++函數模板非類型參數應用注意事項總結

C++編程語言中的模板應用是一個非常重要的應用技術，我們曾經通過多篇文章對此進行過詳細的介紹。那麼今天我們就先來了解一下有關C++函數模板非類型參數的一些基本概念，方便大家理解。

C++函數模板非類型參數主要用來為函數提供一個運算常量。關於非類型的函數模板參數，書中有下面的例子：

//函數模板定義  
template<typename T, int VAL> 
T addValue(T const& x)  
{  
return x + VAL;  
}  
//其他代碼  
//函數模板的使用  
std::transform(source.begin(), source.end(), dest.begin(),  
(int(*) (int const&))addValue<int, 5>); 

上面的代碼中定義了一個函數模板，目的是對傳入的參數加上一個指定的int型的5。這樣的函數被普遍的使用在對一組數據進行同一處理的場合。例如，12行。這裡需要注意的是：一std::transform函數本身就是一個模板函數，它的最後一個參數可以傳遞一個函數指針。

• C++獲取當前路徑實現技巧分享
• C++數組參數應用方式探討
• C++類模板應用代碼深入剖析
• C++類模板特化基本概念概述
• C++非類型類模板參數基本概念正確理解

因此，(int(*) (int const&))addValue<int, 5>其實是一個指向實例化後的addValue<T, int VAL>模板函數的指針。至於這個指針怎麼讀，還請高手指教。另外需要注意的一點是，std::transform的最後一個參數不一定要是模板函數，任何函數都可以關於std::transform的正確理解參考下面的評論）。只是模板函數更合適處理多種類型的數據罷了。

C++函數模板非類型參數的限制。

關於非類型模板參數的限制目前記住它可以是常整型包括枚舉類型）和指向外部連接對象的指針就可以可了。由於歷史原因，浮點型不能作為非類型模板的參數；而指針和字符串作為非類型模板的參數是有條件的。我想這與變量的作用范圍和生命周期有關吧。書中後面會有比較相信的介紹，就等到時候再細看了。