在析构函数中调用成员变量的虚函数会导致段错误

Question

我遇到了一个非常奇怪的问题，我希望有人遇到过。

class Letter
{
public:
    Letter()
    virtual ~Letter()
    virtual std::string get() const = 0;
};

class A : public Letter
{
public:
    A()
    ~A()
    virtual std::string get() const { return "A"; }
};

class Board
{
public:
   Board(){}
   ~Board()
   {
        std::cout << "Removing: " << letter->get() << std::endl;
        delete letter;
   }
   void setLetter(Letter * l) { letter = l }
private:
   Letter * letter;
}

int main()
{
    Board b;
    b.setLetter(new A());
}

当 Board 在析构函数中调用虚拟函数 letter->get() 的行超出范围时，程序会导致段错误。我正在使用 gcc 4.1.2。有什么想法吗？

更新

好吧，看起来实际代码中实际发生的情况与此等效：

class Board
{
public:
   Board(){}
   ~Board()
   {
       std::cout << "Removing: " << letter->get() << std::endl;
   }
   void setLetter(Letter * l) { letter = l; }
private:
   Letter* letter;
};

int main()
{
    Board b;
    A a;
    b.setLetter(&a);

    return 0;
}

在这种情况下，当调用虚函数时，A 已经超出了范围。

Answer 1

我只能猜测您正在尝试将从 get() 返回的 std::string 转换为 char* 。否则我看不出崩溃的原因。

Answer 2

#include <iostream>
#include <string>
using namespace std;

class Letter
{
public:
    Letter() {}
    virtual ~Letter() {}
    virtual std::string get() const = 0;
};

class A : public Letter
{
public:
    A() {}
    ~A() {}
    virtual std::string get() const { return "A"; }
};

class Board
{
public:
   Board(){}
   ~Board()
   {
        std::cout << "Removing: " << letter->get() << std::endl;
        delete letter;
   }
   void setLetter(Letter * l) { letter = l; }
private:
   Letter * letter;
};

int main()
{
    Board b;
    b.setLetter(new A());
    return 0;
}

gcc 4.5.2 没有问题

Answer 3

我没有意识到一个对象正在从堆栈传递给 setLetter()，因此 A 在 b 之前超出了范围。

Board b;
A a;
b.setLetter(&a);

Answer 4

某些编译器不允许普通 C / C++ 构造函数或析构函数调用虚拟方法，似乎 (ANSI) C++ 规范也不允许。并且不推荐这样做。

有时这个要求是有用的。某些语言（例如 Object Pascal 显式）允许在构造函数和析构函数中调用虚拟方法。

您可以使用“假虚拟构造函数模式”来做一件事：

class MyClass
{
  public:
    // constructor
    MyClass
    {
      // anything but virtual methods
    }

    // destructor
    ~MyClass
    {
      // anything but virtual methods
    }

    virtual void MyFakeConstructor()
    {
      MyVirtualMethod();
    }

    virtual void MyFakeDestructor()
    {
      MyVirtualMethod();
    }

    virtual void MyVirtualMethod()
    {
      // more stuff
    }

    // more members
}

int main(char[][] Args)
{
  MyClass MyObject = new MyClass();
  MyObject->MyFakeConstructor(); // <-- calls "MyVirtualMethod()"

  MyObject->DoSomething1();
  MyObject->DoSomething2();
  MyObject->DoSomething3();

  MyObject->MyFakeDestructor(); // <-- calls "MyVirtualMethod()"
  delete MyObject;

  return 0;
} // int main()

另一种解决方案是您安排代码，以便在析构函数之外显式调用您的虚拟方法。

干杯。