为什么在这段代码中调用虚拟方法时会出现分段错误？

Question

我还在学习C++； 我正在尝试多态性的工作原理，并且在调用虚拟方法时遇到分段错误。

（注意：我没有将析构函数标记为虚拟，我只是想看看会发生什么。）这是代码：

#include <iostream>

using namespace std;

class Base
{
protected:
  char *name;

public:
  Base(char *name)
  {
    cout << name << ": Base class cons" << endl;
  }

  ~Base()
  {
    cout << name << ": Base class des" << endl;
  }

  virtual void disp();
};

void Base::disp()
{
  cout << name << ": Base disp()" << endl;
}

class Child : public Base
{
public:
  Child(char *name):
    Base(name)
  {
    cout << name << ": Child class cons" << endl;
  }

  ~Child()
  {
    cout << name << ": Child class des" << endl;
  }

  virtual void disp()
  {
    cout << name << ": Child disp()" << endl;
  }
};


int main()
{
  //Base b;
  //b.disp();
  Base c = Child("2");
  c.disp();
}

另外，如果您对了解继承和多态性的使用有任何其他提示， Java中的这些概念，请告诉我。 谢谢你！

Answer 1

name - 在 Base 中未初始化，

您还有另一个问题：

  Base c = Child("2");

我认为这不是您想要的。 您的代码将从已转换的 Child 创建 Base 的实例。 但我认为你想使用基于 Base 接口的 Child 实例； 你应该写：

  Base *c = new Child("2");

另外，为了避免未来的错误，将基类中的析构函数声明为虚拟的。

Answer 2

您永远不会初始化基本 nenber 变量 - 您的基本构造函数应该是：

Base(char * aname) : name( aname )
  {
    cout << name << ": Base class cons" << endl;
  }

除此之外，当您说

Base b = Child( "xxx" );

那么 Child 实例将被切片为 Base 时，这可能不是您想要的。

Answer 3

我认为您没有将成员 char * 名称分配给您的 ctors 中的任何内容。

Answer 4

Child::disp() 方法永远不会被调用 - c 是 Base 类型的变量，而不是指针或引用，因此它不会检查虚拟方法。

Base * c = new Child("1");
c->disp();
delete c;

会调用 Child::disp()。

Answer 5

哇在那里。

有一些问题，但是你的段错误可能是因为你传递了一个char*——它只是一个指针，然后尝试cout它disp()。 问题是，该指针并不存在于 disp() 中，而是存在于 main() 中。 您可能想要深度复制 char*，或使用 std::string。 这样做是行不通的。

编辑：

参见编辑2

您不能只将名称分配给类的name 变量。 如果你这样做，你会得到不可预测的结果 - 并且你可能仍然会出现段错误。 请记住：在 C/C++ 中，对象的作用域是本地的，除非在堆上分配。 在这种情况下，在您的构造函数中，您需要执行以下操作：

this->name = new char[ strlen( name ) + 1 ];
strcpy( this->name, name );

在析构函数中，您需要执行以下操作：

delete [] this->name;

注意：我的语法可能完全错误，并且我意识到上面的代码本质上是不安全的，因为您没有检查 char* 以确保它不为 NULL，也没有检查 new 的返回值。 尽管如此，这应该可以帮助您开始。

编辑2：
我纠正了。 字符串文字被视为常量存储，因此在程序运行期间一直存在。 尽管如此，我认为这个教训很重要：一般来说，当不处理字符串文字时，传递指针（或数组等）时，您需要分配它的存储和深复制。 在销毁所述对象时，您还需要适当地取消分配。

Answer 6

这里几乎没有问题。 首先，你的基类析构函数必须是虚拟的。 否则，即使基类析构函数指向派生对象，也将始终被调用。 其次，不应将派生类对象分配给基类对象。 这称为对象切片。
因此，赋值应该通过指针或引用来完成。

发生分段问题是因为它包含垃圾值。 您需要在构造函数中对其进行初始化。

Answer 7

您的代码存在一些问题。

首先，您遇到段错误的原因是 Base ctor 的实现采用与类成员变量之一同名的参数：

class Base
{
protected:
  char *name;

public:
  Base(char ***name**)
  {
    cout << name << ": Base class cons" << endl;
  }

ctor 的参数“name”隐藏该类' 相同的成员变量，呃...名称。

其次，您在此处切片您的对象：

int main()
{
  //Base b;
  //b.disp();
  Base c = Child("2");
  c.disp();
}

'c'是输入 Base，并且您正在尝试为其分配一个 Child。 当您将 ogbject 分配给基类时，Child 特有的所有内容都将被删除。

这是解决这两个问题的代码：

#include <iostream>
#include <string>

using namespace std;

class Base
{
protected:
    std::string name_;

public:
  Base(char *name)
      : name_(name) {
    cout << name_ << ": Base class cons" << endl;
  }

  ~Base()
  {
    cout << name_ << ": Base class des" << endl;
  }

  virtual void disp();
};

void Base::disp()
{
  cout << name_ << ": Base disp()" << endl;
}

class Child : public Base
{
public:
  Child(char *name):
    Base(name)
  {
    cout << name_ << ": Child class cons" << endl;
  }

  ~Child()
  {
    cout << name_ << ": Child class des" << endl;
  }

  virtual void disp()
  {
    cout << name_ << ": Child disp()" << endl;
  }
};


int main()
{
  //Base b;
  //b.disp();
  Base * c = new Child("2");
  c->disp();
  delete c;
}