C++26, 단순 무한 루프의 정의 및 안정성 확보
C++26: Trivial infinite loops are no longer undefined behaviour
Hacker NewsC++26 표준을 통해 기존에 미정의 동작(UB)으로 취급되던 단순 무한 루프(`while(true);` 등)가 공식적으로 정의되어 안정성이 크게 향상되었습니다.
- 이 수정은 본문이 비어 있고 조건식이 상수로 참인 '단순 무한 루프'에만 적용되며, 컴파일러는 이를 `std::this_thread::yield()` 호출로 대체합니다.
- 임베디드나 커널 코드에서 오류 발생 시 루프가 코드를 건너뛰어 오작동하는 치명적인 보안 취약점을 근본적으로 방지할 수 있습니다.
- 이 변경은 매우 제한적인 '단순 무한 루프'에만 적용되므로, 모든 종류의 무한 루프가 해결되는 것은 아니며 시스템별 구현 차이가 있을 수 있습니다.
C++26 이전에는 `while(true);`와 같은 단순 무한 루프가 미정의 동작(undefined behaviour)으로 간주되어 문제가 되었습니다. 컴파일러는 이러한 루프를 최적화 과정에서 제거할 수 있었고, 이로 인해 프로그램 실행 흐름이 의도치 않게 다음 코드로 넘어가 오작동하는 치명적인 취약점이 발생했습니다. 특히 임베디드 시스템이나 커널 코드처럼 오류 발생 시 장치를 정지시켜야 하는 환경에서는 심각한 보안 문제가 될 수 있었습니다.
C++26은 P2809R3을 통해 단순 무한 루프를 명확하게 정의하여 안정성을 높였습니다. 이 수정은 모든 종류의 무한 루프가 아닌, 특정 조건을 만족하는 '단순 무한 루프'에만 적용됩니다. 해당 루프는 본문이 비어 있는(`;` 또는 `{}`) 동시에 제어식이 상수로 `true`로 평가되어야 한다는 두 가지 조건을 충족해야 합니다.
이러한 조건이 모두 충족될 경우, 컴파일러는 루프 본문을 `std::this_thread::yield()` 호출로 대체합니다. 이 변경은 해당 루프 실행에 포워드-프로그레스 의미론을 부여하여, 최적화 과정에서 무효한 동작으로 간주되어 제거되는 것을 방지하고, 개발자가 의도한 대로 장치를 정지시키는 역할을 수행하게 합니다.