2

可能重复：
未定义、未指定和实现定义的行为
未定义的行为和序列点
C、C++、Java 和 C# 中的前后递增运算符行为

我有这个代码片段：

int x = 2;
int y = x + 4 * ++x;
// what is y???

当我在c/c++中编译和测试它时，我会得到：

// C/C++
y is 15

但是通过c#我会得到

// C#
y is 14

为什么？

IL的一部分是：

locals init ([0] int32 x,
[1] int32 y)
IL_0000: nop
IL_0001: ldc.i4.2
IL_0002: stloc.0
IL_0003: ldloc.0
IL_0004: ldc.i4.4
IL_0005: ldloc.0
IL_0006: ldc.i4.1
IL_0007: add
IL_0008: dup
IL_0009: stloc.0
IL_000a: mul
IL_000b: add
IL_000c: stloc.1
IL_000d: ldloca.s y
4

2 回答 2

5 
int y = x + 4 * ++x;

在 C 和 C++ 中，每个操作数的求值顺序是未指定的，这意味着x或者4*++x可以在另一个之前求值。由于未指定操作数的求值顺序，因此未指定整个表达式的结果。

如果x在 之前进行评估4*++x，y则将计算为：

int y = x + 4 * ++x; //original

int y = 2 + 4 * ++x  //evaluate x first
      = 2 + (4 * 3)  //evaluate 4 *++x then
      = 14;

同样，如果4*++x在 之前求值x，则

int y = x + 4 * ++x; //original

int y = x + (4*3)  //evaluate 4 * ++x first
      = 3 + 12   //evaluate x then  (x is incremented)
      = 15;

在 C# 中，需要从左到右计算操作数，因此您总是会得到第一个行为，结果是 14。

于 2011-10-23T10:52:24.357 回答
2

实际上，在 C++ 中，您只会得到未定义的行为，因为并不总是指定表达式的求值顺序，因此不清楚第一次使用 x 是读取旧值还是新值。两者都是可能的，实际上任何事情都是可能的，因为标准明确表示未定义会发生什么。

C# 作为一种安全语言，不允许出现这种情况，因此更严格地定义了求值顺序。

于 2011-10-23T10:53:42.183 回答