exception

예외는 처리기 라는 특수 함수에 제어를 전달하여 프로그램의 예외적인 상황(예: 런타임 오류)에 대응하는 방법을 제공합니다 .

예외를 포착하기 위해 코드의 일부가 예외 검사를 받습니다. 이는 코드의 해당 부분을 try-block 으로 묶음으로써 수행됩니다 . 해당 블록 내에서 예외적인 상황이 발생하면 예외 처리기로 제어를 전송하는 예외가 발생합니다. 예외가 발생하지 않으면 코드가 정상적으로 계속되고 모든 처리기가 무시됩니다. 블록 내부에서 키워드를

사용하면 예외가 발생합니다 . 예외 처리기는 블록 바로 뒤에 배치해야 하는 키워드로 선언됩니다 .throwtrycatchtry

// exceptions
#include <iostream>
using namespace std;

int main () {
  try
  {
    throw 20;
  }
  catch (int e)
  {
    cout << "An exception occurred. Exception Nr. " << e << '\n';
  }
  return 0;
}

예외 처리 중인 코드는 try블록으로 묶입니다. 이 예에서 이 코드는 단순히 예외를 발생시킵니다.

throw 20;

표현식은 예외 핸들러에 인수로 전달되는 하나의 매개변수(이 경우 정수 값)를 허용 throw합니다 . 예외 처리기는 블록 의 닫는 중괄호 바로 뒤에 키워드 로 선언됩니다 . 에 대한 구문 은 매개변수가 하나인 일반 함수와 유사합니다. 이 매개변수의 유형은 표현식에 의해 전달된 인수의 유형이 이에 대해 검사되고 일치하는 경우에만 해당 핸들러에서 예외를 포착하기 때문에 매우 중요합니다. 여러 핸들러(즉, 표현식)를 연결할 수 있습니다. 각각 다른 매개변수 유형을 사용합니다. 인수 유형이 명령문에 지정된 예외 유형과 일치하는 핸들러만 실행됩니다.20

catchtrycatchthrow

catchthrow

줄임표( ...)가 의 매개변수로 사용되는 catch경우 해당 처리기는 throw된 예외 유형에 관계없이 모든 예외를 catch합니다. 이것은 다른 핸들러가 포착하지 못한 모든 예외를 포착하는 기본 핸들러로 사용할 수 있습니다.

try {
  // code here
}
catch (int param) { cout << "int exception"; }
catch (char param) { cout << "char exception"; }
catch (...) { cout << "default exception"; }

이 경우 마지막 핸들러는 int또는 도 아닌 유형에서 throw된 모든 예외를 catch합니다 char.

프로그램에서 예외가 처리된 후 명령문 이 아니라 try-catch 블록 후에 실행이 재개됩니다. 더 많은 외부 블록 내에 블록 을 중첩할 수도 있습니다 . 이러한 경우 내부 블록이 예외를 외부 수준으로 전달할 가능성이 있습니다. 이는 인수가 없는 표현식으로 수행됩니다. 예를 들어:throw

try-catchtrycatchthrow;

try {
  try {
      // code here
  }
  catch (int n) {
      throw;
  }
}
catch (...) {
  cout << "Exception occurred";
}

예외 사양

이전 코드에는 동적 예외 사양 이 포함될 수 있습니다 . 이제 C++에서 더 이상 사용되지 않지만 여전히 지원됩니다. 동적 예외 사양 은 함수 선언 다음에 지정자를 추가 합니다 throw. 예를 들어:

double myfunction (char param) throw (int);

myfunction이것은 type 의 하나의 인수를 취하고 type char의 값을 반환하는 이라는 함수를 선언합니다 double. 이 함수가 가 아닌 다른 유형의 예외를 throw하는 경우 함수는 다음을 int호출합니다.std::예상치 못한핸들러를 찾거나 호출하는 대신표준::종료.

이 throw지정자가 유형 없이 비어 있으면 이는 다음을 의미합니다.std::예상치 못한모든 예외에 대해 호출됩니다. 지정자가 없는 throw함수(일반 함수)는 호출하지 않습니다 .std::예상치 못한그러나 예외 처리기를 찾는 일반적인 경로를 따르십시오.

int myfunction (int param) throw(); // all exceptions call unexpected
int myfunction (int param);         // normal exception handling 

표준 예외

C++ 표준 라이브러리는 예외로 throw될 개체를 선언하도록 특별히 설계된 기본 클래스를 제공합니다. 헤더 std::exception에 정의되어 호출 됩니다. 이 클래스에는 null로 끝나는 문자 시퀀스(형식 )를 반환하고 파생 클래스에서 덮어써서 예외에 대한 일종의 설명을 포함할 수 <exception>있는 가상 멤버 함수 가 있습니다.whatchar *

 

// using standard exceptions
#include <iostream>
#include <exception>
using namespace std;

class myexception: public exception
{
  virtual const char* what() const throw()
  {
    return "My exception happened";
  }
} myex;

int main () {
  try
  {
    throw myex;
  }
  catch (exception& e)
  {
    cout << e.what() << '\n';
  }
  return 0;
}

예외 객체를 참조로 잡는 핸들러를 배치했습니다(유형 뒤에 앰퍼샌드에 주의 ). 따라서 이것은 type 의 객체 와 같이 &에서 파생된 클래스도 캐치 합니다 . C++ 표준 라이브러리의 구성 요소에서 throw된 모든 예외는 이 클래스에서 파생된 예외를 throw합니다. 이것들은:exceptionmyexmyexception

exception

 

예외	설명
bad_alloc	new할당 실패 시 발생
bad_cast	dynamic_cast동적 캐스트에서 실패할 때 발생
bad_exception	특정 동적 예외 지정자에 의해 발생
bad_typeid	에 의해 던져typeid
bad_function_call	function빈 개체 에 의해 던진
bad_weak_ptr	shared_ptr나쁜 통과했을 때 던진weak_ptr

exception또한 , 헤더 에서 파생된 헤더 <exception>는 오류를 보고하기 위해 사용자 정의 예외에 의해 상속될 수 있는 두 가지 일반 예외 유형을 정의합니다.

 

예외	설명
logic_error	프로그램의 내부 논리와 관련된 오류
runtime_error	런타임 중에 오류가 감지되었습니다.

표준 예외를 확인해야 하는 일반적인 예는 메모리 할당에 대한 것입니다.

// bad_alloc standard exception
#include <iostream>
#include <exception>
using namespace std;

int main () {
  try
  {
    int* myarray= new int[1000];
  }
  catch (exception& e)
  {
    cout << "Standard exception: " << e.what() << endl;
  }
  return 0;
}

이 예에서 예외 처리기에 의해 catch될 수 있는 예외는 bad_alloc. bad_alloc은(는) 표준 기본 클래스에서 파생 되었기 때문에 exception잡을 수 있습니다(참조로 캡처, 모든 관련 클래스 캡처).