int [] arr = {0}; int 값 = arr [arr [0] ++]; 값 = 1?

Question

오늘 저는 Eric Lippert에 의해 십자가를 냈습니다. 여기서 그는 사업자 우선 순위와 평가 순서 사이의 신화를 없애려고했습니다. 내가 변수 값의 값을 생각하면

 int[] arr = {0}; 
     int value = arr[arr[0]++]; 

지금, 나는 단순히 하나 그것을 계산 : 끝에서 나를 혼란있어이 개 코드 조각이 있었다, 여기에 첫 번째 조각이다. 어떻게 작동하는지 생각 해보자. 그 안에 하나 개의 항목 INT 의 배열로서

1. 먼저 도착 선언; 이 항목의 값은 0입니다.
2. 두 번째는 에 arr [0] --0의 값을 가져옵니다.
3. 셋째 도착 (여전히 0) [공정 (2)의 값 ]의 값이 [0]이 0으로 다시 --still
4. 네번째 단계의 값을 할당 도착을 얻을 --gets 3 (0)를 변수 값에 적용합니다. --value = 0 해주기
5. 2 1 --Now 도착 [0] = 1

명백하게이 잘못 스텝의 값에 추가. 실제로 증가가 언제 발생하는지에 대한 명시적인 진술을 위해 C# 스펙을 검색하려고 시도했지만 아무 것도 찾지 못했습니다. 현재 이곳에

int[] data = { 11, 22, 33 }; 
int i = 1; 
data[i++] = data[i] + 5; 

나는이 프로그램이 배열을 선언하고 난에 1을 할당 --after 실행할 생각하는 방법은 다음과 같습니다
두 번째 조각은 주제에 에릭의 blog post의 코멘트에서입니다.

1. 얻기 데이터 [PLZ 참아 [I]는 --1
2. 는 단계 1 값 데이터 5 --6
3. 할당 [I] (값 추가 단계의 또 1) 2 값 --data [내가] = 6
4. 단위 I - I = 2

내 이해에 따르면,이 배열은 현재 값 {11 (27)를 포함한다, 33}. 그러나 배열 값을 인쇄하기 위해 반복했을 때 : {11, 38, 33}. 즉 게시 증가가 배열을 참조 해제하기 전에 발생했음을 의미합니다!
어째서? 이 게시물 증가가 게시물이 아닌가요? 즉 다른 모든 일 후에 발생합니다.
내가 뭘 놓친거야?

Answer 1

사후 증가 연산은 전체 식을 계산할 때 발생합니다. 값이 계산 된 후 다른 표현식이 평가되기 전에 발생하는 부작용입니다.즉

, 어떤 표현 E에 대한, E ++ (합법적 인 경우) (의사 코드) 같은 것을 나타냅니다 아무것도를 평가하기 전에, + + E를 평가하는 모든 일부 의

T tmp = E; 
E += 1; 
return tmp; 

.

자세한 내용은 7.5.9 절을 참조하십시오.

---

은 또한, LHS (이 경우에서와 같이) 가변으로 분류 할당 작업은 LHS는 RHS가 평가 전에 을 평가한다. 그래서 예에서

:

int[] data = { 11, 22, 33 }; 
int i = 1; 
// Work out what the LHS is going to mean... 
int index = i; 
i++; 
// We're going to assign to data[index], i.e. data[1]. Now i=2. 

// Now evaluate the RHS 
int rhs = data[i] + 5; // rhs = data[2] + 5 == 38 

// Now assign: 
data[index] = rhs; 

이에 대한 사양의 관련 비트 섹션 7.16.1 (C# 3.0 사양)입니다 :

int[] data = { 11, 22, 33 }; 
int i = 1; 
data[i++] = data[i] + 5; 

은 동일합니다.

Answer 2

data[i++] // => data[1], then i is incremented to 2 

data[1] = data[2] + 5 // => 33 + 5 

Answer 3

일부 컴파일러는 i ++가 ++ i가되도록 최적화 할 수 있습니다. 대부분의 경우 최종 결과는 동일하지만 컴파일러가 잘못된 경우가 드문 경우 중 하나입니다.

지금 Visual Studio에 액세스 할 수 없지만 코드 최적화를 비활성화하고 결과가 동일하게 유지되는지 확인하십시오.

Answer 4

사후 증가 연산자는 값이 사용 된 후에 변수를 증가시킬 것으로 예상됩니다. 이 경우 변수는 변수에 대한 두 번째 참조 전에 증가됩니다. 그렇게하지 않을 것입니다 경우 실제로 아무것도하지 않기 때문에 말, 당신은 내가보고 지시에, 증가 연산자를 제거 할 수 것처럼 될 경우

data[i++] = data[i++] + data[i++] + data[i++] + 5 

를 작성할 수

.

제 니펫

Answer 5

시퀀스이다 : 당신 같은

1. 선언 도착 설명 :
가
2. 가 도착의 값을 검색 [0], 도착의 [0의 값 단위 0
3. 인 1.
4. 에 도착 된 [도착의 값이다 (# 2의 결과)를 검색 [0], 이는 (# 3마다) value 결과 1.
5. 스토어이다.
6. 값 = 제 1
니펫

이 평가는 아직 왼쪽에서 오른쪽이다.

1. 여기서 결과를 저장하고 있습니까? 데이터 [i ++]에서 데이터 [1]이지만 지금은 i = 2
2. 무엇을 추가하고 있습니까?data [i] +5는 현재 데이터 [2] +5이며, 38입니다.

누락 된 부분은 "게시물"이 "그 밖의 모든 후"를 의미하지 않는다는 것입니다. "변수의 현재 값을 검색 한 직후"를 의미합니다. "코드 라인"의 중간에 일어나는 게시물 증가는 완전히 정상입니다.

Answer 6

당신은 세 단계로 할당 생각해야 :

1. 것은 왼쪽 평가 (= 값을 저장해야합니다 주소를 얻을)
2. 하는 평가 오른쪽
3. 단계에서 값을 지정을 1 단계

에서 메모리 위치 2는

같은이있는 경우

그런 다음 A()가 먼저 실행 된 다음 C()가 실행되고 속성 설정자 B가 실행됩니다.

기본적으로, 당신은

StoreInArray(data, i++, data[i] + 5);