d == 0 일 때 'd / = d'가 0으로 나누기 예외를 던지지 않는 이유는 무엇입니까?

제로 예외로 나눗셈을 얻지 못하는 이유를 잘 모르겠습니다.

int d = 0;
d /= d;

제로 예외로 나누기를 기대했지만 대신 d == 1.

왜 d /= d0으로 나누기 예외가 발생하지 d == 0않습니까?

C ++에는 "0으로 나누기"예외가 없습니다. 관찰중인 동작은 컴파일러 최적화의 결과입니다.

1. 컴파일러는 정의되지 않은 동작이 발생하지 않는다고 가정합니다.
2. C ++에서 0으로 나누기는 정의되지 않은 동작입니다.
3. 따라서 0으로 나누기를 유발할 수 있는 코드 는 그렇게하지 않는 것으로 추정됩니다.
   • 그리고 Division by Zero를 유발 해야하는 코드 는 발생하지 않는 것으로 추정됩니다.
4. 따라서 컴파일러는 Undefined Behavior가 발생하지 않기 때문에이 코드 ( d == 0) 에서 Undefined Behavior에 대한 조건이 발생하지 않아야한다고 추론합니다.
5. 따라서 d / d항상 1이어야합니다.

하나...

컴파일러가 코드를 약간만 변경하여 "실제"나누기를 0으로 트리거하도록 할 수 있습니다.

volatile int d = 0;
d /= d; //What happens?

이제 질문이 남아 있습니다. 기본적으로 컴파일러가이를 허용하도록 강제 했으므로 어떻게됩니까? 정의되지 않은 동작이지만 이제 컴파일러가이 정의되지 않은 동작을 최적화하는 것을 방지했습니다.

대부분 대상 환경에 따라 다릅니다. 이 소프트웨어 예외를 트리거하지 않습니다,하지만 수 하드웨어 예외를 트리거 (타겟 CPU에 따라 다름) (정수-으로 나누기) 소프트웨어 예외가 잡힐 수있는 전통 방식으로 잡은 할 수 없습니다. 이것은 x86 CPU와 대부분의 다른 (전부는 아닙니다!) 아키텍처의 경우에 해당합니다.

그러나 프로그램 충돌을 허용하는 대신 하드웨어 예외 (발생한 경우)를 처리하는 방법이 있습니다. 적용 가능한 일부 방법에 대해서는이 게시물을 참조하십시오. 예외 잡기 : 0으로 나누기 . 컴파일러마다 다릅니다.

다른 답변을 보완하기 위해 0으로 나누는 것이 정의되지 않은 동작이라는 사실 은 컴파일러가 어떤 일이 발생할 경우 자유롭게 할 수 있음을 의미합니다 .

• 컴파일러는이를 가정하고 0 / 0 == 1그에 따라 최적화 할 수 있습니다 . 그것이 실제로 여기에서 한 것처럼 보입니다.
• 컴파일러는 원하는 경우이를 가정하고 해당 값으로 0 / 0 == 42설정할 수도 d있습니다.
• 컴파일러는 또한의 값 d이 불확정 하다고 결정할 수 있으므로 변수를 초기화되지 않은 상태로 두어 해당 값은 이전에 할당 된 메모리에 기록 된 값이됩니다. 주석의 다른 컴파일러에서 관찰 된 예상치 못한 값 중 일부는 이러한 컴파일러가 이와 같은 작업을 수행하기 때문에 발생할 수 있습니다.
• 컴파일러는 0으로 나누기가 발생할 때마다 프로그램을 중단하거나 예외를 발생시킬 수도 있습니다. 이 프로그램의 경우 컴파일러는 이것이 항상 발생할 것이라고 판단 할 수 있기 때문에 코드를 생성하여 예외를 발생시키고 (또는 실행을 완전히 중단하고) 나머지 함수를 도달 할 수없는 코드로 처리 할 수 ​​있습니다.
• 0으로 나누기가 발생할 때 예외를 발생시키는 대신 컴파일러는 프로그램을 중지하고 대신 솔리테어 게임을 시작할 수도 있습니다. 그것은 또한 "정의되지 않은 행동"의 우산에 속합니다.
• 원칙적으로 컴파일러는 0으로 나누기가 발생할 때마다 컴퓨터를 폭발시키는 코드를 발행 할 수도 있습니다. C ++ 표준에는이를 금지하는 것이 없습니다. (미사일 비행 컨트롤러와 같은 특정 종류의 응용 프로그램의 경우 바람직한 안전 기능으로 간주 될 수도 있습니다!)
• 또한 표준 은 정의되지 않은 동작을 "시간 여행"에 명시 적으로 허용 하므로 컴파일러는 0으로 나누기가 발생 하기 전에 위의 모든 작업 (또는 다른 작업)을 수행 할 수도 있습니다 . 기본적으로 표준은 컴파일러가 프로그램의 관찰 가능한 동작이 변경되지 않는 한 자유롭게 작업 순서를 변경할 수 있도록합니다. 그러나 프로그램을 실행하면 정의되지 않은 동작이 발생하면 마지막 요구 사항도 명시 적으로 포기됩니다. 따라서 실제로 어떤 시점에서 정의되지 않은 동작을 트리거하는 모든 프로그램 실행 의 전체 동작은 정의되지 않습니다!
• 위의 결과로 컴파일러는 정의되지 않은 동작이 발생하지 않는다고 가정 할 수도 있습니다 . 일부 입력에 대해 정의되지 않은 방식으로 동작하는 프로그램에 대해 허용되는 동작 중 하나 는 입력이 무언가 있었던 것처럼 동작 하는 것입니다. 다른 . 즉,의 원래 값이 d컴파일 타임에 알려지지 않았더라도 컴파일러는 여전히 값이 0 이 아니라고 가정하고 그에 따라 코드를 최적화 할 수 있습니다. OP 코드의 특정 경우에, 이것은 단지를 가정 할 때 컴파일러와 효과적으로 구별 할 수 0 / 0 == 1없지만, 예를 들어 컴파일러는 puts()in if (d == 0) puts("About to divide by zero!"); d /= d;이 실행되지 않는다고 가정 할 수도 있습니다 !

정수를 0으로 나누는 동작은 C ++ 표준에서 정의되지 않습니다. 예외를 발생시킬 필요 는 없습니다 .

(부동 소수점을 0으로 나누는 것도 정의되지 않지만 IEEE754가 정의합니다.)

당신의 컴파일러는 최적화 d /= d하고 있습니다. d = 1이것은 합리적인 선택입니다. 코드에 정의되지 않은 동작이 없다고 가정 할 수 있기 때문에이 최적화를 수행 d할 수 있습니다. 이는 0 일 수 없습니다.

부스트 세이프 숫자를 사용하여이 경우 (및 기타 경우)에서 코드에서 C ++ 예외를 생성하도록 할 수 있습니다. https://github.com/boostorg/safe_numerics