2.26. 오류 발생시키기

함수는 예외를 발생(raise) 시켜 호출자에게 문제를 알릴 수 있습니다. 키워드는 raise 입니다:

def square_root(x):
    if x < 0:
        raise ValueError("square_root expects a non-negative number")
    return x ** 0.5

square_root(-1) 을 호출하면 raise 줄에서 멈추고, 함수 밖으로 점프하여 호출자에서 일치하는 except 를 찾습니다. 어떤 호출자도 그것을 잡지 않으면 스크립트는 트레이스백과 함께 종료됩니다.

2.26.1. 센티넬을 반환하는 대신 발생시키는 이유

“잘못된 입력”을 알리는 두 가지 방법:

# signal with a sentinel
def square_root_or_none(x):
    if x < 0:
        return None
    return x ** 0.5

# raise an exception
def square_root(x):
    if x < 0:
        raise ValueError("...")
    return x ** 0.5

보통은 예외 형태가 더 낫습니다:

  • 호출자는 오류 경우를 의도적으로 처리해야 합니다 – try 를 쓰거나, 예외가 전파되도록 두는 것입니다. 센티넬은 잊어버리기 쉽고 정상적인 결과로 착각하기 쉽습니다.

  • 오류 메시지는 예외와 함께 전달됩니다. 센티넬 방식은 그 진단 정보를 다른 어딘가에 따로 붙여야 합니다.

  • 처리되지 않은 예외에 대한 기본 동작은 문제가 된 호출을 가리키는 트레이스백과 함께 요란하게 크래시하는 것입니다. 조용한 None 반환은 나중에 미묘한 버그가 됩니다.

“찾지 못함”이 일상적이고 예외적이지 않은 결과일 때만 센티넬을 활용하십시오 – dict.get() 이 없는 키에 대해 None 을 반환하는 것은 바로 조회가 때때로 실패할 것으로 예상되기 때문입니다.

2.26.2. 사용자 정의 예외 클래스

호출자가 내장 오류와 구별하고 싶어 할 수 있는 문제를 발생시키려면 Exception 의 서브클래스를 정의하십시오:

class ConfigError(Exception):
    pass

def load_config(path):
    try:
        f = open(path)
    except OSError as e:
        raise ConfigError("missing config file: " + path)

try:
    load_config("settings.json")
except ConfigError as e:
    print("startup failed:", e)

빈 class 본문도 괜찮습니다 – 호출자가 클래스로 잡기 때문에 중요한 것은 이름 자체입니다. 호출자가 한 블록에서 전체 부류를 잡고 싶어 할 수 있다면 관련 오류들을 공통 기반 아래 묶으십시오.

2.26.2.1. 다시 발생시키기

except 블록 안의 빈 raise 는 현재 예외를 다시 발생시켜 다음 처리기로 전파되도록 합니다:

try:
    do_work()
except Exception as e:
    log(e)
    raise        # let it keep going

이것은 함수가 오류를 실제로 처리하지 않으면서 관찰 하고 싶을 때(로그를 남기거나, 횟수를 세거나, 부분적인 변경을 되돌릴 때) 알맞은 형태입니다.

2.26.3. 언제 잡고 언제 전파할 것인가

유용한 경험칙:

  • 의미 있게 복구할 수 있는 수준에서 예외를 잡으십시오 – 기본값으로 대체하거나, 재시도하거나, 잘못된 입력을 건너뜁니다.

  • 크래시 말고는 할 수 있는 유용한 일이 없을 때, 또는 복구하는 방법을 아는 것이 위쪽 계층일 때는 예외가 전파되도록 두십시오.

호출 스택 중간에 있는 함수가 모든 오류를 삼키고 조용히 반환하면 실패를 추적할 수 없게 됩니다. 예외가 정말로 대처 방안을 가진 코드에 도달할 때까지 전달되도록 두는 것을 선호하십시오.