Question

我正在尝试编写一个用于处理异常的类。我认为添加＆lt;＆lt;＆lt;＆lt;＆lt;运算符给我一个简单的方法来抛出错误信息。到目前为止，贝娄是我解决问题的方法。有一点让我烦恼的是，如果我在析构函数中删除了流（如我的代码所示），我会得到一个段错误。 Bellow是我的异常处理类的完整代码。我不知道在析构函数到达之前可能会删除流。

class prc_exception : public std::exception {
  private:
    int line_num;
    std::ostringstream* msg;

  public:
    prc_exception(const char* part, const int line) throw()
    : exception() {
      msg = new std::ostringstream();
      *msg << "<parcer:" << part << ":" << line << ">: ";
    }
    ~prc_exception() throw() { delete msg; }
    virtual const char* what() const throw() { return msg->str().c_str(); }
    virtual const int line() const throw() { return line_num; }
    template <class T> prc_exception& operator<<(const T& rhs)
    { *msg << rhs; return (*this); }
};

另外，如果有人能提出更好的方法来处理我想做的事情，请给我一个建议。我想要的是这样的东西：

throw prc_exception("code_part",__LINE__) << "More info";

当被捕获时会有what（）函数返回一个字符串，如：

<parcer:code_part:36>: More info

非常感谢。

解决：正如@polkadotcadaver建议的那样，添加一个Copy构造函数和一个复制赋值运算符可以解决这个问题。固定代码按预期运行：＃包括 #include

using namespace std;

class prc_exception : public std::exception {
  private:
    int line_num;
    std::ostringstream msg;

  public:
    prc_exception(const char* part, const int line) throw()
    : exception() {
      msg << "<parcer:" << part << ":" << line << ">: ";
    }
    /** Copy Constructor */
    prc_exception (const prc_exception& other)
    {
      line_num = other.line();
      msg << other.what();
    }
    /** Copy Assignment Operator */
    prc_exception& operator= (const prc_exception& other)
    {
      line_num = other.line();
      msg << other.what();
      return *this;
    }
    ~prc_exception() throw() { }

    virtual const char* what() const throw() { return msg.str().c_str(); }
    virtual const int line() const throw() { return line_num; }
    template <class T> prc_exception& operator<<(const T& rhs)
    { msg << rhs; return (*this); }
};

int main()
{
  try
  {
    throw prc_exception("hello", 5) << "text." << " more text.";
  } catch (exception& e) {
    cout << e.what() << endl;
  }

  return 0;
}

Answer 1

以下答案是一个假设，因为我没有你使用你的类的代码。如果我正在咆哮错误的树，请说出来！

好的，这是一个可编辑的，可运行的测试程序，完成没有任何问题。

#include <iostream>
#include <sstream>

using namespace std;

class prc_exception : public std::exception {
  private:
    int line_num;
    std::ostringstream* msg;

  public:
    prc_exception(const char* part, const int line) throw()
    : exception() {
      msg = new std::ostringstream();
      *msg << "<parcer:" << part << ":" << line << ">: ";
    }
    ~prc_exception() throw() { delete msg; }
    virtual const char* what() const throw() { return msg->str().c_str(); }
    virtual const int line() const throw() { return line_num; }
    template <class T> 
    prc_exception& operator<<(const T& rhs)
    { *msg << rhs; return (*this); }
};

int main()
{
    try
    {
        throw prc_exception("hello", 5);
    }
    catch (prc_exception& e)
    {
        e << "Oh dear";

        cout << e.what() << endl;
    }

    return 0;
}

我认为您可能正在做的是按值捕获异常而不是通过引用：

    try
    {
        throw prc_exception("hello", 5);
    }
    catch (prc_exception& e)
    {
        e << "Oh dear";

        cout << e.what() << endl;
    }

...在按预期打印输出之后，现在是segfaults。原因是两件事的结合。

首先，您有一个错误的复制构造函数。由于您没有自己定义复制构造函数，编译器会为您生成一个。它的默认行为是复制你的类的每个成员 - 当你有像ostringstream这样的堆分配成员时，这很糟糕。

可以这样想（不要认为这应该是新的，他们不应该！）：

// This creates an ostringstream, let's call it Bob
prc_exception* an_exception = new prc_exception{"hello", 5}; 

// This SHARES the first ostringstream, Bob, as it just copied the pointer, 
// NOT what it was pointing to. 
prc_exception* a_second_exception = new prc_exception{an_exception};

// Delete the original exception. This calls ~prc_exception and deletes Bob
delete an_exception;

// WHOOPS we just deleted Bob again, because we were pointing to it. 
// This causes the crash.
delete a_second_exception

当您按值捕获异常时，我怀疑您是，这将复制异常。最佳做法是始终通过引用来捕获异常。

但至关重要的是，如果您创建一个具有一个或多个堆分配成员的类，则必须也会编写您自己的复制构造函数，复制赋值运算符和析构函数。 Google适用于三级规则（请参阅下面的参考资料，其他细微之处适用）。

我实际上根本没有看到堆分配流的原因。只需要一个ostringstream作为成员 - 我怀疑你最初这样做但是得到了一个编译错误，你在那里通过值捕获了异常。这是因为ostringstream不可复制！

所以你的修复很清楚：

使ostringstream成为一个成员而不需要新建它。废弃析构函数。
通过引用捕获异常。

参考资料：

Problem with ostringstream and copy constructor

http://www.gotw.ca/gotw/069.htm

https://en.wikipedia.org/wiki/Rule_of_three_(C++_programming)

删除指向流的类成员指针的Segfault

1 个答案: