詳解C++編程中表達(dá)式的語義與計(jì)算順序

更新時(shí)間：2016年01月15日 14:57:30 投稿：goldensun

這篇文章主要介紹了C++編程中表達(dá)式的語義與計(jì)算順序,是C++入門學(xué)習(xí)中的基礎(chǔ)知識(shí),需要的朋友可以參考下

表達(dá)式根據(jù)其運(yùn)算符的優(yōu)先級(jí)和分組來計(jì)算。

計(jì)算順序
請(qǐng)看以下示例：

// 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

2016115145538215.jpeg (202×96)

表達(dá)式計(jì)算順序
上圖中顯示的表達(dá)式的計(jì)算順序取決于運(yùn)算符的優(yōu)先級(jí)和關(guān)聯(lián)性：
乘法 (*) 在此表達(dá)式中具有最高優(yōu)先級(jí)；因此子表達(dá)式 b * c 首先計(jì)算。
加法 (+) 具有第二高的優(yōu)先級(jí)，因此，a 將與 b 和 c 的乘積相加。
左移 (<<) 在此表達(dá)式中具有最低的優(yōu)先級(jí)，但有兩個(gè)匹配項(xiàng)。由于左移運(yùn)算符從左到右分組，因此先計(jì)算左子表達(dá)式，再計(jì)算右子表達(dá)式。
當(dāng)使用括號(hào)為子表達(dá)式分組時(shí)，它們將更改表達(dá)式的計(jì)算優(yōu)先級(jí)和順序，如下圖所示。

2016115145617154.jpeg (220×96)

帶括號(hào)的表達(dá)式計(jì)算順序
類似于上圖的表達(dá)式的計(jì)算純粹是為了展示副作用 - 在本例中是將信息轉(zhuǎn)移到標(biāo)準(zhǔn)輸出設(shè)備。
表達(dá)式中的表示法
在指定操作數(shù)時(shí)，C++ 語言指定某些兼容性。下表顯示需要類型為 type 的操作數(shù)的運(yùn)算符可接受的操作數(shù)的類型。
運(yùn)算符可接受的操作數(shù)類型
HHHHHHHHHHHHHHHHHHH1
不明確的表達(dá)式
某些表達(dá)式的意義不明確。當(dāng)在同一表達(dá)式中多次修改對(duì)象的值時(shí)，這些表達(dá)式最常見。當(dāng)語言沒有定義表達(dá)式的計(jì)算順序時(shí)，這些表達(dá)式依賴于特定的順序計(jì)算。請(qǐng)看下面的示例：

int i = 7;

func( i, ++i );

C++ 語言不保證計(jì)算函數(shù)調(diào)用的參數(shù)的順序。因此，在前面的示例中，func 的參數(shù)可以接受值 7 和 8 或 8 和 8，取決于參數(shù)是從左到右還是從右到左計(jì)算。
C++ 序列點(diǎn)（Microsoft 專用）
在連續(xù)的“序列點(diǎn)”之間，表達(dá)式只能修改對(duì)象的值一次。
C++ 語言定義當(dāng)前未指定序列點(diǎn)。Microsoft C++ 對(duì)涉及 C 運(yùn)算符但不涉及重載運(yùn)算符的任何表達(dá)式使用與 ANSI C 相同的序列點(diǎn)。當(dāng)重載運(yùn)算符時(shí)，語義從運(yùn)算符排序更改為函數(shù)調(diào)用排序。Microsoft C++ 使用以下序列點(diǎn)：
邏輯“與”運(yùn)算符 (&&) 的左操作數(shù)。完全計(jì)算邏輯“與”運(yùn)算符的左操作數(shù)，并在繼續(xù)之前完成所有副作用。不保證一定會(huì)計(jì)算邏輯“與”運(yùn)算符的右操作數(shù)。
邏輯“或”運(yùn)算符 (||) 的左操作數(shù)。完全計(jì)算邏輯“或”運(yùn)算符的左操作數(shù)，并在繼續(xù)之前完成所有副作用。不保證一定會(huì)計(jì)算邏輯“或”運(yùn)算符的右操作數(shù)。
逗號(hào)運(yùn)算符的左操作數(shù)。完全計(jì)算逗號(hào)運(yùn)算符的左操作數(shù)，并在繼續(xù)之前完成所有副作用。始終計(jì)算逗號(hào)運(yùn)算符的兩個(gè)操作數(shù)。
函數(shù)調(diào)用運(yùn)算符。計(jì)算函數(shù)調(diào)用表達(dá)式以及函數(shù)的所有參數(shù)（包括默認(rèn)參數(shù)），并在進(jìn)入函數(shù)之前完成所有副作用。在參數(shù)或函數(shù)調(diào)用表達(dá)式之間沒有指定的計(jì)算順序。
條件運(yùn)算符的第一個(gè)操作數(shù)。完全計(jì)算條件運(yùn)算符的第一個(gè)操作數(shù)，并在繼續(xù)之前完成所有副作用。
完整的初始化表達(dá)式的末尾，如聲明語句中的初始化的末尾。
表達(dá)式語句中的表達(dá)式。表達(dá)式語句由可選表達(dá)式后跟分號(hào) (;) 組成。表達(dá)式為其副作用完全計(jì)算。
選擇（if 或 switch）語句中的控制表達(dá)式。完全計(jì)算該表達(dá)式，并在執(zhí)行依賴于選擇的代碼之前完成所有副作用。
while 或 do 語句的控制表達(dá)式。完全計(jì)算該表達(dá)式，并在執(zhí)行 while 或 do 循環(huán)的下一次迭代中的任何語句之前完成所有副作用。
for 語句的所有三個(gè)表達(dá)式。完全計(jì)算每個(gè)表達(dá)式，并在移動(dòng)到下一個(gè)表達(dá)式之前完成所有副作用。
return 語句中的表達(dá)式。完全計(jì)算該表達(dá)式，并在控制權(quán)返回到調(diào)用函數(shù)之前完成所有副作用。