오류 처리는 중요하다. 하지만 오류 처리 코드로 인해 프로그램 논리를 이해하기 어려워진다면 깨끗한 코드라 부르기 어렵다.
오류 코드보다 예외를 사용하라
오류가 발생하면 예외를 던지는 것이 좋다. 그러면 호출자 코드가 더 깔끔해진다. 논리가 오류 처리 코드와 뒤섞이지 않기 때문에 코드 품질도 향상된다.
Try-Catch-Finally 문부터 작성하라
try-catch-finally 문에서 try 블록에 들어가는 코드를 실행하면 어느 시점에서든 실행이 중단된 후 catch 블록으로 넘어갈 수 있다.
try 블록은 트랜잭션과 비슷하다. try 블록에서 무슨 일이 생기든 catch 블록은 프로그램 상태를 일관성 있게 유지해야 한다. 그러므로 예외가 발생한 코드를 짤 때는 try-catch-finally 문으로 시작하는 편이 낫다. 그러면 try 블록에서 무슨 일이 생기든지 호출자가 기대하는 상태를 정의하기 쉬워진다.
단위 테스트를 작성할 때는 먼저 강제로 예외를 일으키는 테스트 케이스를 작성한 후 테스트를 통과하게 코드를 작성하는 방법을 권장한다. 그러면 자연스럽게 try 블록의 트랜잭션 범위부터 구현하게 되므로 범위 내에서 트랜잭션 본질을 유지하기 쉬워진다.
미확인 예외를 사용하라
지금은 확인된 예외가 반드시 필요하지는 않다. 우리는 확인된 오류가 치르는 비용에 상응하는 이익을 제공하는지 따져봐야 한다.
확인된 예외는 OCP(Open Closed Principle)를 위반한다. 대규모 시스템에서 최하위 함수에 새로운 오류를 던지려면 최하위 단계에서 최상위 단계까지 연쇄적인 수정을 거쳐야 한다. throws 경로에 위치하는 모든 함수가 최하위 함수에서 던지는 예외를 알아야 하므로 캡슐화가 깨진다.
아주 중요한 라이브러리를 작성할 때는 모든 예외를 잡아야 하므로 확인된 예외가 유용하다. 하지만 일반적인 애플리케이션은 의존성이라는 비용이 이익보다 크다.
예외에 의미를 제공하라
예외를 던질 때 전후 사정을 덧붙이면 오류 발생 원인과 위치를 찾기가 쉬워진다. 오류 메시지에 정보를 담아 예외에 함께 던진다.
호출자를 고려해 예외 클래스를 정의하라
오류를 분류하는 방법은 다양하다. 하지만 애플리케이션에서 오류를 정의할 때 프로그래머에게 가장 중요한 관심사는 오류를 잡아내는 방법이 되어야 한다.
예외에 대응하는 방식이 거의 동일한 예외 유형을 여러 개 사용하는 경우는 호출하는 라이브러리 API를 감싸면서 예외 유형 하나를 반환하도록 고치면 된다.
Wrapper 클래스를 사용하는 것은 매우 유용하다. 실제로 외부 API를 사용할 때 wrapper 기법을 사용하면 외부 라이브러리와 프로그램 사이에 의존성이 크게 줄어든다. 프로그램을 테스트하기도 쉬워진다. 또한 특정 업체가 API를 설계한 방식에 의존하지 않고 프로그램이 사용하기 편리한 API를 정의하면 된다.
예외 클래스가 하나만 있어도 충분한 코드가 많다. 예외 클래스에 포함된 정보로 오류를 구분해도 괜찮은 경우가 그렇다. 한 예외는 잡아내고 다른 예외는 무시해도 괜찮은 경우라면 여러 예외 클래스를 사용한다.
정상 흐름을 사용하라
때로는 중단이 적합하지 않을 때도 있다. 예외가 논리를 따라가기 어렵게 만드는 경우는 특수 상황을 처리하지 않으면 더 좋을 수도 있다.
특수 사례 패턴(Special Case Pattern)은 클래스를 만들거나 객체를 조작해 특수 사례를 처리하는 방식이다. 그러면 클라이언트 코드가 예외적인 상황을 처리할 필요가 없어진다. 클래스가 객체가 예외적인 상황을 캡슐화해서 처리하기 때문이다.
null을 반환하지 마라
null 을 반환하는 것을 지양하라. 그 대신 예외를 던지거나 특수 사례 객체를 반환하는 방식을 고려하자. 많은 경우에는 특수 사례 객체를 사용하는 것이 간편하다.
null을 전달하지 마라
메서드로 null 을 반환하는 방식은 더 나쁘다. 정상적인 인수로 null을 기대하는 API가 아니라면 메서드로 null을 전달하는 코드는 최대한 피한다.
대다수 프로그래밍 언어는 호출자가 실수로 넘기는 null을 적절히 처리하는 방법이 없다. 애초에 null을 넘기지 못하도록 금지하는 정책이 합리적이다.
결론
깨끗한 코드는 읽기도 좋아야 하지만 안정성도 높아야 한다. 이 둘은 상충하는 목표가 아니다. 오류 처리를 프로그램 논리와 분리해 독자적인 사안으로 고려하면 튼튼하고 깨끗한 코드를 작성할 수 있다. 오류 처리를 프로그램 논리와 분리하면 독립적인 추론이 가능해지며 코드 유지보수성도 크게 높아진다.
