1. 擴(kuò)展 ( expand)

擴(kuò)展一個包就是將它分解為構(gòu)成的元素， 對每個元素應(yīng)用模式， 獲得擴(kuò)展后的列表。

通過在模式右邊放一個省略號（…）來觸發(fā)擴(kuò)展操作。當(dāng)擴(kuò)展一個包時，我們還要提供用于每個擴(kuò)展元素的模式（pattern)。

eg. print 函數(shù)包含兩個擴(kuò)展

// 擴(kuò)展 Args template<typename T, typename...Args> ostream &print(ostream &os, const T const Args&... rest) {os ? t ? ", ";// 打印第一個實(shí)參return print(os, rest...); // 擴(kuò)展rest }

對 Args 的擴(kuò)展中， 編譯器將模式 const Arg&應(yīng)用到模板參數(shù)包 Args 中的每個元素。 因此， 此模式的擴(kuò)展結(jié)果是一個逗號分隔的零個或多個類型的列表， 每個類型都形如const types&。

print (cout, i, s, 42); // 包中有兩個參數(shù) <=> print (ostream&, const int&, const strings, const int&)//擴(kuò)展即是：print (os, s, 42);

2. 理解包擴(kuò)展

支持更復(fù)雜的擴(kuò)展模式

eg. print 調(diào)用使用了模式 debug_reg(rest)，對函數(shù)參數(shù)包 rest 中的每個元素調(diào)用 debug_rep。擴(kuò)展結(jié)果將是一個逗號分隔的 debug_rep 調(diào)用列表。

// 在 print 調(diào)用中對每個實(shí)參調(diào)用 debug_rep template <typename... Args> ostream &errorMsg (ostream &os, const Args &... rest) {//print (os, debug_rep (al), debug_rep (a2 ), ..., debug_rep (an)return print (os, debug_rep(rest)...); }

2.1 對的代碼

errorMsg (cerr, fcnName, code.num(), otherData, "other", item); <=> print (cerr, debug_rep(fcnName), debug_rep(code.num()), debug_rep(otherData), debug_rep ("otherData"), debug_rep(item));

2.2 錯的代碼

debug_rep函數(shù)不是可變參數(shù)。

//將包傳遞給 debug_rep; print(os, debug_rep(al, a2, ...an) print (os, debug_rep (rest...)); //錯誤：此調(diào)用無匹配函數(shù) <=> print (cerr, debug_rep(fcnName, code.num(), otherData, "otherData", item));

總結(jié)

以上是生活随笔為你收集整理的C++ Primer 5th笔记（chap 16 模板和泛型编程）包扩展的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。