[exception] “try”- “catch”에서 모든 블록을 래핑해서는 안되는 이유는 무엇입니까?

try-catch는 여전히 호출 스택 아래로 함수에서 발생하는 처리되지 않은 예외를 포착 할 수 있으므로 try-catches로 모든 블록 을 처리 할 필요는 없습니다 . 따라서 모든 함수에 try-catch가있는 것이 아니라 응용 프로그램의 최상위 논리에서 하나를 가질 수 있습니다. 예를 들어, SaveDocument()다른 메소드 등을 호출하는 많은 메소드를 호출하는 최상위 루틴 이있을 수 있습니다 .이 서브 메소드는 자체 시도 캐치가 필요하지 않습니다.SaveDocument() .

이는 세 가지 이유에서 유용합니다. 오류를보고 할 수있는 단일 장소가 SaveDocument()catch 블록 이라는 점에서 편리합니다 . 모든 하위 방법에 걸쳐이 작업을 반복 할 필요는 없습니다. 어쨌든 원하는 것은 바로 사용자에게 잘못된 일에 대한 유용한 진단을 제공하는 단일 장소입니다.

둘째, 예외가 발생할 때마다 저장이 취소됩니다. 모든 하위 메소드 try-catching에서 예외가 발생하면 해당 메소드의 catch 블록에 들어가 실행이 함수를 떠나고 를 통해 전달됩니다SaveDocument() . 무언가 잘못 되었다면 바로 멈추고 싶을 것입니다.

셋째, 모든 하위 메소드 는 모든 호출이 성공했다고 가정 할 수 있습니다 . 호출이 실패하면 실행이 catch 블록으로 이동하여 후속 코드가 실행되지 않습니다. 이렇게하면 코드를 훨씬 더 깨끗하게 만들 수 있습니다. 예를 들어, 오류 코드는 다음과 같습니다.

int ret = SaveFirstSection();

if (ret == FAILED)
{
    /* some diagnostic */
    return;
}

ret = SaveSecondSection();

if (ret == FAILED)
{
    /* some diagnostic */
    return;
}

ret = SaveThirdSection();

if (ret == FAILED)
{
    /* some diagnostic */
    return;
}

예외로 작성하는 방법은 다음과 같습니다.

// these throw if failed, caught in SaveDocument's catch
SaveFirstSection();
SaveSecondSection();
SaveThirdSection();

이제 무슨 일이 일어나고 있는지 훨씬 명확 해졌습니다.

예외 안전 코드는 다른 방법으로 작성하기가 더 까다로울 수 있습니다. 예외가 발생하면 메모리를 유출하지 않으려 고합니다. 개체는 예외 전에 항상 소멸되므로 RAII , STL 컨테이너, 스마트 포인터 및 소멸자에서 리소스를 해제하는 기타 개체 에 대해 알고 있어야 합니다.

답변