예외가 발생하면 실행이 다시 시작되는 위치는 어디입니까?

Question

일반적으로 예외가 발생하여 잡히면 프로그램 실행이 다시 시작됩니까? 예외가 throw 된 코드 줄을 따라 다시 시작합니까? 아니면 catch 된 곳에서 다시 시작합니까? 또한이 동작은 대부분의 프로그래밍 언어에서 일관됩니까?

Answer 1

예외가 catch 된 곳, 즉 현재 예외 유형을 특별히 처리하는 catch 블록의 시작 부분에서 실행이 재개됩니다. catch 블록이 실행되고 다른 catch 블록은 무시됩니다 (switch 문의 switch 블록이 복수라고 생각할 수 있습니다). 일부 언어에서는 catch 다음에 finally 블록이 실행될 수도 있습니다. 프로그램은 전체 try ... catch ... finally ... 다음에 오는 명령으로 진행합니다.

예외가 블록에서 발견되지 않으면 예외는 현재 함수의 호출자에게 전파되고 catch이 예외를 처리 할 때까지 호출 스택을 전파합니다. 이 경우 함수 호출을 매크로처럼 생각할 수 있습니다. 호출되는 각 함수의 코드를 삽입하면 모든 try .. catch ... finally ... 블록의 중첩이 명확하게 표시됩니다.

예외 처리기가없는 경우 일반적으로 프로그램이 충돌합니다. (일부 언어는이 시점에서 다를 수 있음).

실행 흐름에 대한 동작은 내가 아는 모든 언어에서 일관됩니다. 유일한 차이점은 try ... catch ... finally ... 구조에 있습니다. finally은 모든 언어에 존재하지 않으며 일부 언어는 동일한 블록에 finally 및 catch을 허용하지 않습니다 (2를 사용하려면 두 개를 중첩해야합니다). 일부 언어는 허용합니다 모든 언어 (C++에서는 catch (...))는 일부 언어에서는 그렇지 않습니다.

Answer 2

예외가 발견 된 경우 다시 시작됩니다. 그렇지 않으면 예외 조항을 작성하는 시점은 무엇입니까?

Answer 3

catch 블록 내부의 코드가 실행되고 원래 실행이 catch 블록 바로 다음으로 계속됩니다.

Answer 4

catch 블록 (예외가 발견 된 곳)에서 실행이 계속됩니다.
예외를 사용하는 언어에서 일관됩니다.

주목할만한 점 (특히 C++의 경우)
throw 및 catch 지점 사이에서 순서대로 스택에서 생성 된 모든 개체가 올바르게 소멸되도록 예상 된 순서대로 스택이 해제됩니다. 이로 인해 기술은 RAII로 알려져 있습니다.

Answer 5

나는 Bjarne Stroustrup의 "Design & Evolution"사본을 가지고 있지 않지만 재개 가능한 예외에 대한 경험을 거기에 적었다고 생각합니다. 그들은 올바른 일을하기가 상당히 어려워 졌음을 발견했습니다. 결국, 일부 라인에서 예기치 않은 오류가 발생하면 예외 핸들러가 문맥을 알지 못하고 실행을 재개 할 수 있도록 문제를 충분히 패치해야합니다. 이것은 메모리 부족 오류 일 수 있습니다 (이러한 오류는 종종 가출 된 메모리 할당의 결과이며 더 많은 메모리를 추가하면 실제로는 수정되지 않습니다). 일반적으로 예외는 아닙니다.

그래서 C++ 및 내가 익숙한 모든 언어에서 실행은 catch와 함께 다시 시작되며 예외를 던진 곳으로 자동 복귀하지 않습니다.