내 컴파일러가이 표현식을 재정렬 할 예정입니까?

Question

내가 작성하는 경우 :

if(somePtr != NULL && somePtr->someFun() == SUCCESS) 
{ 
    /**/ 
} 

somePtr != NULL이 somePtr->someFun() == SUCCESS 전에 확인 될 것이라고 확신 할 수 있습니까?

내 컴파일러가이 두 가지 순서로 순서를 매길 가능성이 있습니까?

Answer 1

내 컴파일러가이 두 가지 순서로 순서를 매길 가능성이 있습니까?

아니요. &&은 첫 번째 표현이 true 인 경우에만 두 번째 표현식을 평가합니다 (덧붙여 전체 표현식에 시퀀스 포인트가 추가됨).

& & 연산자 그룹은 왼쪽에서 오른쪽입니다. 피연산자는 모두 문맥 상 bool 유형으로 변환됩니다 (4 절). 두 피연산자 모두 true이면 결과가 true이고 그렇지 않으면 false입니다. &과 달리 &&은 왼쪽에서 오른쪽으로의 평가를 보장합니다. 첫 번째 피연산자가 거짓이면 두 번째 피연산자는 계산되지 않습니다.

결과는 bool입니다. 두 번째 표현식이 평가되면 첫 번째 표현식과 관련된 모든 값 계산 및 부작용은 두 번째 표현식과 관련된 모든 값 계산 및 부작용이 발생하기 전에 순서가 지정됩니다. (C++ 11 [expr.log.and]; 강조 추가)