C ++에서 예외 지정자를 사용해야합니까?

C ++에서는 예외 지정자를 사용하여 함수가 예외를 throw하거나 throw하지 않도록 지정할 수 있습니다. 예를 들면 :

void foo() throw(); // guaranteed not to throw an exception
void bar() throw(int); // may throw an exception of type int
void baz() throw(...); // may throw an exception of some unspecified type

다음과 같은 이유로 실제로 사용하는 것이 의문입니다.

1. 컴파일러는 엄격한 방식으로 예외 지정자를 실제로 적용하지 않으므로 이점이 크지 않습니다. 이상적으로는 컴파일 오류가 발생합니다.
2. 함수가 예외 지정자를 위반하면 표준 동작은 프로그램을 종료하는 것이라고 생각합니다.
3. VS.Net에서는 throw (X)를 throw (...)로 취급하므로 표준 준수가 강하지 않습니다.

예외 지정자를 사용해야한다고 생각하십니까?
"예"또는 "아니오"로 대답하고 귀하의 대답을 정당화하는 몇 가지 이유를 제공하십시오.

아니.

그 이유는 다음과 같습니다.

1. 템플릿 코드는 예외 사양으로 작성이 불가능합니다.

   template<class T>
   void f( T k )
   {
        T x( k );
        x.x();
   }

   복사본이 발생하고 매개 변수 전달이 x()발생하며 알 수없는 예외가 발생할 수 있습니다.

2. 예외 사양은 확장 성을 방해하는 경향이 있습니다.

   virtual void open() throw( FileNotFound );

   로 진화 할 수 있습니다

   virtual void open() throw( FileNotFound, SocketNotReady, InterprocessObjectNotImplemented, HardwareUnresponsive );

   당신은 정말로 그것을 다음과 같이 쓸 수 있습니다.

   throw( ... )

   첫 번째는 확장 할 수없고 두 번째는 지나치게 야심적이며 세 번째는 가상 함수를 작성할 때 실제로 의미하는 바입니다.

3. 레거시 코드

   다른 라이브러리에 의존하는 코드를 작성할 때 무언가 끔찍하게 잘못되었을 때 어떤 일이 발생할지 알 수 없습니다.

   int lib_f();
   
   void g() throw( k_too_small_exception )
   { 
      int k = lib_f();
      if( k < 0 ) throw k_too_small_exception();
   }

   glib_f()던질 때 종료됩니다 . 이것은 (대부분의 경우) 당신이 정말로 원하는 것이 아닙니다. std::terminate()호출해서는 안됩니다. 조용히 / 폭력적으로 죽는 것보다 스택 추적을 검색 할 수있는 처리되지 않은 예외로 애플리케이션이 충돌하도록하는 것이 항상 좋습니다.

4. 일반적인 오류를 반환하고 예외적 인 경우에 발생하는 코드를 작성합니다.

   Error e = open( "bla.txt" );
   if( e == FileNotFound )
       MessageUser( "File bla.txt not found" );
   if( e == AccessDenied )
       MessageUser( "Failed to open bla.txt, because we don't have read rights ..." );
   if( e != Success )
       MessageUser( "Failed due to some other error, error code = " + itoa( e ) );
   
   try
   {
      std::vector<TObj> k( 1000 );
      // ...
   }
   catch( const bad_alloc& b )
   { 
      MessageUser( "out of memory, exiting process" );
      throw;
   }

그럼에도 불구하고 라이브러리에서 자체 예외를 던질 때 예외 사양을 사용하여 의도를 나타낼 수 있습니다.

C ++에서 예외 사양을 피하십시오. 귀하의 질문에 제공하는 이유는 그 이유에 대한 꽤 좋은 시작입니다.

Herb Sutter의 "A Pragmatic Look at Exception Specifications"를 참조하십시오 .

표준 예외 (C ++의 경우)
예외 지정자는 대부분 실패한 C ++ 표준의 실험 이라고 생각합니다 .
예외는 no throw 지정자가 유용하지만 코드가 지정자와 일치하는지 확인하기 위해 내부적으로 적절한 try catch 블록을 추가해야한다는 것입니다. Herb Sutter에는 주제에 대한 페이지가 있습니다. 고치 82

또한 예외 보장을 설명 할 가치가 있다고 생각합니다.

이것들은 기본적으로 객체의 상태가 해당 객체의 메소드를 이스케이프하는 예외에 의해 어떻게 영향을 받는지에 대한 문서입니다. 불행히도 그들은 컴파일러에 의해 강제되거나 언급되지 않습니다.
부스트 및 예외

예외 보장

보장 없음 :

예외가 메서드를 이스케이프 한 후 개체의 상태에 대한 보장이 없습니다
. 이러한 상황에서는 개체를 더 이상 사용하지 않아야합니다.

기본 보증 :

거의 모든 상황에서 이것이 방법이 제공하는 최소한의 보증이어야합니다.
이렇게하면 개체의 상태가 잘 정의되고 지속적으로 사용할 수 있습니다.

강력한 보증 : (일명 거래 보증)

이렇게하면 메서드가 성공적으로 완료
되거나 예외가 throw되고 개체 상태가 변경되지 않습니다.

던짐 없음 보장 :

이 메서드는 예외가 메서드 밖으로 전파되지 않도록합니다.
모든 소멸자는이 보장을해야합니다.
| NB 예외가 이미 전파되는 동안 예외가 소멸자를 이스케이프하는 경우
| 응용 프로그램이 종료됩니다

gcc는 예외 사양을 위반하면 경고를 표시합니다. 내가하는 일은 예외가 내 문서와 일치하는지 확인하기 위해 명시 적으로 "lint"모드 컴파일에서만 예외 사양을 사용하는 매크로를 사용하는 것입니다.

유일하게 유용한 예외 지정자는 "throw ()"입니다.

예외 사양은 C ++에서 놀랍도록 유용한 도구가 아닙니다. 그러나 std :: unexpected와 결합하면 좋은 용도가 있습니다.

일부 프로젝트에서 내가하는 일은 예외 사양이있는 코드이고, 내 디자인의 특별한 예외를 발생시키는 함수로 set_unexpected ()를 호출하는 것입니다. 이 예외는 생성시 역 추적 (플랫폼 별 방식)을 가져오고 std :: bad_exception에서 파생됩니다 (원하는 경우 전파 할 수 있도록 허용). 보통과 같이 종료 () 호출이 발생하면 역 추적은 what ()에 의해 인쇄됩니다 (및이를 유발 한 원래 예외, 찾기 어렵지 않음). 따라서 계약이 어디에 있는지 정보를 얻습니다. 어떤 예기치 않은 라이브러리 예외가 발생했는지 등을 위반했습니다.

이렇게하면 라이브러리 예외 (표준 예외 제외)의 전파를 허용하지 않으며 std :: exception에서 모든 예외를 파생합니다. 라이브러리가 던지기로 결정하면 항상 코드를 제어 할 수 있도록 잡아서 내 계층 구조로 변환합니다. 종속 함수를 호출하는 템플릿 함수는 명백한 이유로 예외 사양을 피해야합니다. 그러나 어쨌든 라이브러리 코드가있는 템플릿 함수 인터페이스를 갖는 경우는 드뭅니다 (실제로 유용한 방식으로 템플릿을 사용하는 라이브러리는 거의 없습니다).

함수 선언을 둘러싼 주석보다 함수 선언을보고 싶어하는 사람들이 사용할 코드를 작성하는 경우 사양이 포착하려는 예외를 알려줍니다.

그렇지 않으면 어떤 것도 사용하는 것이 특히 유용 throw()하지 않지만 예외를 throw하지 않는다는 것을 나타냅니다.

아니요. 코드를 사용하고 코드 나 코드에서 호출 한 코드에서 지정하지 않은 예외가 발생하면 기본 동작은 프로그램을 즉시 종료하는 것입니다.

또한 C ++ 0x 표준의 현재 초안에서는 사용이 더 이상 사용되지 않는다고 생각합니다.

"throw ()"사양을 사용하면 함수가 예외를 throw하지 않는다는 것을 알고있는 경우 (또는 최소한 예외를 throw하지 않을 것이라고 약속하는 경우) 코드 흐름 분석을 수행 할 때 컴파일러가 일부 최적화를 수행 할 수 있습니다. Larry Osterman은 여기에서 이에 대해 간략하게 설명합니다.

http://blogs.msdn.com/larryosterman/archive/2006/03/22/558390.aspx

일반적으로 예외 지정자를 사용하지 않습니다. 그러나 문제의 함수에서 다른 예외가 발생하여 프로그램이 확실히 수정할 수없는 경우 유용 할 수 있습니다. 모든 경우에 해당 기능에서 예상 할 수있는 예외를 명확하게 문서화해야합니다.

예, 예외 지정자가있는 함수에서 throw되는 지정되지 않은 예외의 예상 동작은 terminate ()를 호출하는 것입니다.

또한 Scott Meyers가보다 효과적인 C ++에서이 주제를 다루고 있음을 주목할 것입니다. 그의 Effective C ++ 및 More Effective C ++는 적극 권장되는 책입니다.

예, 내부 문서에있는 경우. 또는 다른 사람들이 사용할 라이브러리를 작성하여 문서를 참조하지 않고도 무슨 일이 일어나는지 알 수 있습니다. 던지거나 던지지 않는 것은 반환 값과 거의 비슷하게 API의 일부로 간주 될 수 있습니다.

동의합니다. 컴파일러에서 Java 스타일의 정확성을 적용하는 데 실제로 유용하지는 않지만 아무것도 없거나 우연한 주석보다 낫습니다.

단위 테스트에 유용 할 수 있으므로 테스트를 작성할 때 실패 할 때 함수가 무엇을 던질 지 알 수 있지만 컴파일러에서이를 둘러싼 강제는 없습니다. C ++에서 필요하지 않은 추가 코드라고 생각합니다. 당신이 확신해야 할 모든 것을 선택하는 것은 코드를 읽을 수 있도록 프로젝트와 팀 구성원 전체에서 동일한 코딩 표준을 따르는 것입니다.

기사에서 :

http://www.boost.org/community/exception_safety.html

"예외 안전 제네릭 컨테이너를 작성하는 것은 불가능한 것으로 잘 알려져 있습니다." 이 주장은 Tom Cargill [4]의 기사에서 일반적인 스택 템플릿에 대한 예외 안전 문제를 탐구하는 기사를 참조하는 경우가 많습니다. 그의 기사에서 카길은 많은 유용한 질문을 제기했지만 불행히도 그의 문제에 대한 해결책을 제시하지 못했습니다 .1 그는 해결책이 불가능할 수 있다는 제안으로 결론을 내립니다. 불행히도 그의 기사는 많은 사람들이 그 추측에 대한 "증거"로 읽었습니다. 게시 된 이후 C ++ 표준 라이브러리 컨테이너와 같은 예외 안전 제네릭 구성 요소의 예가 많이 있습니다.

그리고 실제로 템플릿 클래스를 예외적으로 안전하게 만드는 방법을 생각할 수 있습니다. 모든 하위 클래스를 제어 할 수없는 경우 어쨌든 문제가있을 수 있습니다. 이를 위해 다양한 템플릿 클래스에서 발생하는 예외를 정의하는 클래스에 typedef를 만들 수 있습니다. 이것은 문제가 처음부터 디자인하는 것과는 달리 항상 나중에 문제를 해결하는 것이라고 생각하며, 이것이 진짜 장애물이라고 생각합니다.

예외 사양 = 쓰레기, 30 세 이상의 Java 개발자에게 문의