可變參數(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>

當使用 T 作為 {int, char, Short} 調用 f 時，每個函數(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ù)中的不同作用是什么？的詳細內(nèi)容。更多信息請關注PHP中文網(wǎng)其他相關文章！