CppCon 2016: Chandler Carruth “Garbage In, Garbage Out: Arguing about Undefined Behavior..."
CppCon · 57:39 · Watch on YouTube
C++의 정의되지 않은 동작은 하드 드라이브를 갉아먹는 악마가 아니라, 감지되지 않은 프로그래밍 오류의 증상 — 좁은 계약(narrow contract) 위반 — 이며, 그 계약이 검사 가능하고, 가치가 있으며, 설명 가능하고, 기존 코드와 호환되는지를 기준으로 판단해야 한다.