7장: 컴파일러와의 협업

컴파일러에 익숙해지면 컴파일러와 함께 정확성에 대한 책임을 공유함으로써 컴파일러를 팀원으로 받아들이고 컴파일러가 소프트웨어를 제대로 빌드하는데 도움이 되게 해야 된다

컴파일러에 대해 알아보기

컴파일러는 의심이 가면 물어보라 라는 일번적인 관용구를 따른다

런타임 동안 어떤 일이 일어날지 정확히 말할 수 없는 이유를 정지문제(halting problem)라고 한다

일반적으로 프로그램은 근본적으로 예측이 불가능하다

컴파일러는 프로그램이 안전하다고 보장할 수 없는 경우 허용하지 않습니다 이를 보수적 분성(conservative analysis)이라고 한다

switch문의 경우 모든 case문이 컴파일러에 의해 도달 가능한지 검사한다 이를 완전 검사(exhaustive check)라고 한다

확정 할당 분석(definite assignment analysis)은 변수가 초기화되지 않은 상태로 사용되는지 검사한다

민감한 메서드가 있을 경우 접근 제어자를 사용하여 외부에서 접근하지 못하게 할 수 있다

너무 적게 확인하는 것보다 너무 많이 확인하는 것이 낫다

0으로 나누기 또는 나머지 연산 이를 산술적 오류(arithmetic error)라고 한다

범위네 있지 않은 인덱스에 접근하려고 하면 아웃-오브-바운드 오류(out-of-bounds error)가 발생한다

컴파일러는 해당 값을 찾아 내지 못한다

멀티스레딩에서 비롯됨 변경 가능한 데이터를 공유하는 여러 스레드가 있으면 문제의 홍수가 발생함

소프트웨어 개발과 건축을 비유하긴 하는데 우리 분야에서 가장 해로운 비유 프로그래밍은 건축이 아닌 여러 단계의 커뮤니케이션

데이터 구조는 시간이 정지된 알고리즘이다

컴파일러에게 해준 만큼 돌려받을수 있다

이길수 없으면 같은 편으로 만들어라

정보 피로(alarm fatigue)는 경고를 무시하게 만든다

만일 당신이 이 방에서 가장 똑똑한 사람이라면 당신은 잘못된 방에 있는 것이다