程式師世界 >> 編程語言 >> C語言 >> C++ >> 關於C++ >> 分析C++中的常量表達式與省略號的相干感化

分析C++中的常量表達式與省略號的相干感化

編輯：關於C++

分析C++中的常量表達式與省略號的相干感化。本站提示廣大學習愛好者：（分析C++中的常量表達式與省略號的相干感化）文章只能為提供參考，不一定能成為您想要的結果。以下是分析C++中的常量表達式與省略號的相干感化正文

C++ 常量表達式
常量值是指不會更改的值。C + + 供給了兩個症結字，它們使你可以或許表達不盤算修正對象的意圖，還可以讓你完成該意圖。
C++ 須要常量表達式（盤算成果為常量的表達式）以便聲明：

數組界限
case 語句中的選擇器
位域長度標准
列舉初始值設定項

常量表達式中正當的獨一操作數是：

文本
列舉常量
聲明為應用常量表達式初始化的常量的值
sizeof 表達式

必需將非整型常量（顯式或隱式）轉換為常量表達式中正當的整型。是以，以下代碼是正當的：

const double Size = 11.0;
char chArray[(int)Size];

到整型的顯式轉換在常量表達式中是正當的；一切其他類型和派生類型長短法的（在用作 sizeof 運算符的操作數時除外）。
逗號運算符和賦值運算符不克不及用於常量表達式。

省略號和可變參數模板
省略號在 C 和 C++ 中具有很多用處。這些包含函數的變量參數列表。C 運轉庫的 printf() 函數是一種最多見的示例。
variadic 模板是支撐隨意率性數目的參數的類或函數模板。此機制對 C++ 庫開辟人員特別有效，由於您可以將其運用於類模板和函數模板，從而供給一系列類型平安和主要功效和靈巧性。
語法
可變參數模板用兩種辦法應用省略號。參數稱號的左邊表現參數包，參數稱號的右邊將參數包擴大為零丁的稱號。
以下是可變參數模板類界說語法的根本示例：

template<typename... Arguments> class classname;

如以下示例所示，關於參數裝箱和睜開，可以依據您的愛好在省略號四周添加空白，例如：

template<typename ...Arguments> class classname;

或為：

template<typename ... Arguments> class classname;

請留意本文應用的是顯示在第一個例子中商定(該省略號附加於typename).
在後面的示例中，Arguments 是參數包。類 classname 可以接收參數數量可變，例如以下示例：

template<typename... Arguments> class vtclass;

vtclass< > vtinstance1;
vtclass<int> vtinstance2;
vtclass<float, bool> vtinstance3;
vtclass<long, std::vector<int>, std::string> vtinstance4;

經由過程應用可變參數模板類界說，您還可以請求至多一個參數。

template <typename First, typename... Rest> class classname;

以下是可變參數模板函數語法的根本示例：

template <typename... Arguments> returntype functionname(Arguments... args);

以下一節“懂得可變參數模板”所示，Arguments 參數包睜開應用。
variadic 模板函數語法還能夠有其他情勢，包含不限制於：

template <typename... Arguments> returntype functionname(Arguments&... args); 
template <typename... Arguments> returntype functionname(Arguments&&... args);
template <typename... Arguments> returntype functionname(Arguments*... args);

還許可應用相似 const 的解釋符：

template <typename... Arguments> returntype functionname(const Arguments&... args);

依照可變參數模板類的界說，您可以創立須要至多一個參數的函數：

template <typename First, typename... Rest> returntype functionname(const First& first, const Rest&... args);

可變模板應用 sizeof...() 運算符（與更早的 sizeof() 運算符不相干）：

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))，“頂層”省略號引見函數參數包，而且該省略號位置是很主要的

// 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 一些功效的從新寫入中應用：

#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
10, 20
100, 200, 300
first, 2, third, 3.14159

留意
歸並變參數模板函數的年夜多半完成應用某種情勢的遞歸，然則它與傳統遞歸稍有分歧。傳統遞歸觸及應用與函數雷同的簽名挪用函數。（可以重載或模板化，但每次都要選擇雷同的簽名。）可變遞歸應用分歧（簡直老是削減）數量的參數挪用可變函數模板，是以每次都抹去分歧的簽名。仍須要“基用例”，然則，遞歸性質是分歧的。