可變參數(shù)模板：揭開省略號的神秘面紗

C 11 中引入的可變參數(shù)模板，透過允許函數(shù)和類別接受和處理可變數(shù)量的參數(shù)。然而，它們語法的某些方面可能會引起人們的好奇心。其中一個謎團就是神秘的「省略號」(...) 表示法，它引發(fā)了有關其目的和用法的問題。

在可變參數(shù)模板的上下文中，省略號 (...) 是一種關鍵工具對於打包或解包參數(shù)和參數(shù)。它的作用由其在模板定義或呼叫中的相對位置決定。

解包：將參數(shù)擴展為參數(shù)

當放置在表達式右側時，省略號充當解包器。它允許將模板參數(shù)擴展為一系列實際參數(shù)。例如，在以下函數(shù)模板中：

<code class="cpp">template<class T, class... Args>
unique_ptr<T> make_unique(Args&&... args) {
    return unique_ptr<T>(new T(std::forward<Args>(args)...));
}</code>

std::forward(args)... 中的省略號將Args 模板參數(shù)解壓縮到args 函數(shù)參數(shù)列表中，從而可以構造帶有提供的參數(shù)的新unique_ptr。

打包：將參數(shù)組合成參數(shù)

相反，當放置在參數(shù)左側時，省略號用作 打包機。它將一系列參數(shù)打包到一個參數(shù)中。這種打包發(fā)生在模板參數(shù)推導和函數(shù)呼叫呼叫期間。

為了進行說明，請考慮以下函數(shù)呼叫：

<code class="cpp">make_unique<int>(1, 2, 3);</code>

make_unique(... ) 打包中的省略號將參數(shù)1、2 和3 放入單一參數(shù)包中，與Args` 模板參數(shù)相符。

範例範本函數(shù)f 示範了打包和解包功能：

<code class="cpp">template <typename ...T>
void f(T ...args) {
    g(args...);  // Unpacking: Pattern = args
    h(x(args)...);  // Unpacking: Pattern = x(args)
    m(y(args...)...);  // Packing: Pattern = args (arg to y())
}</code>

呼叫時f 與T 為{int, char, Short}，每個函數(shù)呼叫擴展為：

<code class="cpp">g(arg0, arg1, arg2);           
h(x(arg0), x(arg1), x(arg2));
m(y(arg0, arg1, arg2));</code>

放置不一致

您可能會注意到放置中明顯的不一致模板參數(shù)列表和函數(shù)參數(shù)列表之間的省略號。在模板參數(shù)中，它出現(xiàn)在參數(shù)包的中間，而在函數(shù)參數(shù)中，它出現(xiàn)在末尾。這種差異是因為在模板參數(shù)中，省略號是語法糖，代表參數(shù)包的解包，而在函數(shù)參數(shù)中，它是語法的一部分 定義打包參數(shù)的類型。

總而言之，可變參數(shù)模板中的省略號(...) 在將參數(shù)擴展為參數(shù)以及將參數(shù)組合為參數(shù)方面發(fā)揮著關鍵作用，從而能夠創(chuàng)建可以處理??不同數(shù)量參數(shù)的靈活且可擴展的代碼。

以上是「省略號」(...) 表示法在可變參數(shù)範本中如何運作以及它在打包和解包參數(shù)中的不同作用是什麼？的詳細內容。更多資訊請關注PHP中文網其他相關文章！