C ++ 경고 : double을 0으로 나누기

사례 1 :

#include <iostream>

int main()
{
    double d = 15.50;
    std::cout<<(d/0.0)<<std::endl;
}

경고없이 컴파일되고 인쇄 inf됩니다. 좋아요, C ++는 0으로 나누기를 처리 할 수 ​​있습니다 ( 라이브 참조 ).

그러나,

사례 2 :

#include <iostream>

int main()
{
    double d = 15.50;
    std::cout<<(d/0)<<std::endl;
}

컴파일러는 다음 경고를 표시합니다 (라이브 참조 ).

warning: division by zero [-Wdiv-by-zero]
     std::cout<<(d/0)<<std::endl;

두 번째 경우 컴파일러가 경고를 표시하는 이유는 무엇입니까?

인가 0 != 0.0?

편집하다:

#include <iostream>

int main()
{
    if(0 == 0.0)
        std::cout<<"Same"<<std::endl;
    else
        std::cout<<"Not same"<<std::endl;
}

산출:

Same

0으로의 부동 소수점 나누기는 IEEE에 의해 잘 정의되고 무한대를 제공합니다 (분자 값에 따라 양수 또는 음수 ^{(또는 NaN± 0)} ).

정수의 경우 무한대를 나타낼 수있는 방법이 없으며 언어는 정의 되지 않은 동작을 가지 도록 연산을 정의 하므로 컴파일러가 해당 경로에서 벗어나도록 도와줍니다.

그러나이 경우 분자가이므로 double제수 ( 0)도 double로 승격되어야하며 경고를 제공하지 않는 동안 경고를 줄 이유가 없으므로 이것이 0.0컴파일러 버그라고 생각합니다.

표준 C ++에서 두 경우 모두 정의되지 않은 동작 입니다. 하드 드라이브 포맷을 포함하여 모든 일이 발생할 수 있습니다. "return inf. Ok"또는 다른 행동을 기대하거나 의존해서는 안됩니다.

컴파일러는 분명히 한 경우에는 경고를 제공하고 다른 경우에는 경고를 제공하지 않기로 결정했지만 이것이 하나의 코드는 정상이고 다른 하나는 그렇지 않다는 의미는 아닙니다. 컴파일러의 경고 생성의 특징 일뿐입니다.

C ++ 17 표준 [expr.mul] / 4에서 :

이항 /연산자는 몫을 산출하고 이항 %연산자는 첫 번째 표현식을 두 번째로 나눈 나머지를 산출합니다. 또는 의 두 번째 피연산자 가 0이면 동작이 정의되지 않습니다./%

답변을 내 추측 이 특정 문제는 경고가 컴파일러가 방출 될 전에 의 변환을 수행 int하는 double.

따라서 단계는 다음과 같습니다.

1. 식 구문 분석
2. 산술 연산자 /(T, T2) , 여기서 T=double, T2=int.
3. 그 확인 std::is_integral<T2>::value입니다 true및 b == 0이 트리거 경고 -을.
4. 경고 방출
5. 의 암시 적 변환 수행 T2에를double
6. 잘 정의 된 분할을 수행합니다 (컴파일러가 IEEE 754를 사용하기로 결정했기 때문에).

이것은 물론 추측이며 컴파일러 정의 사양을 기반으로합니다. 표준 관점에서 우리는 가능한 정의되지 않은 동작을 다루고 있습니다.

이는 GCC 문서 에 따라 예상되는 동작입니다
(btw.이 플래그는 GCC 8.1에서 명시 적으로 사용할 수없는 것 같습니다).

-Wdiv-by-zero
컴파일시 정수를 0으로 나누는 것에 대해 경고합니다. 이것이 기본값입니다. 경고 메시지를 금지하려면 -Wno-div-by-zero를 사용하십시오. 부동 소수점을 0으로 나누는 것은 무한 성과 NaN을 얻는 합법적 인 방법 일 수 있으므로 경고하지 않습니다.

나는이 답변에서 UB / UB debacle에 들어 가지 않을 것입니다.

난 그냥 그 시점 싶어 0하고 0.0 다른 에도 불구하고 0 == 0.0true로 평가. 0는 int문자와 0.0A는 double문자.

그러나이 경우 최종 결과는 동일합니다. d/0이는 ddouble이므로 0암시 적으로 double로 변환 되기 때문에 부동 소수점 나누기 입니다.

나는 그것을 주장 foo/0하고 foo/0.0있다 되지 같은. 즉, 첫 번째 (정수 나눗셈 또는 부동 소수점 나눗셈)의 결과 효과는의 유형에 크게 의존하는 foo반면 두 번째 경우에는 동일하지 않습니다 (항상 부동 소수점 나눗셈이됩니다).

둘 중 하나가 UB인지 여부는 관련이 없습니다. 표준 인용 :

허용되지 않는 정의되지 않은 동작은 예측할 수없는 결과로 상황을 완전히 무시하는 것, 번역 또는 프로그램 실행 중에 환경 특성 (진단 메시지 발행 여부에 관계없이)의 문서화 된 방식으로 동작 하는 것, 번역 또는 실행 종료 ( 발행과 함께)에 이르기까지 다양 합니다. 진단 메시지).

(강조 광산)

" 진실 값으로 사용되는 할당 주위에 괄호 제안 "경고를 고려하십시오 . 컴파일러에게 할당 결과 를 실제로 사용하고 싶다고 알리는 방법 은 명시적이고 할당 주위에 괄호를 추가하는 것입니다. 결과 명령문은 동일한 효과를 가지지 만 수행중인 작업을 컴파일러에 알립니다. 같은 대해 말할 수있다 foo/0.0: 당신이 명시 적으로 사용하여 "이 점 사업부를 떠"컴파일러를 이야기하고 있기 때문에 0.0대신에 0당신을, 컴파일러 신탁 경고를 발행하지 않습니다.

gcc의 버그 등이 외모에 대한 문서 -Wno-div-by-zero 분명히 말한다 :

컴파일시 정수를 0으로 나누는 것에 대해 경고하지 마십시오. 부동 소수점을 0으로 나누는 것은 무한 성과 NaN을 얻는 합법적 인 방법 일 수 있으므로 경고하지 않습니다 .

그리고 [expr.arith.conv] 에서 다루는 일반적인 산술 변환 후에 두 피연산자는 double이됩니다 .

산술 또는 열거 유형의 피연산자를 예상하는 많은 이항 연산자는 유사한 방식으로 변환을 일으키고 결과 유형을 산출합니다. 목적은 결과의 유형이기도 한 공통 유형을 생성하는 것입니다. 이 패턴을 일반적인 산술 변환이라고하며 다음과 같이 정의됩니다.

...

— 그렇지 않으면 피연산자가 double이면 다른 피연산자가 double로 변환됩니다.

및 [expr.mul] :

* 및 /의 피연산자는 산술 또는 범위가 지정되지 않은 열거 유형을 가져야합니다. %의 피연산자는 정수 또는 범위가 지정되지 않은 열거 유형을 가져야합니다. 일반적인 산술 변환은 피연산자에서 수행되며 결과 유형을 결정합니다.

부동 소수점을 0으로 나누는 것이 정의되지 않은 동작인지 여부와 다른 구현 방식이 여기에 내 대답 처럼 보입니다 . TL; DR; gcc 는 부동 소수점을 0으로 나누기 위해 Annex F wrt를 따르는 것처럼 보이 므로 undefined는 여기서 역할을 수행하지 않습니다. clang에 대한 대답은 다를 것입니다.

부동 소수점을 0으로 나누는 것은 정수를 0으로 나누는 것과 다르게 동작합니다.

IEEE 부동 소수점 + INF와 -INF 사이의 표준 차별화는, 정수는 무한대를 저장할 수있다. 0으로 정수 나누기 결과는 정의되지 않은 동작입니다. 부동 소수점을 0으로 나누는 것은 부동 소수점 표준에 의해 정의되며 + inf 또는 -inf가됩니다.