제가 처음에 제기했던 부동소수점 문제에 대하여, 박지훈님, 김태선님 등 많은 분들이 의견을 올려 주셨습니다.

제가 처음 프로그래밍을 배울때, 부동소수점 특성에 대하여 배웠지만,  C/C++을 주 언어로 사용하여 개발자로 살아온지 10년이 넘어가지만, 그런 부분에 대하여 잊어버리고 인식을 못한 채 개발을 하고 있었습니다. 필요한 자리수에서 반올림하여 사용하였으니, 이런 부분에 신경을 안 쓰게 되고, 큰 문제가 없었던 것입니다.

많은 개발자 들이 저와 비슷할 것으로 생각됩니다.( 나만 그럴수도 ^^ )
이번을 계기로  부동소수점에 대하여 공부를 다시 할 수 있게, 자세한 글을 올려 주신 분들께 감사드립니다.

덕분에, 부동소수점 Binary 저장 방식이 IEEE 754를 따른 다는 것도 알게 되었습니다.

IEEE 754 방식을 사용하여 부동소수점을 저장하거나 연산하게 되면, 오차가 발생하고, 정수형으로 변환하게되면
엉퉁한 값이 나올수 있다는 것인 핵심인 것 같습니다.

"그런데, 제가 제기한 처음 소스는 이런 IEEE 754방식에 따른 문제가 아닌 것 같아 다시 테스트를 해 보았습니다."

먼저, 박지훈님이 제가 올린 소스의 핵심은 2/1000.0이라고 하셨는데, 제가 올림 소스의 핵심은 2000/1000.0입니다.
다음 소스를 C++ Builder에서 실행해 보면

    printf("%40.39lf\n", double(2.0 / 1000.0) );
    printf("%40.39lf\n", double(2000.0 / 1000.0) );

C++ Builder 실행 결과 :

0.002000000000000000042000000000000000000
2.000000000000000000000000000000000000000

확실히, 2.0/1000.0은 부동소수점 문제가 있을지 몰라도, 2000.0/1000.0은 부동소수점 문제가 발생하면 안 되는 것입니다. 그렇게, C++ Builder도 처리를 했구요.

다음 소스가 확실하게 부동소수점 문제를 나타내는 것입니다. (수학적으로 결과가 230이 나와야 하죠)

    printf("%40.39lf\n", double(2.3 * 100) );

C++ Builder XE 실행 결과 :  229.9999999999999716000000000000000000000
VC++ 2010 실행 결과 : 229.999999999999970000000000000000000000000
GCC 실행 결과 : 229.999999999999971578290569595992565155029
PHP 실행 결과 : 229.999999999999971578290569595992565155029

( 누가, JAVA나 C# 도 테스트 해 주시면 감솨함돠^^ )

위의 결과로 볼때, GCC, PHP는 같은 결과이고, C++ Builder 와 VC++은 조금 다르지만, 부동소수점 문제를 대부분 가지고 있습니다. Java나 C#도 아마 비슷한 결과가 나올 것으로 보여집니다.

제가 처음에 김태선님의 글을 보고, 컴파일 타임에서는 보정(더 정밀)하고, 런타임에서는 보정없이 부동소수점 문제가 발생할 수 있다고 생각했습니다. 하지만, 위의 소스는 컴파일 타임에 계산되고, 보정이 없는 값으로 출력되는 것으로 보아서 이것도 잘 못 된 생각이었습니다. 그래서, 기존의 소스를 다음과 같은 수정하여 테스트를 해 보았습니다.

    double d1 = 1000.0;
    double d2 = 2000.0;
    double k = 1.0;

    int n1 = int( d2 / d1 );
    int n2 = int( d2 / double( 1000.0 ) );
    int n3 = int( d2 / double( 1000.0 * k ) );
    int n4 = int( d2 / ( double( 1000.0 ) * k ) );

    double dd = d2 / double( 1000.0 );
    int n5 = int(dd);

    printf("%d, %d, %d, %d, %d\n", n1, n2, n3, n4, n5 );

위의 n1 ~ n5의 값은 모두 실행 시간에 계산됩니다.  실행 결과를 보시죠.

C++ Builder XE 실행 결과 :  2, 1, 2, 2, 2  ( C++Builder 2010에서도 같은 결과)
VC++ 2010 실행 결과 : 2, 2, 2, 2, 2
GCC 실행 결과 : 2, 2, 2, 2, 2
PHP 실행 결과 : 2, 2, 2, 2, 2
아마 Java나,  C#도 "2,2,2,2,2"라는 결과가 나올 것으로 예상 됩니다.(누가 테스트 좀 해 주세요)

확실하게 2.3 * 100과는 다르게, 2000.0/1000.0 계산은 C++Builder를 제외하고, 부동소수점 문제를 발생시키지 않습니다. C++ Builder도 n2와 같이 처리할 때만 문제를 일으킵니다.

"C++ Builder의 처리 방식에 잘 못이 없는 것일까요? "

이미 이런 문제를 피해가는 방법은 김태선님이 알려주신대로, n5처럼 하면 됩니다. 하지만, 이런 문제에 대하여 정확히 알고 있는 상태에서 생각할 문제라고 보여 집니다.

Embacadero에서 이런 문제는 이미 알고 있고, 기존 소스와 호환성을 위해서 이런 문제를 보완하지 않는 것은 게으른 변명에 지나지 않습니다.  컴파일 옵션에 이 부분에 대한 옵션을 넣어서, 개발자가 기존 소스와 호환성을 택할 것인지, 아니면, 이런 문제가 없게끔 컴파일 할 것이지 선택하게 하면 됩니다.

실제로 개발하다 보면, 정수사용, 반올림 등 다른 방법으로 처리하기 때문에 문제될 것이 없다는 분도 있는데, 정확하게 문제를 알고 사용하는 것과, 잠제되어 있는 문제점을 모른 상태에서 사용하는 것은 다르다고 봅니다.

오해가 있을까봐 말씀드립니다. 제가 이런 글을 올리는 이유는 C++ Builder를 폄하하고자함이 아닙니다.

저는 C++ Builder를 현존하는 최고의 C++개발툴이라고 생각합니다. 그래서, 10년 이상 메인 개발툴로 사용하고 있고, 아마 앞으로도 그럴 것입니다.  내가 사용하고 있는 컴파일러(개발툴)에 대하여 특성을 더 잘 알고, 문제가 있다면, 더 개선되어 버전업되기를 바랄 뿐입니다.

문제점은 숨기는 것보다, 적극적으로 알려서, C++Builder 개발자들이 스트레스 없이 이런 문제를 피해 갈 수 있어야 한다고 생각합니다.

저는 Turbo-C 2.0부터 볼랜드(Codegear/Embarcadero) 계열 C++ 컴파일러를 사용했는데, Codegear때가 가장 절망적이었던 같고, Embarcadero에서 인수하면서, 참 많이 좋아 지고 있다고 봅니다. 2009 -> 2010 -> XE로 버전업되면서 많이 개선되고, 상당히 희망적으로 봅니다.

개인적으로 이런 문제도 Embarcadero에서 보완을 할 것으로 기대하고 있습니다. 이 글을 쓰는 취지는 보안되기 전에 또는 보완이 안 된 C++ Builder를 사용하는 있는 개발자들이 이런 문제점을 정확하게 알고 사용하길 바라는 마음에서 입니다.