C++17中的折叠表达式实现

前言

C++11 提供了可变模板参数包, 使函数可以接受任意数量的参数. 但在 C++11中展开参数包稍显麻烦, 而 C++17 的折叠表达式使得展开参数包变得容易, 其基本语法是使用 (…) 的语法形式进行展开。

支持的操作符

C++17中,折叠表达式支持 32 个操作符:

 +, -, *, /, %, ^, &, |, =, <,
>, <<, >>, +=, -=, *=, /=, %=, ^=, &=, |=, <<=,
>>=,==, !=, <=, >=, &&, ||, ,, .*, ->*.

折叠分类

折叠位置

1.左折叠
2.右折叠

操作数个数
1.一元折叠
2.二元折叠

例 1: 左折叠

template <typename ... Ts>
auto sum(Ts ... ts)
{
  return (... + ts);
}

int res{sum(1, 2, 3, 4, 5)};
std::string a{"Hello "};
std::string b{"World"};
std::string str_res {sum(a, b)};//a+b的结果

例 2: 右折叠

template <typename ... Ts>
auto sum(Ts ... ts)
{
  return (ts + ...);
}

例 1 中, 参数包 … 位于操作符的左侧,故尔称为左折叠。 如果 …位于操作符右侧,则称为右折叠,如例 2 所示。就例 1 与例 2 而言,左折叠与右折叠的效果是相同的。

int res {sum(1, 2, 3, 4, 5)};
//左折叠的展开方式为

 1 + (2 + (3 + (4 + 5))),
//右折叠的展开方式为

(((1 + 2) + 3) + 4) + 5
//在例 1 与 例 2 中,如果参数包包含的参数数量为 0,即为空包,会产生编译错误,如

int the_sum {sum()};
/*大致的错误输出如下

In instantiation of 'auto sum(Ts ...) [with Ts = {}]':
error: fold of empty expansion over operator+
   return (... + ts);
*/

若要解决空参数包的编译错误,针对例 1,可以加上一个数值 0,可以解决编译错误又可以使得语义不变,这个 0 相当于缺省值。通过加上一个数值,折叠就变成了二元折叠,如例 3 所示。

例 3: 二元折叠

template <typename ... Ts>
auto sum(Ts ... ts)
{
  // 二元右折叠
  return (ts + ... + 0);

  // 二元左折叠
  // return (0 + ... + ts);
}

此时对于 int res{sum(1, 2, 3, 4, 5)};折叠的展开方式为
1 + (2 + (3 + (4 + (5 + 0))))

空参数包

空参数包就是参数包中不含任何参数。对于大多数操作符,空参数包将会引发编译错误。对于 && 或 ||,空参数包是合法的,其中 && 的展开结果为 true,||的展开结果为 false。在逗号 , 操作符中,空参数包也合法,展开为 void()。

例 4: 计算指定区间内包含指定数值的个数

template <typename R, typename ... Ts>
auto count(const R& range, Ts ... ts)
{
  return (std::count(std::begin(range), std::end(range), ts) + ...);
}
...
std::vector<int> v {1, 2, 3, 4, 5};
count(v,     2, 5);     // returns 2
count(v,     100, 200);   // returns 0
count("abcdefg", 'x', 'y', 'z'); // returns 0
count("abcdefg", 'a', 'd', 'f'); // returns 3

例 5: 检查插入多个元素是否成功

template <typename T, typename ... Ts>
bool insert_all(T &set, Ts ... ts)
{
  return (set.insert(ts).second && ...);
}
...
std::set<int> my_set {1, 2, 3};
insert_all(my_set, 4, 5, 6); // Returns true, my_set 值为 {1, 2, 3, 4, 5, 6}
insert_all(my_set, 7, 2, 8); // Returns false, my_set 值为 {1, 2, 3, 4, 5, 6, 7}
               // 插入 2 时出错, 8 不会被插入

最后

1.对于一元右折叠 (E op …) 具体展开为 E1 op (… op (EN-1 op EN))。
2.对于一元左折叠 (… op E) 具体展开为 (( E1 op E2) op …) op En。
3.对于二元右折叠 (E op … op I) 具体展开为 E1 op (… op (EN-1 op (EN op I)))。
4.对于二元左折叠 (I op … op E) 具体展开为 (((I op E1) op E2) op …) op E2。

左折叠与右折叠的语义并非总是相同的。比如对于加法和乘法,左折叠与右折叠的语义是相同的,但是对于减法与除法,其语义是不同的。

例 6: 左右折叠不同语义

template<typename... Args>
auto left_sub(Args&&... args) {
  return (... - args);
}

template<typename... Args>
auto right_sub(Args&&... args) {
  return (args - ...);
}
...
auto a = left_sub(2, 3, 4); // ((2 - ) -3 ) - 4) = -5
auto b = right_sub(2, 3, 4); // (2 - (3 - 4)) = 3

到此这篇关于C++17中的折叠表达式实现的文章就介绍到这了,更多相关C++17 折叠表达式内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • C++98/11/17表达式类别(小结)

    目标 以下代码能否编译通过,能否按照期望运行? #include <utility> #include <type_traits> namespace cpp98 { struct A { }; A func() { return A(); } int main() { int i = 1; i = 2; // 3 = 4; const int j = 5; // j = 6; i = j; func() = A(); return 0; } } namespace cpp11 {

  • C++17中的折叠表达式实现

    前言 C++11 提供了可变模板参数包, 使函数可以接受任意数量的参数. 但在 C++11中展开参数包稍显麻烦, 而 C++17 的折叠表达式使得展开参数包变得容易, 其基本语法是使用 (-) 的语法形式进行展开. 支持的操作符 C++17中,折叠表达式支持 32 个操作符: +, -, *, /, %, ^, &, |, =, <, >, <<, >>, +=, -=, *=, /=, %=, ^=, &=, |=, <<=, >&g

  • Vue中v-show添加表达式的问题(判断是否显示)

    一.需求场景 1.先来说说我的需求,有数据来源和标签类型两行选项,如下图所示: 2.根据需求,我需要在点击上面的某个数据来源的时候,下面的标签类型自动切换, 需求说明如下: 3.一开始 是想写死的,就是把各种情况写死在页面上,后来查看官方文档一会,数据来源的集合可以这样写,id为各个类型的标识,name为名称,mark为点击某个数据来源 的时候标签类型根据当前点击的数据来源进行判断切换.如下图: infoTypeList: [ { id: 11, name: '新闻', mark: 'news'

  • 详解C++17中nodiscard标记符的使用

    目录 前言 弃值表达式 nodiscard标记符 函数非弃值声明 类/枚举类/结构 非弃值声明 返回类引用与类指针 前言 在C++ 17中引入了一个标记符nodiscard,用于声明一个 “非弃值(no-discard)表达式”.那么在开始之前,我们需要了解一下什么是弃值表达式. 弃值表达式 弃值表达式,就是放弃获取返回值的表达式.首先弃值表达式的返回值是非void类型的.一般,我们使用的弃值表达式,其返回值只是起次要的作用,而其本身的作用占主要.比如++i;就是一个弃值表达式,它的主要作用就是

  • Java8中的 Lambda表达式教程

     1. 什么是λ表达式 λ表达式本质上是一个匿名方法.让我们来看下面这个例子: public int add(int x, int y) { return x + y; } 转成λ表达式后是这个样子: (int x, int y) -> x + y; 参数类型也可以省略,Java编译器会根据上下文推断出来: (x, y) -> x + y; //返回两数之和 或者 (x, y) -> { return x + y; } //显式指明返回值 可见λ表达式有三部分组成:参数列表,箭头(-&g

  • Java8中的lambda表达式入门教程

    1.基本介绍 lambda表达式,即带有参数的表达式,为了更清晰地理解lambda表达式,先上代码: 1.1 两种方式的对比 1.1.1 方式1-匿名内部类 class Student{ private String name; private Double score; public Student(String name, Double score) { this.name = name; this.score = score; } public String getName() { ret

  • 深入理解Java中的Lambda表达式

    Java 8 开始出现,带来一个全新特性:使用 Lambda 表达式 (JSR-335) 进行函数式编程.今天我们要讨论的是 Lambda 的其中一部分:虚拟扩展方法,也叫做公共辩护(defender)方法.该特性可以让你在接口定义中提供方法的默认实现.例如你可以为已有的接口(如 List 和 Map)声明一个方法定义,这样其他开发者就无需重新实现这些方法,有点像抽象类,但实际却是接口.当然,Java 8 理论上还是兼容已有的库. 虚拟扩展方法为 Java 带来了多重继承的特性,尽管该团队声称与

  • python中的lambda表达式用法详解

    本文实例讲述了python中的lambda表达式用法.分享给大家供大家参考,具体如下: 这里来为大家介绍一下lambda函数. lambda 函数是一种快速定义单行的最小函数,是从 Lisp 借用来的,可以用在任何需要函数的地方 .下面的例子比较了传统的函数定义def与lambda定义方式: >>> def f ( x ,y): ... return x * y ... >>> f ( 2,3 ) 6 >>> g = lambda x ,y: x *

  • WinForm中DataGridView折叠控件【超好看】

    刚到一家新公司,领导下发任务要用cs系统做一个表格折叠显示,这真是把我难倒了,自己工作6年一直以来都是做BS的系统.这如果在BS里面那太简单了,JqGrid默认都自带,可是DataGridview不支持折叠啊.自己一点经验没有,怎么办呢?于是上网搜了相关视频,资料,开始学习起来.最后借鉴源码封了这么一个东西,发出来分享下,也能让自己加深印象. 首先不多说,上图.如果大家感谢还不错,请继续往下阅读: 大概的效果就是这样. 上代码. 1.首先重写DataGridview,代码如下: public c

  • PHP中的正规表达式(一)

    PHP中的正规表达式(一)Hunte 2000年4月14日 PHP继承*NIX的一贯传统,完全支持正规表达式的处理.正规表达式提供了一种高级的,但不直观的字符串匹配和处理的方法.用过PERL的正规表达式的朋友都知道,正规表达式的功能非常强大,但学起来不是那么容易. 比如: ^.+@.+\\..+$ 这段有效却难以理解的代码足够使一些程序员头痛(我就是)或者让他们放弃使用正规表达式.相信当你读完这个教程后,就可以理解这段代码的含义了. 基本模式匹配 一切从最基本的开始.模式,是正规表达式最基本的元

  • Android Studio中使用lambda表达式的方法

    1.module的build.gradle里buildTypes中添加: compileOptions { sourceCompatibility JavaVersion.VERSION_1_8 targetCompatibility JavaVersion.VERSION_1_8 } 2.module的build.gradle里defaultConfig中添加: jackOptions.enabled = true 3.注意事项:jack可能会导致中文乱码,所以需要在gradle.proper

随机推荐