1. 返回類型不清楚的時候，尾置返回允許我們在參數列表之后聲明返回類型

template ctypename It> ??? & fcn (It beg, It end) { // 處理序列 return *beg; / / 返回序列中一個元素的引用 }template ctypename It> auto fen (It beg, It end) -> decltype (*beg) { // 處理序列 return *beg; / / 返回序列中一個元素的引用 }vector<int> vi = {1,2,3,4,5 }; Blob<string> ca = { "hi", "bye" }; auto &i = fen (vi.begin ( ), vi.end ( ) ); / / fen 應該返回 int & auto & s = fen (ca.begin ( ) , ca.end ( ) ); / / fen 應該返回 strings

2. 標準庫的類型轉換（ type transformation) 模 板

有時我們無法直接獲得所需要的類型， 得借助“標準庫的類型轉換模板”獲得元素類型。

• 給定一個迭代器 beg
• remove_reference<decltype (*beg) >::type 將 獲 得 beg 引 用 的 元 素 的 類 型 ： decltype ( *beg) 返 回 元 素 類 型 的 引 用 類 型。
• remove_reference::type 除去引用，剩下元素類型本身。

組合使用 remove_reference、 尾置返冋及 decltype, 我們就可以在函數中返回元素值的拷貝：

/ / 為了使用模板參數的成員， 必須用 typename template <typename It> auto fcn2 (It beg, It end) typename remove_reference<decltype (*beg) >::type { / / 處理序列 return *beg; / / 返回序列中一個元素的拷貝 }

注意， type 是一個類的成員， 而該類依賴于一個模板參數。 因此， 我們必須在返回類型的聲明中使用 typename 來告知編譯器， type 表示一個類型

2.1

每個模板都有一個名為 type 的 public 成員， 表示一個類型。 此類型與模板自身的模板類型參數相關， 其關系如模板名所示。
如果不可能（ 或者不必要） 轉換模板參數， 則 type成 員 就 是 模 板 參 數 類 型 本 身 。 eg. 如 果T是 一 個指針類型，則remove pointer::type 是T指向的類型。 如果T不是一個指針，則無須進行任何轉換，從而 type 具有與 T 相同的類型

總結

以上是生活随笔為你收集整理的C++ Primer 5th笔记（chap 16 模板和泛型编程）函数模板显式实参的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。