1. 可變參數模板（ variadic template)

一個接受可變數目參數的模板函數或模板類。

1.1 參數包 （parameter packet)

可變數目的參數被稱為參數包，存在兩種參數包：

• 模板參數包( template parameter packet), 表示零個或多個模板參數；
• 函數參數包（ function parameter packet ), 表示零個或多個函數參數。

1.1.1 一個省略號來指出一個模板參數或函數參數表示一個包

• 在一個模板參數列表中， class…或 typename…指出接下來的參數表示零個或多個類型的列表： 一個類型名后面跟一個省略號表示零個或多個給定類型的非類型參數的列表。

• 在函數參數列表中，如果一個參數的類型是一個模板參數包， 則此參數也是一個函數參數包。

1.1.2 舉例

• foo 是一個可變參數函數模板：一個名為 T 的類型參數，一個名為 Args的模板參數包。
• foo 的函數參數列表：一個const &類型的參數（指向T的類型）， 一個名為 rest 的函數參數包，

// Args 是一個模板參數包； rest 是一個函數參數包 // Args 表示零個或多個模板類型參數 // rest 表示零個或多個函數參數 template <typename T, typename... Args> void foo (const T &t, const Args & ... rest);int i = 0; double d = 3.14; string s = "how now brown cow"; foo (i, s, 42, d);//包中有三個參數 foo (s, 42, "hi" ); //包中有兩個參數 foo (d, s);//包中有一個參數 foo ("hi" );//空包

編譯器會為 foo 實例化出四個不同的版本:

void foo (const int &, const strings, const int &, const doubles); void foo (const strings, const int &, const char [ 3 ] & ) void foo (const doubles, const strings); void foo (const char [3] &);

1.2 sizeof…運算符

當我們需要知道包中有多少元素時， 可以使用 sizeof…運算符。sizeof…也返回一個常量表達式， 而且不會對其實參求值：

template<typename ... Args> void g (Args ... args) {cout ? sizeof... (Args) ? endl; // 類型參數的數目cout ? sizeof... (args ) ? endl; // 函數參數的數目 }

總結

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

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