단항 : C#에서의 단항 동작에 따라 변화 이유는 C/C++

Question

가능한 중복 :

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

:
Undefined, unspecified and implementation-defined behavior
Undefined Behavior and Sequence Points
Pre & post increment operator behavior in C, C++, Java, & C#

나는이 코드 조각을

내가 컴파일에서 테스트 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 

C 및 C에서

Answer 1

int y = x + 4 * ++x; 

++, 각각의 피연산자의 평가 순서는 x 또는 4*++x 하나 전에 평가 될 수 있음을 의미 지정되지 다른 하나. 피연산자의 평가 순서는 지정되지 않으므로 전체 표현식의 결과는 지정되지 않습니다. x가 4*++x으로 평가되면

다음 y 같이 계산한다 : 4*++x가 x 먼저 평가되는 경우 C에서 다음

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

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

,

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

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

마찬가지로, 피연산자해야 왼쪽에서 오른쪽으로 평가되므로 항상 14로 결과를주는 첫 번째 동작을 얻습니다.

Answer 2

사실, C++에서는 표현식의 평가 순서가 항상 지정되지 않으므로 정의되지 않은 동작을 얻습니다. 따라서 x를 처음 사용하면 이전 값이나 새 값을 읽는지 여부가 명확하지 않습니다. 두 가지 모두 가능하며 실제로 어떤 일이 일어날 지 정의되지 않는다고 명시되어 있기 때문에 실제로는 아무 것도 가능하지 않습니다.

안전한 언어로 C#은 이러한 상황을 허용 할 수 없으므로 평가 순서를보다 엄격하게 정의합니다.