6

我想创建一些从 std::runtime_error 派生的异常类型，并且我希望它们具有字符串流类型功能。因此，我创建了一个异常类，它组成 astd::stringstream并且派生自std::runtime_error：

template<typename T>
class error_stream : public std::runtime_error
{
public:
      error_stream() :
      std::runtime_error(""), ss(std::make_shared<std::basic_stringstream<T>> ())
      {
      }

      ~error_stream() throw()
      {
      }

      template <typename T>
      error_stream & operator << (const T & t)
      {
          *ss << t;
          return *this;
      }

      virtual const char * what() const throw()
      {
          get_str(s_, ss->str());
          return s_.c_str();
      }

protected:

    template <typename T>
    void get_str(std::basic_string<char> & s_, const std::basic_string<T> & str) const
    {
        s_ = str;
    }

    template<>
    void get_str(std::basic_string<char> & s_, const std::basic_string<wchar_t> & str) const
    {
        std::basic_string<char> ret(str.begin(), str.end());
        s_ = ret;
    }

protected:
    std::shared_ptr<std::basic_stringstream<T>> ss;
    mutable std::basic_string<char> s_;
};

而且我创建了一个更具体的异常类型，它又派生自这个error_stream异常：

template<typename T>
class w32file_exception : public w32utils::error_stream<T> 
{
public:
    w32file_exception() : error_stream<T>() {}
};

但是，我在这里遇到了一些我不明白的事情，因为当我抛出 a 时，w32file_exception我实际上只能将它作为它的 parent 来捕捉error_stream。谁能看到我做错了什么？

    try
    {
        throw w32file_exception<char>() << "test";
    }
    catch ( w32file_exception<char> & e )
    {
        ASSERT_PASSED;
    }
    catch ( error_stream<char> & e )
    {
        std::cout << e.what() << std::endl;  // Why do I end up here?
    }
4

1 回答 1

13

你到底throw长什么样子？你operator<<在调用 throw 之前使用你的，像这样：

throw w32file_exception<T>() << "fooobar";

那么答案是，你operator<<返回一个error_stream和否w32file_exception，所以抛出的异常的类型是error_stream。

你可以这样解决这个问题：

template<typename T, typename DERIVED>
    class error_stream : public std::runtime_error
{
public:
    // ...
    template <typename U>
        DERIVED & operator << (const T & t)
    {
        *ss << t;
        return static_cast<DERIVED&>(*this);
    }
    // ...
};

但是随后您失去了捕获每个error_stream异常的能力，因为它是每种类型的新类型DERIVED。

于 2012-05-28T14:45:02.340 回答