详解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 语句中的表达式。完全计算该表达式，并在控制权返回到调用函数之前完成所有副作用。

赞 (0)

相关推荐

  • 剖析C++中的常量表达式与省略号的相关作用

    C++ 常量表达式 常量值是指不会更改的值.C + + 提供了两个关键字,它们使你能够表达不打算修改对象的意图,还可让你实现该意图. C++ 需要常量表达式(计算结果为常量的表达式)以便声明: 数组边界 case 语句中的选择器 位域长度规范 枚举初始值设定项 常量表达式中合法的唯一操作数是: 文本 枚举常量 声明为使用常量表达式初始化的常量的值 sizeof 表达式 必须将非整型常量(显式或隐式)转换为常量表达式中合法的整型.因此,以下代码是合法的: const double Size = 1

  • 详解C++编程中的主表达式与后缀表达式编写基础

    主表达式 主表达式是更复杂的表达式的构造块.它们是文本.名称以及范围解析运算符 (::) 限定的名称.主表达式可以具有以下任一形式: literal this :: name name ( expression ) literal 是常量主表达式.其类型取决于其规范的形式. this 关键字是指向类对象的指针.它在非静态成员函数中可用,并指向为其调用函数的类的实例. this 关键字只能在类成员函数体的外部使用. this 指针的类型是未特别修改 this 指针的函数中的 type *const

  • 详解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 <<

  • 详解Python编程中基本的数学计算使用

    数 在 Python 中,对数的规定比较简单,基本在小学数学水平即可理解. 那么,做为零基础学习这,也就从计算小学数学题目开始吧.因为从这里开始,数学的基础知识列位肯定过关了. >>> 3 3 >>> 3333333333333333333333333333333333333333 3333333333333333333333333333333333333333L >>> 3.222222 3.222222 上面显示的是在交互模式下,如果输入 3,就显

  • 详解Swift编程中的常量和变量

    常量 常量指的是程序无法在其执行期间改变的固定值. 常量可以是任何像整型常量,浮点常量,字符常量或字符串的基本数据类型.也可以是枚举常量. 这些常量和常规变量处理一样,只是它们的值不能在定义后进行修改. 声明常量 使用常量时,则必须使用关键字 let 声明它们如下: 复制代码 代码如下: let constantName = <initial value> 下面是一个简单的例子来说明如何在 Swift 中声明一个常量: 复制代码 代码如下: import Cocoa let constA =

  • 详解C++编程中对于函数的基本使用

    详解C++编程中对于函数的基本使用

    形式参数和实际参数 在调用函数时,大多数情况下,函数是带参数的.主调函数和被调用函数之间有数据传递关系.前面已提到:在定义函数时函数名后面括号中的变量名称为形式参数(formal parameter,简称形参),在主调函数中调用一个函数时,函数名后面括号中的参数(可以是一个表达式)称为实际参数(actual parameter,简称实参). [例]调用函数时的数据传递. #include <iostream> using namespace std; int max(int x,int y)

  • 详解C#编程中异常的创建和引发以及异常处理

    创建和引发异常 异常用于指示在运行程序时发生了错误.此时将创建一个描述错误的异常对象,然后使用 throw 关键字"引发"该对象.然后运行时搜索最兼容的异常处理程序. 当存在下列一种或多种情况时,程序员应引发异常: 方法无法完成其中定义的功能. 例如,如果方法的参数具有无效值: static void CopyObject(SampleClass original) { if (original == null) { throw new System.ArgumentException

  • 详解Java编程中if...else语句的嵌套写法

    详解Java编程中if...else语句的嵌套写法

    if...else if...else语句 if语句后面可以跟elseif-else语句,这种语句可以检测到多种可能的情况. 使用if,else if,else语句的时候,需要注意下面几点: if语句至多有1个else语句,else语句在所有的elseif语句之后. If语句可以有若干个elseif语句,它们必须在else语句之前. 一旦其中一个else if语句检测为true,其他的else if以及else语句都将跳过执行. 语法 if...else语法格式如下: if(布尔表达式 1){

  • 详解Golang编程中的常量与变量

    详解Golang编程中的常量与变量

    Go语言常量 常量是指该程序可能无法在其执行期间改变的固定值.这些固定值也被称为文字. 常量可以是任何像一个整型常量,一个浮点常量,字符常量或字符串文字的基本数据类型.还有枚举常量. 常量是一样,只是它们的值不能自己定义后进行修改常规变量处理. 整型常量 一个整数文字可以是十进制,八进制,或十六进制常数.前缀指定基或基数:0x或0X的十六进制,0表示八进制,并没有为十进制. 一个整数文字也可以有一个后缀为U和L的组合,分别为无符号和长整型.后缀可以是大写或小写,并且可以以任意顺序. 这里是整数常

  • 详解C++编程中的sizeof运算符与typeid运算符

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

  • 详解C#编程中构造函数的使用

    当类或结构创建时,其构造函数调用.构造函数与选件类或结构相同,并且,它们通常用于初始化新对象的数据成员. 在下面的示例中,使用一个简单的构造函数定义了名为 Taxi 的类.然后使用 new 运算符来实例化该类.在为新对象分配内存之后,new 运算符立即调用 Taxi 构造函数. public class Taxi { public bool isInitialized; public Taxi() { isInitialized = true; } } class TestTaxi { stat

随机推荐