C++ 常量表達式
常量值是指不會更改的值。C + + 提供了兩個關鍵字，它們使你能夠表達不打算修改對象的意圖，還可讓你實現該意圖。
C++ 需要常量表達式（計算結果為常量的表達式）以便聲明：
- 數組邊界
- case 語句中的選擇器
- 位域長度規范
- 枚舉初始值設定項
常量表達式中合法的唯一操作數是：
- 文本
- 枚舉常量
- 聲明為使用常量表達式初始化的常量的值
- sizeof 表達式
必須將非整型常量（顯式或隱式）轉換為常量表達式中合法的整型。因此，以下代碼是合法的：
|
1
2
|
const double Size = 11.0;char chArray[(int)Size]; |
到整型的顯式轉換在常量表達式中是合法的；所有其他類型和派生類型是非法的（在用作 sizeof 運算符的操作數時除外）。
逗號運算符和賦值運算符不能用于常量表達式。
省略號和可變參數模板
省略號在 C 和 C++ 中具有許多用途。這些包括函數的變量參數列表。C 運行庫的 printf() 函數是一種最常見的示例。
variadic 模板是支持任意數量的參數的類或函數模板。此機制對 C++ 庫開發人員尤其有用，因為您可以將其應用于類模板和函數模板，從而提供一系列類型安全和重要功能以及靈活性。
語法
可變參數模板用兩種方法使用省略號。參數名稱的左側表示參數包，參數名稱的右側將參數包擴展為單獨的名稱。
以下是可變參數模板類定義語法的基本示例：
|
1
|
template<typename... Arguments> class classname; |
如以下示例所示，對于參數裝箱和展開，可以根據您的喜好在省略號周圍添加空白，例如：
|
1
|
template<typename ...Arguments> class classname; |
或為：
|
1
|
template<typename ... Arguments> class classname; |
請注意本文使用的是顯示在第一個例子中約定(該省略號附加于typename).
在前面的示例中，Arguments 是參數包。類 classname 可以接受參數數目可變，例如以下示例：
|
1
2
3
4
5
6
|
template<typename... Arguments> class vtclass;vtclass< > vtinstance1;vtclass<int> vtinstance2;vtclass<float, bool> vtinstance3;vtclass<long, std::vector<int>, std::string> vtinstance4; |
通過使用可變參數模板類定義，您還可以要求至少一個參數。
|
1
|
template <typename First, typename... Rest> class classname; |
以下是可變參數模板函數語法的基本示例：
|
1
|
template <typename... Arguments> returntype functionname(Arguments... args); |
如下一節“了解可變參數模板”所示，Arguments 參數包展開使用。
variadic 模板函數語法還可能有其他形式，包括不限制于：
|
1
2
3
|
template <typename... Arguments> returntype functionname(Arguments&... args); template <typename... Arguments> returntype functionname(Arguments&&... args);template <typename... Arguments> returntype functionname(Arguments*... args); |
還允許使用類似 const 的說明符：
|
1
|
template <typename... Arguments> returntype functionname(const Arguments&... args); |
按照可變參數模板類的定義，您可以創建需要至少一個參數的函數：
template <typename First, typename... Rest> returntype functionname(const First& first, const Rest&... args);
可變模板使用 sizeof...() 運算符（與更早的 sizeof() 運算符不相關）：
|
1
2
3
4
5
6
7
8
9
|
template<typename... Arguments>void tfunc(const Arguments&... args){ const unsigned numargs = sizeof...(Arguments); X xobj[numargs]; // array of some previously defined type X helper_func(xobj, args...);} |
更多有關省略號位置
過去，本文介紹了定義參數裝箱和展開“在參數名稱左側的省略號位置，它表示參數，包，并在參數名稱右側，其展開參數裝箱到單獨的名稱”。這是技術上為 true，但可能會費一番功夫在轉換代碼。請考慮：
模板參數列表(template <parameter-list>), typename... 介紹了模板參數包。
在參數聲明語句(func(parameter-list))，“頂層”省略號介紹函數參數包，并且該省略號地位是很重要的
|
1
2
3
4
5
|
// v1 is NOT a function parameter pack:template <typename... Types> void func1(std::vector<Types...> v1); // v2 IS a function parameter pack:template <typename... Types> void func2(std::vector<Types>... v2); |
如果省略號在參數名之后出現，則具有參數 pack 展開。
一種闡明 variadic 模板功能框架的好方法是在 printf 一些功能的重新寫入中使用：
|
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#include <iostream>using namespace std;void print() { cout << endl;}template <typename T> void print(const T& t) { cout << t << endl;}template <typename First, typename... Rest> void print(const First& first, const Rest&... rest) { cout << first << ", "; print(rest...); // recursive call using pack expansion syntax}int main(){ print(); // calls first overload, outputting only a newline print(1); // calls second overload // these call the third overload, the variadic template, // which uses recursion as needed. print(10, 20); print(100, 200, 300); print("first", 2, "third", 3.14159);} |
Output
|
1
2
3
4
|
110, 20100, 200, 300first, 2, third, 3.14159 |
注意
合并變參數模板函數的大多數實現使用某種形式的遞歸，但是它與傳統遞歸稍有不同。傳統遞歸涉及使用與函數相同的簽名調用函數。（可以重載或模板化，但每次都要選擇相同的簽名。）可變遞歸使用不同（幾乎總是減少）數目的參數調用可變函數模板，因此每次都抹去不同的簽名。仍需要“基用例”，但是，遞歸性質是不同的。
