Вопрос по exception-handling, c++ – Какой тип исключения я должен бросить?

18

Перебрав несколько ссылок на обработку исключений (1, 2, а также3), Я знаю, что программы на C ++ могут генерировать что угодно в качестве исключений (int, char*, string, exception учебный класс). я знаю этоstd::exception базовый класс для стандартных исключений, выдаваемых программой. Тем не менее, я пытаюсь создатьtry...catch блок как таковой:

try
{
    MyFunc();
}
catch (certain exceptions)
{
    // deal with the exception accordingly
}
catch (the rest of the exceptions)
{
    // deal with these accordingly
}

в то время какMyFunc() содержит следующее:

void MyFunc()
{
    ...
    if (certain condition is true) throw exception;
    ...
}

Проблема в том, что в этой частиMyFunc функции, я не уверен, какой тип исключения я должен выбросить. Чтобы сохранить код чистым, реализуя свой собственный класс исключений, я понятия не имею, что было бы хорошим способом реализовать такой класс исключений.

Ваш Ответ

5   ответов
12

который показывает, как расширить и использовать класс std :: exception: (Кстати, в этом коде есть ошибка, о которой я расскажу позже).

#include <iostream>
#include <string>
#include <exception>

class my_exception : public std::exception
{
public:
   explicit my_exception(const std::string& msg)
      : msg_(msg)
   {}

   virtual ~my_exception() throw() {}

   virtual const char* what() const throw()
   {
      return msg_.c_str();
   }

private:
   std::string msg_;
};

void my_func() throw (my_exception&)
{
  throw my_exception("aaarrrgggg...");
}

int
main()
{
  try
    {
      my_func();
    }
  catch (my_exception& ex)
    {
      std::cout << ex.what() << '\n';
    }
  return 0;
}

Обратите внимание, что конструктор является явным, а деструктор и what () объявляются (используя throw ()), чтобы указать, что они сами не будут генерировать исключения. Вот где ошибка. Гарантируется ли, что вызов msg_.c_str () не выдаст свои собственные исключения? Как насчет строкового конструктора, который мы используем для инициализации msg_? Это также может вызвать исключения. Как мы можем создать класс исключений, который защищен от исключений, создаваемых объектами-членами? Ответ - наследовать от std :: runtime_error или аналогичного подкласса std :: exception. Таким образом, правильным способом реализации my_exception будет:

class my_exception : public std::runtime_error
{
public:
    my_exception(const std::string& msg) 
        : std::runtime_error(msg)
    { }
};

Нам не нужно переопределять what (), так как это уже реализовано в std :: runtime_error. Правильная обработка буфера сообщений выполняется с помощью std :: runtime_error, поэтому мы можем быть уверены, что само my_exception не выдаст какую-то неизвестную ошибку во время выполнения.

19

std::exception, так что есть какой-то способ единообразной обработки исключений.

Если это кажется излишним, вы можете броситьstd::logic_error или один из других стандартных типов исключений, предназначенный для использования приложениями.

Вы также можете использовать их в качестве базовых классов для своих более конкретных исключений: это экономит немного работы, потому что они заботятся о реализацииwhat метод для вас.

Обратите внимание, что иерархии глубоких исключений могут быть непригодными, поскольку вы в основном заранее делаете предположение о том, как классифицировать ошибки, и ваши клиенты могут не согласиться.

0

: exception и его производных для представления ошибок, относящихся к области вашего приложения. Например, если вы имеете дело с файлами, у вас должно быть FileNotFoundException, которое включает в себя filepath и другую соответствующую информацию, таким образом вы можете создать перехватывать блоки для обработки определенных типов ошибок и опускать другие, вы также должны воздерживаться от создания или перехвата исключений, не относящихся к классу.

Взгляните на похожие иерархии исключений в.СЕТЬ и Java, чтобы увидеть, как моделировать общие ошибки (ошибки файлов, ошибки ввода-вывода, сетевые ошибки и т. д.)

4

что было бы интересно опубликовать реальный код для разнообразия. Это класс исключений, который использует моя собственная служебная библиотека:

//---------------------------------------------------------------------------
// a_except.h
//
// alib exception handling stuff
//
// Copyright (C) 2008 Neil Butterworth
//---------------------------------------------------------------------------

#ifndef INC_A_EXCEPT_H
#define INC_A_EXCEPT_H

#include "a_base.h"
#include <exception>
#include <sstream>

namespace ALib {

//------------------------------------------------------------------------
// The only exception thrown directly by alib
//------------------------------------------------------------------------

class Exception : public std::exception {

    public:

        Exception( const std::string & msg = "" );
        Exception( const std::string & msg, int line,
                        const std::string & file );

        ~Exception() throw();

        const char *what() const throw();
        const std::string & Msg() const;

        int Line() const;
        const std::string & File() const;

    private:

        std::string mMsg, mFile;
        int mLine;
};

//------------------------------------------------------------------------
// Macro to throw an alib exception with message formatting.
// Remember macro is not in ALib namespace!
//------------------------------------------------------------------------

#define ATHROW( msg )                                               \
{                                                                   \
    std::ostringstream os;                                          \
    os << msg;                                                      \
    throw ALib::Exception( os.str(), __LINE__, __FILE__ );          \
}                                                                   \


}  // namespace

#endif

И это файл .cpp:

//---------------------------------------------------------------------------
// a_except.h
//
// alib exception handling stuff
//
// Copyright (C) 2008 Neil Butterworth
//---------------------------------------------------------------------------

#include "a_except.h"
using std::string;

namespace ALib {

//---------------------------------------------------------------------------
// exception with optional message, filename & line number
//------------------------------------------------------------------------

Exception :: Exception( const string & msg ) 
    : mMsg( msg ),  mFile( "" ), mLine(0) {
}

Exception :: Exception( const string & msg, int line, const string & file ) 
    : mMsg( msg ), mFile( file ), mLine( line ) {
}

//---------------------------------------------------------------------------
// Do nothing
//---------------------------------------------------------------------------

Exception :: ~Exception() throw() {
}

//------------------------------------------------------------------------
// message as C string via standard what() function
//------------------------------------------------------------------------

const char * Exception :: what() const throw() {
    return mMsg.c_str();
}

//------------------------------------------------------------------------
// as above, but as C++ string
//------------------------------------------------------------------------

const string & Exception :: Msg() const {
    return mMsg;
}

//---------------------------------------------------------------------------
// File name & line number
//---------------------------------------------------------------------------

int Exception :: Line() const {
    return mLine;
}

const string & Exception :: File() const {
    return mFile;
}

}  // namespace

// end
Если бы вы унаследовали от std :: runtime_error, некоторые из них уже были бы обработаны для вас!
Я понимаю вашу точку зрения в отношении явного. Вызов строкового потока _s был бы плохой идеей, так как имя зарезервировано в области имен. И, в отличие от других, я никогда не находил такой способ создания макросов, который стоил бы проблем, поскольку я никогда не сталкивался с проблемой без нее, вероятно, из-за других моих практик программирования.
Ваш первый ctor исключения должен бытьexplicit а такжеATHROW(x) было бы лучше определитьdo { std::stringstream _s; _s<<(x); throw ALib::Exception( _s.str(), __FILE__, __LINE__ ) } while(0) чтобы избежать проблем с приоритетом оператора и разрешитьATRHOW(x) использовать в качестве правильного оператора C / C ++.
1

то вы должны сделать это. Ссылаться наэта ссылка о том, как использовать исключения буста. Вы также можете создать свою собственную иерархию классов исключений, как указано в других ответах, но вам нужно позаботиться о тонких аспектах, таких как «nothrow» apos; требования от «что»; метод. Базовый дизайн того, как это можно сделать на линиях boost :: exception, поясняется ниже:

#include <string>
#include <memory>
#include <stdexcept>

/************************************************************************/
/* The exception hierarchy is devised into 2 basic layers. 
   System exceptions and Logic exceptions. But Logic exceptions are 
   convertible to the ultimate base 'System' in the system layer.
*************************************************************************/

// the system exception layer
  namespace ExH
  {
    namespace System {
      // This is the only way to make predefined exceptions like
      // std::bad_alloc, etc to appear in the right place of the hierarchy.
      typedef std::exception Exception;
      // we extend the base exception class for polymorphic throw
      class BaseException : public Exception {
      public:
        BaseException() throw() {}
        explicit BaseException(char const* /*desc*/) throw() 
          : Exception()
        {}
        BaseException(BaseException const& that)
          : Exception(that)
        {}
        virtual void raise() const { throw *this; } // used to throw polymorphically
        virtual ~BaseException() throw () {}
      };
      // module level classes compose and catch the descriptive
      // versions of layer-exceptions
      class DescriptiveException : public BaseException  {
      public:
        explicit DescriptiveException (char const* description) throw()
          : description_(description)
        { }
        explicit DescriptiveException (std::string const& description) throw()
          : description_(description.c_str())
        { }

        virtual ~DescriptiveException () throw () {} 

        DescriptiveException (DescriptiveException const& src) throw()
          : BaseException(src)
        {
          this->description_ = src.description_;
        }
        DescriptiveException& operator= (DescriptiveException const& src) throw()
        {
            if (this != &src)
            {
              this->description_ = src.description_;
            }
            return *this;
        }

        /*virtual*/ char const* what () const throw() { return description_; }
        /*virtual*/ void raise() const // used to throw polymorphically
        { throw *this; }
      protected:
        DescriptiveException () throw ();
      private:
        char const* description_; 
      };

    }
  }

// the logic exception layer
  namespace ExH
  {
    namespace Logic
    {

      // Logic::Exception inherits from System::Exception for the
      // following reason. Semantically for some part of the
      // system particular instance of Logic::Exception may seem as
      // opaque System::Exception and the only way to handle it would
      // be to propagate it further. In other words Logic::Exception
      // can be seamlessly "converted" to System::Exception if there is
      // no part of the system interested in handling it.
      //
      class BaseException : public System::BaseException
      {
      public:
        BaseException() throw() {}
        explicit BaseException(char const* desc) throw() 
          : System::BaseException(desc)
        {}
        BaseException(BaseException const& that)
          : System::BaseException(that)
        {}
        virtual void raise() const { throw *this; } // used to throw polymorphically
        virtual ~BaseException() throw () {}
      };
      // module level classes compose and catch the descriptive
      // versions of layer-exceptions
      class DescriptiveException : public BaseException {
      public:
        explicit
        DescriptiveException (char const* description) throw()
          : description_(new std::string(description))
        { }
        explicit
        DescriptiveException (std::string const& description) throw()
          : description_(new std::string(description))
        { }
        DescriptiveException(DescriptiveException const& src) throw()
          : BaseException(src)
        {
            // copy the string
            std::string* str = new std::string(src.description_.get()->c_str());
            description_.reset(str);
        }

        virtual ~DescriptiveException () throw () {}
        /*virtual*/ char const* what () const throw() { return description_->c_str(); }
        /*virtual*/ void raise() const { throw *this; }
      private:
        DescriptiveException& operator= (DescriptiveException const& src) throw(); // copy disabled
        std::auto_ptr<std::string> description_; // do not use std::string, as it can throw
      };
    }
  }


/************************************************************************/
/* Users of the exception hierarchy compose specific exceptions as and
when needed. But they can always be caught at the System::Exception base
class level. Some of the standard conversion examples are demonstrated :-

class MyClass {
public:
  class Exception_ {};
  typedef
  Compound <Exception_, Logic::DescriptiveException>
  Exception;

  class InvalidArgument_ {};
  typedef
  Compound <InvalidArgument_, Exception>
  InvalidArgument;

  class NotInit,ialized_ {};
  typedef
  Compound <NotInitialized_, Exception>
  NotInitialized;
public:
  void myFunction1() const throw(NotInitialized);
  void myFunctionN() const throw(NotInitialized);
};

void MyClass::myFunction1() const {
  throw NotInitialized("Not Inited!");
}

void MyClass::myFunctionN() const {
  try {
    // call myFunction1()
  }
  catch(NotInitialized const& e){
  // use e
  }
}

This has to be per-class basis. The exposed module will have an exception
specification which will catch all the sub-class exceptions. The calling
module will in turn rely on this exception-specification. This will allow
us to have generalized exception-catching at the application-level and
more specialized exception-catching at the specific module level.       */
/************************************************************************/

// a simple template to compose the exceptions as per conversion requirements
  namespace ExH
  {
    template <typename Type, typename Base>
    class Compound : public Base
    {
    public:
      explicit Compound (char const* description) throw ()
        : Base(description)
      {}
      explicit Compound (std::string const& description) throw ()
        : Base(description)
      {}

      Compound (Compound const& src) throw ()
        : Base(src)
      {}

      virtual ~Compound () throw () {}
    protected:
      Compound () throw () {}
    private:
      Compound& operator= (Compound const& src) throw (); // disable copy
    };

  }
Будет ли полезно использовать boost, хотя весь мой проект еще не использует библиотеки boost? stanigator
Возможно нет. Приведенная выше иерархия может быть использована и изменена в соответствии с вашими потребностями. Я имел умеренный успех, используя такие названные уровни исключения в больших проектах. Кроме того, могут быть незначительные проблемы переносимости, если вы используете кросс-компиляцию с использованием boost, поскольку она сильно шаблонизирована. Некоторые компиляторы могут не соответствовать стандарту C ++.

Похожие вопросы