C++17使用std::apply和fold expression对tuple进行遍历

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了C++17使用std::apply和fold expression对tuple进行遍历，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含2260字，纯文字阅读大概需要4分钟。

内容图文

C++17使用std::apply和fold expression对std::tuple进行遍历

std::apply函数

先来看这个std::apply函数，这个函数定义在tuple头文件中，函数签名如下：

template <class F, class Tuple>
constexpr decltype(auto) apply(F&& f, Tuple&& t);

该函数接受两个参数，第一个是一个函数对象，第二个是一个Tuple对象

来看一个最简单的示例：

#include <tuple>
#include <iostream>

int main() {
    // 两个元素相加
    std::cout << std::apply([](auto x, auto y) { return x + y; }, 
                            std::make_tuple(1, 2.0)) << '\n';
}

输出结果是3

这个例子中第一个参数使用Lambda匿名函数将tuple中的两个元素相加，第二个使用std::make_tuple函数构造一个只含有两个元素的tuple

fold expression

这个特性是C++ 17中我觉得很有用的一个新特性，使用规则有下面四条：

1. Unary right fold ($E$E $op$op …) becomes ($E_1$E1? $op$op (… $op$op ($E_{N-1}$EN?1? $op$op $E_N$EN?)))

2. Unary left fold (… $op$op $E$E) becomes ((($E_1$E1? $op$op $E_2$E2?) $op$op …) $op$op $E_N$EN?)

3. Binary right fold ($E$E $op$op … $op$op $I$I) becomes ($E_1$E1? $op$op (… $op$op ($E_{N?1}$EN?1? $op$op ($E_N$EN? $op$op $I$I))))

4. Binary left fold ($I$I $op$op … $op$op $E$E) becomes (((($I$I $op$op $E_1$E1?) $op$op $E_2$E2?) $op$op …) $op$op $E_N$EN?)

这里的$E$E指的是Expression（符合C++语法的表达式），$op$op指的是operator（操作符），$N$N是parameter pack（可变参数）的个数，$I$I是一个常数。

可能看这个规则有些抽象，我们来看一些具体的例子：

#include <tuple>
#include <iostream>

int main() {
    // 多个元素相加，使用parameter pack
    std::cout << std::apply([](auto&& ... args) { return (args + ...); },
                            std::make_tuple(1, 2.f, 3.0)) << '\n';
    // 遍历tuple并输出，注意逗号操作符的使用
    std::apply([](auto&&... args) { ((std::cout << args << '\n'), ...); },
                std::make_tuple(1, 2.f, 3.0));
}

输出如下：

6
1
2
3

第6行中，std::apply函数的第一个参数是一个Lambda匿名函数，函数的参数是一个可变参数args，函数体中只有一条语句args + ...，这个情况就是上面的第一种情况：这里的$E$E就是args，$op$op就是+，所以展开来就是$args_1 + args_2 + args_3$args1?+args2?+args3?（因为参数的个数是3）。

第9行中，Lambda匿名函数的函数体是((std::cout << args << '\n'), ...)这是一个逗号操作符，也属于上面四种情况中的第一种：这里的$E$E就是std::cout << args << '\n')，$op$op就是,，所以这一行就打印输出了tuple的每一个元素。如果在C++17之前想要遍历tuple就比较麻烦，需要很多额外的操作。

参考资料

1. std::apply
2. fold expression

内容总结

以上是互联网集市为您收集整理的C++17使用std::apply和fold expression对tuple进行遍历全部内容，希望文章能够帮你解决C++17使用std::apply和fold expression对tuple进行遍历所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端