float == 및! =가 직접 대립하지 않는 경우

Question

https://github.com/numpy/numpy/issues/6428에서 버그의 근본 원인은 simd.inc.src:543 일 때 컴파일러에서 !(tmp == 0.)을 tmp != 0.으로 최적화합니다.

A comment은 "이들은별로 똑같지 않습니다"라고 말합니다. 그러나 세부 사항을 명시하지는 않습니다. NaN은 계속 언급되지만 테스트에서는 NaN이 0.과 비교되는 것으로 나타났습니다.

==과 !=이 모두 true/false를 반환 할 수있는 경우는 어떻게됩니까?

또는 다른 필드에 차이가 있습니다. 예. 동일한 진리 값을 가지지 만 int와는 다른 값을 반환합니다 (그러나이 경우에도 테스트 결과가 표시되지 않습니다) ?

Answer 1

의견은 "이것은 완전히 똑같지 않다"고 말합니다. 그러나 세부 사항을 명시하지는 않습니다. NaN은 더 자세히 언급되어 있지만 테스트 결과 NaN이 0과 비교되는 것으로 나타났습니다.

== 및! = 모두 true/false를 반환 할 수있는 경우는 무엇입니까?

이 표준은 말한다 :

== (같음) 및 !=이 (같지 않음에) 운영자는 자신의 낮은 우선 순위를 제외하고는 관계 연산자 유사합니다. [...] 모든 피연산자 쌍에 대해 정확히 하나의 관계가 참입니다.

, 공동이 연산자의 피연산자로 허용되는 어떤 식 X 및 Y에 대해,

따라서 (C2011, 6.5.9/3 중점 첨가), (X) != (Y)는 같은 결과로 평가되어야 !((X) == (Y)). 실제로 그렇게하지 않는 것이 발견되면 그 결과를 산출 한 컴파일러는 그 점에서 적합하지 않습니다. 해당 부적합이 예상치 못한 경우 컴파일러에서 버그가됩니다.

또한 6.5.9/3은 다른 피연산자와 마찬가지로 NaN, 무한대 및 하위 정규어에도 적용됩니다. NaN은 다른 이유로 이러한 연산자와 관련하여 특별합니다. NaN은 자신을 포함하여 모든 피연산자와 부동 소수점을 비교합니다 (IEEE 의미를 가정 할 때). 링크 된 게시물에서

Answer 2

:

charris 10 월 9 일에 댓글을 달았 2015

나는 !(tmp == 0.)를 추측거야 꽤 같은 일을하지 않은, tmp != 0.에 최적화되어 있습니다.영업 이익으로

코멘트 :

저자는 그것이 추측하지만 그들은 !(tmp==0.) 및 tmp!=0.가 동등하지 않은 것을 매우 긍정적이며, 그것은 상식 인 것처럼 그 표현 말한다

방법 우리는이 두 가지를 조화시켜야합니까?

분명히 그들은 논리적으로입니다. 그러나 구현 방식에서는 그렇지 않을 수도 있습니다. 컴파일러는 a == b 테스트와 마찬가지로 부정 결과가 뒤 따르는 !(a == b)을 구현할 수 있습니다. 또는 식을 최적화하여 직접 a != b을 테스트 할 수도 있습니다. 결과로 나오는 어셈블리 코드는 두 경우에서 다를 수 있습니다. 동일한 결과가 달성되어야하지만, 실행 시간은 다를 수 있습니다.

과 a != b이 실제로는 문자 조합이 다르다는 것과 컴파일러가 기술적으로 다른 것을 할 수 있다는 것과 동일한 결과를 가져와야한다는 것을 인정하는 것입니다. 다른 결과가 나타나는 경우 컴파일러에 버그가있을 수 있습니다.