"long long = int + int"먼저 계산 후 입력 하시겠습니까?

Question

내가 caspp을 읽을 때, overflow.so없이 인수를 추가 할 수 있는지 여부를 결정하는 질문이 있습니다. 코드를 씁니다.

//sum1 is long long ,so there is no overflow. 
//when sum2 is overflow ,then sum1 != sum2; 
int tadd_ok (int x,int y) 
{ 
long long int sum1 = x + y; 
int sum2 = x + y; 
return sum1 == sum2; 
} 

그러나 몇 가지 질문이 있습니다. x = -2147483647, y = -2라고 가정하면 sum1과 sum2가 모두 같음 2147483747 (오버플로!).

그리고 "long long = int + int"에 대해 먼저 계산 한 다음 유형을 변환 하시겠습니까? 이 규칙은 무엇입니까?

Answer 1

주된 목적

에서

long long int sum1 = x + y; 

는 식 x + y을 평가하는 것입니다.
;은 해당 지점에 도달 할 때 표현식의 부작용이 수행되어야 함을 의미하는 시퀀스 지점입니다.
여기에 부작용 x + y

ISO/IEC 9899에 sum1 식의 값을 할당하는 것이다 201x-> 6.3.1.8-> 1 개 상태 :

달리 명시되지 않는 한 sstated 공통 실제 유형은 결과의 실제 유형 인 입니다.

그렇지 않으면 정수 승격이 두 피연산자에 대해 수행됩니다. 그런 다음 규칙이 승격 된 피연산자에 적용됩니다.
- 두 피연산자 모두 동일한 유형 인 경우 더 이상 변환 할 필요가 없습니다.
- 두 피연산자 모두 부호가있는 정수 유형이거나 부호가없는 경우 정수 유형 인 경우 더 낮은 정수 변환 순위 유형의 피연산자는 더 높은 순위를 갖는 피연산자 유형으로 변환 된 입니다. 당신이 원하는 무엇

먼저,

long long int sum1 = (long long int)x + y; // Casting x to LL causes y to be auto-converted