코딩을 하다보면 필연적으로, 버그가 생길 수밖에 없다
그 중 대표적인 게 계산 오류다
결코 음수가 되어서는 안 되는 값, 예를 들어 나이를 변수로 나타낸다고 하자
그리고 나이가 10살인 사람이 30년 전에는 몇 살이었는지 알아내는 코드를 작성하였다
프로그램 수행 결과는? -20살. 이것은 명백하게 틀린 결과다. 버그지
따라서 이번에는 이 문제를 해결하기 위해 나이 변수를 unsigned로 바꿔 보자
수행 결과는? 4294967276살... 근데 이건 명백하게 틀린 결과가 아니다. 사람 눈에는 분명 이상해 보이지만, 그건 우리에게 상식과 교양이 있기 때문이고, 컴퓨터는 그런 게 없기 때문이다
컴퓨터 같은 멍텅구리도 이해할 만한 기준인, if (age < 0) puts("뭔가가 잘못됐다"); 를 사용할 수 없다는 거다
몇몇 언어는 unsigned 변수에서 오버플로가 발생할 경우 자동으로 오류를 띄우는 경우가 있다. 이런 언어에서는 unsigned를 써도 된다. 문제가 실제로 발견되기 때문이다
그러나 C나 C++처럼 그런 메커니즘이 없는 언어에서 unsigned나 size_t를 쓰면 오히려 문제가 빨리 발견되는 걸 막고 한참 후에야 이마를 치게 만든다
과거에 만들어진 레거시 시스템과 상호작용하려는 목적을 제외하면, C와 C++로 신규 개발되는 시스템은 가급적 unsigned를 배제해야 한다
해당 댓글은 삭제되었습니다.
signed 오버플로가 미정의 동작인 건 맞다. 그러나 그렇다고 unsigned 오버플로가 정답인 건 아니다. 둘 다 똑같이 틀린 값을 내놓지만 미정의 동작의 해악이 조금 더 클 뿐이다. 애초에 정의된 오버플로를 이해하고 활용할 정도라면 signed와 unsigned를 어디에 써야 할지 정도는 문제없이 분별해 낼 것이므로 내 글의 대상이 아니다
해당 댓글은 삭제되었습니다.
그것보다 음수가 훨씬 쉽다. 본문 예시는 나이라서 자릿수가 기껏해야 두세 자리지만 10자리 넘어가는 응용도 있는데 여기서 그럴듯한 수의 범위를 도출해 내는 것보다는 음수인지 확인하는 게 압도적으로 버그 낼 확률이 덜하다
네가 말하는 옵션은 -ftrapv 일 것이다. 나는 기본값이 아닌 옵션은 프로그래밍 언어의 일부가 아니라고 생각하기 때문에 거기에 의존하는 코딩은 지양해야 한다고 믿는다
..? 내가 이해하기로는 둘 다 signed 오버플로에 관여하는 걸로 아는데, 정말인가?