C++

아니.

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

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;
   }

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

답변