C++中‘实例化pack expansion’是什么意思？如何实例化？

一、“实例化pack expansion”的具体含义 #

标准里的这个表述，本质是指在模板推导或实例化流程中，将包展开并生成对应具体实体的过程——并非说pack expansion本身是可实例化的模板或类，而是指展开包并将展开后的每个元素与模板上下文绑定，生成可编译的类型、表达式、语句等实体的过程。

二、是否等同于“展开pack expansion” #

两者高度相关但略有区别：

• “展开pack expansion”只是将包语法拆分为多个元素的动作；
• “实例化pack expansion”则更强调后续的实体生成：把展开后的元素结合模板参数，生成具体的代码片段（比如具体的函数参数列表、类型定义）。

不过在日常讨论中，两者经常被混用，因为展开的核心目的就是为了实例化出具体实体。

三、如何“实例化pack expansion” #

合法实例化的例子 #

template<typename... Ts>
struct MyTuple {
    MyTuple(Ts... args) {}
};

// 此处编译器会实例化pack expansion：将Ts展开为int、std::string，生成对应的构造函数参数列表
MyTuple<int, std::string> t(42, "hello");

这里Ts... args这个pack expansion会被展开为int arg0, std::string arg1，并生成该构造函数的具体实例，这个过程就是标准所说的“实例化pack expansion”。

触发推导失败的例子 #

template<typename... Ts, typename... Us>
void bar(Ts... ts, Us... us) {}

// 尝试调用时，编译器无法确定实参如何拆分到Ts和Us两个pack中，触发(11.1)的推导失败
bar(1, 2.3, "test");

此时编译器尝试实例化包含两个不同长度pack的expansion，但无法确定两个pack的长度，导致推导失败，这正是标准(11.1)所描述的场景。

内容的提问来源于stack exchange，提问作者mada