详解C++编程中表达式的语义与计算顺序_C 语言

表达式根据其运算符的优先级和分组来计算。

计算顺序
请看以下示例:

// expre_pluslang__pluslang_Order_of_Evaluation.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
int main()
{
  int a = 2, b = 4, c = 9;

  cout << a + b * c << "\n";
  cout << a + (b * c) << "\n";
  cout << (a + b) * c << "\n";
}

Output:

38
38
54

表达式计算顺序
上图中显示的表达式的计算顺序取决于运算符的优先级和关联性:
乘法 (*) 在此表达式中具有最高优先级;因此子表达式 b * c 首先计算。
加法 (+) 具有第二高的优先级,因此,a 将与 b 和 c 的乘积相加。
左移 (<<) 在此表达式中具有最低的优先级,但有两个匹配项。由于左移运算符从左到右分组,因此先计算左子表达式,再计算右子表达式。
当使用括号为子表达式分组时,它们将更改表达式的计算优先级和顺序,如下图所示。

带括号的表达式计算顺序
类似于上图的表达式的计算纯粹是为了展示副作用 - 在本例中是将信息转移到标准输出设备。
表达式中的表示法
在指定操作数时,C++ 语言指定某些兼容性。下表显示需要类型为 type 的操作数的运算符可接受的操作数的类型。
运算符可接受的操作数类型
HHHHHHHHHHHHHHHHHHH1
不明确的表达式
某些表达式的意义不明确。当在同一表达式中多次修改对象的值时,这些表达式最常见。当语言没有定义表达式的计算顺序时,这些表达式依赖于特定的顺序计算。请看下面的示例:

int i = 7;

func( i, ++i );

C++ 语言不保证计算函数调用的参数的顺序。因此,在前面的示例中,func 的参数可以接受值 7 和 8 或 8 和 8,取决于参数是从左到右还是从右到左计算。
C++ 序列点(Microsoft 专用)
在连续的“序列点”之间,表达式只能修改对象的值一次。
C++ 语言定义当前未指定序列点。Microsoft C++ 对涉及 C 运算符但不涉及重载运算符的任何表达式使用与 ANSI C 相同的序列点。当重载运算符时,语义从运算符排序更改为函数调用排序。Microsoft C++ 使用以下序列点:
逻辑“与”运算符 (&&) 的左操作数。完全计算逻辑“与”运算符的左操作数,并在继续之前完成所有副作用。不保证一定会计算逻辑“与”运算符的右操作数。
逻辑“或”运算符 (||) 的左操作数。完全计算逻辑“或”运算符的左操作数,并在继续之前完成所有副作用。不保证一定会计算逻辑“或”运算符的右操作数。
逗号运算符的左操作数。完全计算逗号运算符的左操作数,并在继续之前完成所有副作用。始终计算逗号运算符的两个操作数。
函数调用运算符。计算函数调用表达式以及函数的所有参数(包括默认参数),并在进入函数之前完成所有副作用。在参数或函数调用表达式之间没有指定的计算顺序。
条件运算符的第一个操作数。完全计算条件运算符的第一个操作数,并在继续之前完成所有副作用。
完整的初始化表达式的末尾,如声明语句中的初始化的末尾。
表达式语句中的表达式。表达式语句由可选表达式后跟分号 (;) 组成。表达式为其副作用完全计算。
选择(if 或 switch)语句中的控制表达式。完全计算该表达式,并在执行依赖于选择的代码之前完成所有副作用。
while 或 do 语句的控制表达式。完全计算该表达式,并在执行 while 或 do 循环的下一次迭代中的任何语句之前完成所有副作用。
for 语句的所有三个表达式。完全计算每个表达式,并在移动到下一个表达式之前完成所有副作用。
return 语句中的表达式。完全计算该表达式,并在控制权返回到调用函数之前完成所有副作用。

以上是小编为您精心准备的的内容,在的博客、问答、公众号、人物、课程等栏目也有的相关内容,欢迎继续使用右上角搜索按钮进行搜索c++
, 表达式
, 语义
顺序
编程语言的语法与语义、正则表达式详解、nginx正则表达式详解、正则表达式实例详解、python正则表达式详解,以便于您获取更多的相关知识。

时间: 2024-12-03 08:19:21

详解C++编程中表达式的语义与计算顺序_C 语言的相关文章

详解C++编程中的sizeof运算符与typeid运算符_C 语言

sizeof 运算符产生与 char 类型的大小有关的操作数大小. 语法 sizeof unary-expression sizeof ( type-name ) 备注 sizeof 运算符的结果为 size_t 类型,它是包含文件 STDDEF.H 中定义的整数类型.利用此运算符,你可以避免在程序中指定依赖于计算机的数据大小. sizeof 的操作数可以是下列项之一: 类型名称.若要将 sizeof 用于类型名称,则该名称必须用括号括起. 一个表达式.当用于表达式时,无论是否使用括号都可指定

详解C++编程中的文件流与字符串流_C 语言

C++文件流类与文件流对象 文件流是以外存文件为输入输出对象的数据流.输出文件流是从内存流向外存文件的数据,输入文件流是从外存文件流向内存的数据.每一个文件流都有一个内存缓冲区与之对应. 请区分文件流与文件的概念,不用误以为文件流是由若干个文件组成的流.文件流本身不是文件,而只是以文件为输入输出对象的流.若要对磁盘文件输入输出,就必须通过文件流来实现. 在C++的I/O类库中定义了几种文件类,专门用于对磁盘文件的输入输出操作. 除了标准输入输出流类istream.ostream和iostream

详解C++编程中的静态成员与可变数据成员_C 语言

静态成员类可以包含静态成员数据和成员函数.当数据成员被声明为"静态"时,只会为类的所有对象保留一个数据副本. 静态数据成员不是给定的类类型的对象的一部分.因此,静态数据成员的声明不被视为一个定义.在类范围中声明数据成员,但在文件范围内执行定义.这些静态类成员具有外部链接.下面的示例阐释了这一点: // static_data_members.cpp class BufferedOutput { public: // Return number of bytes written by a

详解C++编程中用数组名作函数参数的方法_C 语言

C++数组的概念 概括地说:数组是有序数据的集合.要寻找一个数组中的某一个元素必须给出两个要素,即数组名和下标.数组名和下标惟一地标识一个数组中的一个元素. 数组是有类型属性的.同一数组中的每一个元素都必须属于同一数据类型.一个数组在内存中占一片连续的存储单元.如果有一个整型数组a,假设数组的起始地址为2000,则该数组在内存中的存储情况如图所示. 引入数组就不需要在程序中定义大量的变量,大大减少程序中变量的数量,使程序精炼,而且数组含义清楚,使用方便,明确地反映了数据间的联系.许多好的算法都与

详解C++程序中定义struct结构体的方法_C 语言

什么是结构体?简单的来说,结构体就是一个可以包含不同数据类型的一个结构,它是一种可以自己定义的数据类型,它的特点和数组主要有两点不同,首先结构体可以在一个结构中声明不同的数据类型,第二相同结构的结构体变量是可以相互赋值的,而数组是做不到的,因为数组是单一数据类型的数据集合,它本身不是数据类型(而结构体是),数组名称是常量指针,所以不可以做为左值进行运算,所以数组之间就不能通过数组名称相互复制了,即使数据类型和数组大小完全相同. 结构体的定义 定义结构体使用struct修饰符,例如: struct

详解Java编程中的策略模式_java

策略模式属于对象的行为模式.其用意是针对一组算法,将每一个算法封装到具有共同接口的独立的类中,从而使得它们可以相互替换.策略模式使得算法可以在不影响到客户端的情况下发生变化. 策略模式的结构 策略模式是对算法的包装,是把使用算法的责任和算法本身分割开来,委派给不同的对象管理.策略模式通常把一个系列的算法包装到一系列的策略类里面,作为一个抽象策略类的子类.用一句话来说,就是:"准备一组算法,并将每一个算法封装起来,使得它们可以互换".下面就以一个示意性的实现讲解策略模式实例的结构. 这个

详解Java编程中的反射在Android开发中的应用_Android

反射定义 "反射"(Reflection)能够让运行于JVM中的程序检测和修改运行时的行为.为何需要反射 反射带来的好处包括:     在运行时检测对象的类型.     动态构造某个类的对象.     检测类的属性和方法.     任意调用对象的方法.     修改构造函数.方法.属性的可见性. 反射方法Method getDeclaredMethod方法 声明如下: public Method getDeclaredMethod(String name, Class<?>

详解Java编程中向量(Vector)的应用_java

Vector(向量)是 java.util 包中的一个类,该类实现了类似动态数组的功能. 向量和数组相似,都可以保存一组数据(数据列表).但是数组的大小是固定的,一旦指定,就不能改变,而向量却提供了一种类似于"动态数组"的功能,向量与数组的重要区别之一就是向量的容量是可变的. 可以在向量的任意位置插入不同类型的对象,无需考虑对象的类型,也无需考虑向量的容量. 向量和数组分别适用于不同的场合,一般来说,下列场合更适合于使用向量: 如果需要频繁进行对象的插入和删除工作,或者因为需要处理的对

详解C++编程中数组的基本用法_C 语言

可以使用数组下标操作符 ([ ]) 访问数组的各个元素. 如果在无下标表达式中使用一维数组,组名计算为指向该数组中的第一个元素的指针. // using_arrays.cpp int main() { char chArray[10]; char *pch = chArray; // Evaluates to a pointer to the first element. char ch = chArray[0]; // Evaluates to the value of the first e