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函數本身就是一個模板函數,它的***一個參數可以傳遞一個函數指針。#t#
因此,(int(*) (int const&))addValue<int, 5>其實是一個指向實例化后的addValue<T, int VAL>模板函數的指針。至于這個指針怎么讀,還請高手指教。另外需要注意的一點是,std::transform的***一個參數不一定要是模板函數,任何函數都可以(關于std::transform的正確理解參考下面的評論)。只是模板函數更合適處理多種類型的數據罷了。
C++函數模板非類型參數的限制。
關于非類型模板參數的限制目前記住它可以是常整型(包括枚舉類型)和指向外部連接對象的指針就可以可了。由于歷史原因,浮點型不能作為非類型模板的參數;而指針和字符串作為非類型模板的參數是有條件的。我想這與變量的作用范圍和生命周期有關吧。書中后面會有比較相信的介紹,就等到時候再細看了。