C++ 함수 결과 비교

Question

다음과 같은 코드가 있는데 아주 이상한 행동을합니다. 누구나 왜 그런지 알 수 있나요?

#include <iostream> 

long global = 20001; 

double foo() {return global/1000.0;} 

int main(int,char**) { 
    if (foo() == foo()) { 
    std::cout << "true\n"; 
    } else { 
    std::cout << "false\n"; 
    } 

    return 0; 
} 

매번 동일한 결과를 반환하지만 대신 false를 인쇄하므로이 값이 true로 인쇄됩니다.

이

내가 OS의 문제는,하지만 가능성이 다른 OS

Answer 1

OS는 아마 문제가되지 않지만, 컴파일러와 아키텍처는 않습니다. 인텔에서는 일반적으로 을 부동 소수점 레지스터에 반환하는 것이 일반적이며, 부동 소수점 레지스터에는 의 64 비트 정밀도 (double 값이 아닌 53)가있는 부동 소수점 값이 반환됩니다. 물론, 컴파일러는 해당 레지스터에 직접 산술 연산을 수행하므로 결과적으로 64 비트 정밀도의 값이 반환됩니다.

물론 컴파일러가 함수를 호출하는 코드를 생성 할 때 함수는 해당 레지스터를 사용할 수 있기 때문에 은 값을 레지스터에 남겨 둘 수 없습니다. 그래서 그것은 그것을 기억에 넘칩니다. double로 56 비트. == 연산자는 첫 번째 호출의이 56 비트 값을 두 번째 호출의 64 비트 값과 비교하고 이 같지 않음을 확인합니다.

컴파일러가 함수를 인라인하면 문제가 사라질 수 있다고 덧붙일 수 있습니다.

표준에 따라 모두 합법적입니다.

Answer 2

복식은 평가하지 문제에 그것을 시도 할 기회가 없었어요 모르겠어요 솔라리스 10에 ++ g을 사용하여 구축 항상 정확히 동일한 값으로 설정됩니다 (본질적으로 반올림 오류).

정수를 반환하기 위해 함수를 변경하려면 예상되는 동작을 수행했을 수 있습니다. 이 질문에 매우 유사

: Deals with comparing floats

이 시도 :

#include <iostream> 
#include <limits> 

long global = 20001; 
double epsilon = std::numeric_limits::epsilon<double>(); 

double foo() {return global/1000.0;} 

int main(int,char**) { 
    if (foo() - foo() > epsilon) { 
    std::cout << "true\n"; 
    } else { 
    std::cout << "false\n"; 
    } 

    return 0; 
}