사후 증가 연산자의 평가는 어떤 순서로 발생합니까?

Question

는

std::vector<CMyClass> objects; 
CMyClass list[MAX_OBJECT_COUNT]; 

는이 작업을 수행하는 것이 현명하다

을 감안할 때?

for(unsigned int i = 0; i < objects.size(); list[i] = objects.at(i++)); 

아니면이 루프를 확장해야합니까?

for(unsigned int i = 0; i < objects.size(); i++) 
{ 
    list[i] = objects.at(i); 
} 

Answer 1

전 정의되지 않은 동작입니다. 에 대한 함수 호출 전후에 list[i]이 평가되는지 (할당의 lh에 대해 lvalue를 제공하는지)는 지정되지 않습니다.

그러므로 개재 서열 포인트없이 i가 (list[i]에서) 액세스 별도로 (i++에서) 수정 된 표현의 다양한 부분의 법적 순서가있다.

이것은 합법적 인 주문 여부와 상관없이 C++ 표준에서 정의되지 않은 동작의 조건입니다. IIRC C 표준은 약간 다른 표현이지만 같은 효과를냅니다.

의심스러운 경우 증가 연산자를 사용하는 식을 쓰지 말고 식의 다른 곳에서는 같은 값을 사용하십시오. 시퀀스 포인트가 있기 때문에 쉼표 연산자 (i++, i++은 괜찮습니다)와 조건부 연산자 (i ? i++ : i--은 괜찮습니다)로 처리 할 수 ​​있지만 그다지 가치가 없습니다. || 및 &&도 마찬가지이며 p != end_p && *(p++) = something;과 같은 것이 완전히 잘못된 것은 아닙니다. 다른 용도로 사용하면 오랫동안 충분히 보았을 때 대개 일을 망칠 정도의 평가 순서를 찾아 낼 수 있습니다.

복잡한 몸체가있는 for 표현식과 for 루프의 이해 가능성을 제외하고는.

Answer 2

의심 스럽다면 이해하기 쉬운 양식을 선호하십시오 (루프를 확장하십시오).

은 (내가 list[i] = objects.at(i++)이 정의되지 않은 동작에 이르게 생각합니다.)

Answer 3

i++과 같은 표현에서 i을 참조하는 것은 아마 정의되지 않은 동작입니다. 당신이 용기를 사용하고있는 것 같습니다 있기 때문에 그것은 정의되지 않은 동작 수율을 사용하는 것과 동일한 식의 변수를 포스트 증가, 이미 말한 바와 같이, 당신은 아마 ...

list = objects;        // if they're the same type 
list.assign(objects.begin(), objects.end()); // if not 

Answer 4

을 작성할 수 있습니다. 그러나 소형 폼을 유지하려는 경우 시퀀스 포인트를 도입하여 다음을 수행 할 수 있습니다.

for(unsigned int i = 0; i < objects.size(); list[i] = objects.at(i), i++);