0Pricing
C++ Academy · 课时

可变参数模板与参数包

使用参数包和折叠表达式编写可变参数模板

可变参数模板与参数包 是 CoddyKit 上的免费 C++ Academy 课时。 这是第 3 节课,共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 C++ Academy 学习路径的一部分,你的进度在网页和 CoddyKit 应用中同步。 C++ Academy 课程共包含 4 节课。

可变数量的模板实参

可变参数模板可以接受任意数量的模板实参。它可用于编写 std::make_unique、std::tuple 和格式化输出风格的日志记录等函数。

参数包语法

使用 typename... Ts 声明类型参数包,并使用 Ts... 将其展开。

template <typename... Args>
void print_all(Args... args) {
    // ...
}

参数包展开

表达式后的 ... 会将参数包展开为逗号分隔的列表。

template <typename... Args>
void pass_through(Args... args) {
    other_func(args...);    // pass each arg
}

递归可变参数模板(旧式)

在 C++17 之前,可变参数函数通常以递归方式编写——先处理一个实参,再用其余实参递归调用。

// base case
void log() {}

// recursive case
template <typename T, typename... Rest>
void log(T first, Rest... rest) {
    std::cout << first;
    log(rest...);
}

折叠表达式(C++17)

C++17 增加了折叠表达式,比递归简洁得多。您可以对参数包中的所有元素应用一个运算符。

template <typename... Args>
auto sum(Args... args) {
    return (args + ...);    // fold +
}

std::cout << sum(1, 2, 3, 4);   // 10

折叠运算符

四种折叠形式:

  • (... op pack) ——对一元展开进行左折叠
  • (pack op ...) ——右折叠
  • (init op ... op pack) ——带初始值的左折叠
  • (pack op ... op init) ——带初始值的右折叠

打印所有实参

逗号折叠的一种常见惯用写法。

template <typename... Args>
void print_all(Args... args) {
    ((std::cout << args << " "), ...);   // comma fold
}

print_all(1, "hi", 3.14);   // 1 hi 3.14

统计实参数量

sizeof...(pack) 在编译时返回参数包中元素的数量。

template <typename... Args>
void info(Args... args) {
    std::cout << "count = " << sizeof...(args);
}

可变参数类模板

类模板也可以包含参数包。例如:std::tuple<Ts...>。

template <typename... Ts>
class Tuple {
    // implementation uses recursion or storage tricks
};

使用参数包进行完美转发

将可变参数模板与 std::forward 结合,可以将任意实参完美转发给构造函数。

template <typename T, typename... Args>
std::unique_ptr<T> my_make_unique(Args&&... args) {
    return std::unique_ptr<T>(new T(std::forward<Args>(args)...));
}

类型参数包操作

借助模板特化或折叠表达式,您可以实现编译时列表操作:首项、末项以及头部/尾部拆分。

常见陷阱

常见问题:

  • 忘记展开参数包(args 与 args... 的区别)
  • 折叠表达式中的求值顺序(对于非结合运算符,左右方向很重要)
  • 深度递归导致编译时间增加

快速检查

哪个 C++17 特性可以简化对参数包中所有元素求和?

回顾

可变参数模板通过参数包处理数量可变的模板实参。C++17 折叠表达式用简洁的表达式替代了递归式可变参数代码。将它们与完美转发结合后,便可以实现工厂函数和泛型分发。

常见问题解答

「可变参数模板与参数包」课时是免费的吗?

是的 — 「可变参数模板与参数包」的完整文本可在网页上免费阅读。要进行交互式练习(内置代码编辑器和全天候 AI 导师)并解锁 C++ Academy 课程的其余内容,请升级到 CoddyKit PRO。 C++ Academy 课程共包含 4 节课。

「可变参数模板与参数包」这节课中我会学到什么?

使用参数包和折叠表达式编写可变参数模板 你通过在浏览器中直接运行的动手代码来练习 C++ Academy,全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 C++ Academy 需要有经验吗?

无需任何先前经验。CoddyKit 上的 C++ Academy 课程适合初学者到高级学习者,你可以从这里开始或从头开始,按照自己的节奏学习。 这是第 3 节课,共 4 节。

「可变参数模板与参数包」课时需要多长时间?

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动,所以你能稳步进步,并在网页和应用中从离开的地方继续。

我能在这节 C++ Academy 课中编写并运行代码吗?

能。每节 C++ Academy 课都包含内置代码编辑器,你可以在浏览器中直接编写并运行真实代码,并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. 函数与类模板再探
  2. 模板特化:偏特化与全特化
  3. 可变参数模板与参数包
  4. constexpr 函数与 if constexpr
← 返回 C++ Academy