c++ - 删除指向流的类成员指针的段错误

Question

我正在尝试编写一个用于处理异常的类。我认为添加一个 << 运算符会很有用，这样我就可以轻松地抛出错误消息。到目前为止，贝娄是我解决问题的方法。困扰我的一件事是，如果我删除析构函数中的流(如我的代码所示)，我会遇到段错误。下面是我的异常处理类的全部代码。我不知道在析构函数到达它之前删除流的原因。

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 构造函数和一个复制赋值运算符解决了这个问题。固定代码按预期运行: ＃包括 #包括

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

以下答案是某种假设，因为我没有您使用您的类(class)的代码。如果我找错树了，请告诉我!

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

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

... 现在它在按预期打印输出后出现段错误。原因是两件事的结合。

首先，你有一个错误的复制构造函数。由于您没有自己定义复制构造函数，因此编译器会为您生成一个。它的默认行为是复制你的类的每个成员——当你有一个像 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 成为成员而不用 new-ing。废弃析构函数。
• 通过引用捕获异常。

引用资料:

Problem with ostringstream and copy constructor

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

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