C++ Lambda表达式

一、概念

定义：表达式由一到多个操作数组成，可以求值并通常会返回求值结果；

最基本表达式：变量、字面值，通常包含操作符；

操作符特性：

• 1、接收几个操作数：一元、二元、三元；
• 2、对类型有要求（可能涉及类型转换）；
• 3、操作数是左值还是右值；
• 4、结果的类型；
• 5、结果是左值还是右值；
• 6、优先级与结合性，可用小括号来改变运算顺序；
• 7、 操作符重载：不改变接收操作数的个数、优先级与结合性；

注意：关于操作符优先级问题可以参考文档

二、左值与右值

参考网站

在C语言中：左值可能放在等号左边，右值只能放在等号右边；

在C++中，左值也不一定能放在等号左边，右值也可能放在等号左边；

值类型关系图：

• glvalue：泛左值，标识一个对象、位或函数；
• pvalue：纯右值，用于初始化对象或作为操作数；
• xvalue：亡值，表示其资源可以被重新使用；

C++是支持左值和右值的转换的；

decltype可以接收表达式，并且根据类型不同产生不同的值：

参考文章：decltype 说明符

• 表达式的值类别为纯右值，则为type；
• 表达式的值类别为纯左值，则为type& ；
• 表达式的值类别为亡值，则为type&& ；

三、类型转换

定义：一些操作符要求其操作数具有特定的类型，或者具有相同的类型，此时可能产生类型转换；

隐式类型转换：编译器自动发生的；

显式类型转换：

• 1、static_cast<新类型> (表达式)；
• 2、const_cast<新类型> (表达式)：去除常量性或增加常量性；
• 3、显示引入的转换；

四、操作符

• 算数运算符中，除逻辑非外，其它操作符都是左结合的；
• 逻辑与、逻辑或具有短路特性；
• 逻辑与&&优先级高于逻辑或||；
• 按位取反符：~ 按位与：& 按位或：| 按位异或：^ 移位操作符：<<、>>
• 移位操作在一定程度上是乘以或除以2的幂，但速度更快；
• 赋值操作符是右结合的；
• 还有一些其他操作符，比如成员访问操作符.和->，条件操作符?:等，在这就不做介绍了；

五、思考

1、思考下面x变量是左值还是右值，有什么特性？

const int x = 3;
​ 

x是一个纯左值，由于系统内部为常量，所以不能放在等号左边；

2、思考一下以下赋值操作符的原始代码是怎样的？

int x;
int y;
x = y = 5;

首先赋值操作符是右结合的，先计算y=3，并且不是把y的值赋予给x，而是这个表达式的返回值赋予x，原始代码如下：

x = (y = 3);

可以通过https://cppinsights.io/这个网站，看出C++内部对一些代码的转换处理；

3、思考以下代码做了什么事情？

int x = 2;
int y = 3;
x^=y^=x^=y;

答案就是通过复合赋值操作，交换了x和y的值，详细也和异或这个操作符有关；

总结：
​ 表达式这个概念在C++中属于比较细节的知识了，很多时候我们只用知道怎么用，对于编译器内部怎么处理我们并不关心；并且关于左值和右值这个概念，也是C++比较深的一个小知识点，了解后对于程序的优化是有很大帮助的，本篇重点需要关注左值和右值，多参考官方cppreferenc的文档，这是最权威的说明文档；