C++의 부동소수점→정수 변환이 정의되지 않은 동작을 일으키는 경우

원문 발행 2026. 07. 31. 09:01원문 언어 한국어GeekNews 원문 보기

요약

C++에서 부동소수점을 정수로 변환할 때 값이 정수 범위를 벗어나면 정의되지 않은 동작(UB)이 발생합니다. 이는 컴파일러 경고로 탐지하기 어렵고 하드웨어 아키텍처마다 결과가 다를 수 있어 주의가 필요합니다.

float

의 소수부를 버린 값이 대상 정수형 범위를 벗어나면 정의되지 않은 동작(UB) 이 발생하며, 암시적 변환·함수형 캐스트·static_cast

모두 영향받음
-Wall

과 -Wextra

는 이를 경고하지 않고, -Wconversion

도 암시적 변환만 탐지해 놓치기 쉬움

도 일부 부동소수점→정수 입력에서 UB를 일으켜, 표현할 수 없는 값에 예외를 던진다는 문서의 동작을 지키지 못함

는 표현 불가능한 값을 INT_MIN

으로 처리하지만, AArch64의 FCVTZS

는 포화 변환하고 NaN을 0으로 바꾸므로 하드웨어별 결과가 달라질 수 있음

안전하게 변환하려면
캐스트 전에 범위를 검사해야 하며, Clang·GCC의 UBSan 옵션 -fsanitize=float-cast-overflow

로 문제를 탐지할 수 있음

, int(f)

, static_cast<int>(f)

모두 일부 입력에서 UB를 일으킴

과 -Wextra

는 세 변환 모두 경고하지 않음
-Wconversion

은 암시적 변환만 경고함

는 표현할 수 없는 입력을 INT_MIN

으로 매핑함

는 포화 처리하고 NaN을 0으로 매핑함

는 대상 형식으로 표현할 수 없는 값에 예외를 던지는 안전한 축소 변환을 표방함

실제 부동소수점→정수 변환은 일부 입력에서 먼저
UB를 실행하므로 문서와 일치하지 않음
GSL 측은 대상 플랫폼에서 하드웨어 트랩 표현을 건드리지 않아 내부 UB가 무해하다고 판단했으며, 이 논리가 코드에 반영된 채 문제는 수정되지 않음
올바른 해결책은
캐스트 전에 범위를 검사하는 것임
Clang과 GCC의 Undefined Behavior Sanitizer에서
-fsanitize=float-cast-overflow

를 사용하면 해당 UB를 탐지할 수 있음

AI 자동 생성 콘텐츠