c++ 中的可变参数模板与折叠表达式

c++ 11 引入了可变参数模板,c++ 17 引入了折叠表达式,比 c 语言的可变参数更加简洁灵活。这篇博客总结了一些例子。

  • ...(省略号)用于可变参数(Variadic Arguments),它可以放在模板参数函数参数的后面,表示该参数是参数包(Parameter Pack),可以接收多个值。

1. 可变参数模板

递归调用是处理可变参数模板的经典方式,即通过递归地拆解参数包。

cpp 复制代码
#include <iostream>

// 基本函数(终止递归)
void print() {
    std::cout << "结束" << std::endl;
}

// 可变参数模板
template <typename T, typename... Args> // 这个... 表示多种不同的变量类型
void print(T first, Args... rest) { // 这个... 表示多种不同的变量类型
    std::cout << first << " ";  // 先打印当前参数
    print(rest...);             // 递归调用,传入剩余参数, 这个... 表示多种不同的传入参数
}

int main() {
    print(1, 2.5, "Hello", 'A');  
    // 输出: 1 2.5 Hello A 结束
}
  • 需要有递归的终止函数,比折叠表达式麻烦点

  • 可变参数模板不仅可以用于函数,还可以用于 类模板。

cpp 复制代码
#include <iostream>

// 可变参数类模板
template <typename... Args>
class MyClass {
public:
    MyClass() {
        std::cout << "MyClass with " << sizeof...(Args) << " template parameters\n";
    }
};

int main() {
    MyClass<int, double, char> obj1;  // 输出: MyClass with 3 template parameters
    MyClass<> obj2;                   // 输出: MyClass with 0 template parameters
}
  • sizeof...(Args) 为一种特殊的语法,用来 获取模板参数包中的参数个数。

2. 折叠表达式

C++17 引入了 折叠表达式(Fold Expressions),可以将参数包展开,并应用一个二元操作符来对这些参数进行"折叠",将它们合并成一个单一的值。

折叠表达式有两种基本形式:

  • 左折叠(left fold), 操作从 最左侧 开始,依次将参数包中的元素与左侧的结果结合,语法:
cpp 复制代码
(... op args)
  • 右折叠(right fold),操作从 最右侧 开始,依次将参数包中的元素与右侧的结果结合,语法:
cpp 复制代码
(op args ...)

其中,op 表示运算符,可以是 +, -, *, /, &&, ||, << 等。可以看出,省略号在运算符左边就是左折叠,在运算符右边就是右折叠。

cpp 复制代码
#include <iostream>

template <typename... Args> auto subtractLeft(Args... args) {
  return (... - args); // 左折叠,依次进行减法
}

template <typename... Args> auto subtractRight(Args... args) {
  return (args - ...); // 右折叠,依次进行减法
}

int main() {
  std::cout << subtractLeft(10, 3, 2, 1) << std::endl; // 输出是 4
  std::cout << subtractRight(10, 3, 2, 1) << std::endl; // 输出是 8

  return 0;
}

第一个函数左折叠表示 10-3-2-1=4,第二个函数右折叠表示 10-(3-(2-1))=8.

  • 可以直接对可变参数包进行操作,避免递归展开。
cpp 复制代码
#include <iostream>

// 使用 C++17 折叠表达式
template <typename... Args>
void print(Args... args) {
    ((std::cout << args << " "), ...);
    std::cout << std::endl;
}

int main() {
    print(1, 2.5, "Hello", 'A');
    // 输出: 1 2.5 Hello A
}

对所有参数包求和:

cpp 复制代码
#include <iostream>

template <typename... Args>
auto sum(Args... args) {
    return (args + ...); // 左折叠,将所有参数求和
}

int main() {
    std::cout << sum(1, 2, 3, 4) << std::endl; // 输出: 10
}
相关推荐
zwjapple9 分钟前
docker-compose一键部署全栈项目。springboot后端,react前端
前端·spring boot·docker
tan180°2 小时前
MySQL表的操作(3)
linux·数据库·c++·vscode·后端·mysql
像风一样自由20202 小时前
HTML与JavaScript:构建动态交互式Web页面的基石
前端·javascript·html
aiprtem3 小时前
基于Flutter的web登录设计
前端·flutter
浪裡遊3 小时前
React Hooks全面解析:从基础到高级的实用指南
开发语言·前端·javascript·react.js·node.js·ecmascript·php
why技术3 小时前
Stack Overflow,轰然倒下!
前端·人工智能·后端
GISer_Jing3 小时前
0704-0706上海,又聚上了
前端·新浪微博
彭祥.3 小时前
Jetson边缘计算主板:Ubuntu 环境配置 CUDA 与 cudNN 推理环境 + OpenCV 与 C++ 进行目标分类
c++·opencv·分类
止观止4 小时前
深入探索 pnpm:高效磁盘利用与灵活的包管理解决方案
前端·pnpm·前端工程化·包管理器
whale fall4 小时前
npm install安装的node_modules是什么
前端·npm·node.js