C 언어의 미정의 동작 줄이기

C 언어는 의도적으로 미정의 동작(undefined behavior)을 많이 남겨뒀다. 컴파일러에게 최적화 여지를 주기 위함인데, 이는 같은 코드도 상황에 따라 다르게 작동하거나 예측 불가능한 결과를 낼 수 있다는 뜻이다. 최근 논의는 C23 표준 이후 이런 미정의 동작을 명확하게 정의하거나 줄이는 방안을 다룬다.

C를 쓰는 개발자나 시스템 소프트웨어 팀에게 중요한 이유는 버그 추적이 어렵고 보안 취약점으로 이어질 수 있기 때문이다. 미정의 동작을 명확히 하면 코드의 신뢰성이 올라가고, 컴파일러 간 호환성도 나아진다.