9주차 - 4.25 단정적 프로그래밍

[DaehunGwak]

진도

• 4.25 단정적 프로그래밍

일시

• 2023.01.29.(일) 21:00

[donghoon-song]

단정문으로 불가능한 상황을 예방하라.

우리의 첫 번째 방어선은 가능한 오류를 모두 검사하는 것이고, 그러고도 놓친 것을 잡아내기 위해 단정을 사용한다.

자바스크립트에서 단정문을 얼마나 작성해야 할까,,

[Edwin222]

• 이것은 앞서서 하지 말라고 했던 "그런 일은 일어날리 없어"를 하고 싶은 사람들을 위한 대목이다

• 단정문이 상태를 바꿀 수 있으면 안된다.

• 단정문과 성능에 관련된 얘기.. 저자의 말에 동의한다. 오히려 단정문은 라이브 서비스에서 더욱 절실하게 필요한 기능 아닌가 싶음

  • 애초에 조건문 체크 하나 성능 깎는거 보다 다른 곳을 프로파일링해서 깎는게 더 효율적일때가 많고, 그 정도로 최적화가 충분한 경우가 대부분임.

연습 문제

1. 한달이 28일보다 적을 수 있나? -> 역법 체계가 갑자기 바뀌면 뭐 그럴 수 있지
2. 시스템 콜 오류: 현재 디렉토리에 접근 불가 -> 당연히 있을 수 있음
3. a=2, b=3인데 a+b != 5 -> a+b 도달 전에 a/b의 값이 바뀌었을 가능성이 있다면 그럴 수 있음. 아님 뭐 멀티스레딩 환경이라서 다른 곳에서 a,b를 건드리고 있다거나..
4. 내각의 합이 180도가 아닌 삼각형 -> 3차원 구 위에서 정삼각형을 그리면 내각의 합이 270도인 삼각형이 나온다
5. 1분이 60초가 아님 -> 이건 뭐... 정말 있을 수 없지 않을까요??
6. (a+1) <= a -> 이것도 있을 수 없을 것 같은데??

[DaehunGwak]

• 그런 일은 절대 일어날 리 없어 병 그만
  • 그런 일이 일어날 리 없다면 그런 일에 대한 확인 코드 추가
• tip 39. 단정문(assert)으로 불가능한 상황을 예방하라
• 진짜 정상 플로우로 흘러갈 수 있다면 해당 예외 처리는 단정(assert) X