부작용 없는 무한루프는 UB잔아...

프로그램 카운터는 달린다

와 ㅋㅋㅋ 이런거 처음봐서 개신기하네
이런건 뭐라고 부름? 함 검색해서 한국어 자료로 찾아보고 싶음

머야이거왜돌아가

궁금한 사람들은 unreachable, if/while undefined behavior, 컴파일러 최적화를 찾아볼 것(너무 깊게는 말고)
참고로 같은 컴파일러라도 버전/옵션 별로 결과가 달라질 수 있음!

UB는 정상구현이 아니고 컴파일러마다 동일 동작을 보장하지도 않음… hack 의 영역에 가까운 부분

설명 : 원래 프로그래밍 언어는 그 자체로 컴퓨터의 행동(behavier)를 나타내는 게 아니라 프로그래머의 설명을 듣고 컴파일러가 컴퓨터의 행동으로 번역해서 작동하는데, 다른 언어랑 달리 C나 C++에서는 지시와 행동이 항상 일치하는 게 아니라 관측자 입장에서의 결과가 같으면 상호 변환이 가능한 as-if룰을 차용함. 그것을 사용해서 굉장히 복잡한 함수가 한줄짜리 함수와 논리적으로 항상 같은 결과를 낸다면, 한 줄짜리 함수로 최적화를 해줌. 근데, 부작용 없는 while문처럼 관측 가능한 결과가 없다거나, 참조가 안된다거나, 관측해야 할 행동 자체가 정의되지 않는 사고가 나면, 행동을 평가하는 부분이 오작해서 컴파일러가 아무말이나 하기 시작하는 거.

왜 안 막아놨는지는 '정지 문제'를 검색해보면 됨. 컴파일 타임에서 하는 정적 분석의 UB검출(이 명령이 완료될 수 있는지 무한루프할지 판단하는 것)은 일반해가 없음을 튜링이 증명함. 

물론 일반적인 '패턴'을 보고 경고 해 줄 수는 있으니 아주 안 잡지는 않아

사실 원리는 다르지만 이런 건 자바스크립트가 진국이지.