代码之家 › 专栏 › 技术社区 › BarsMonster

C++类:派生类和虚方法[复制]

virtual inheritance c++

BarsMonster · 技术社区 · 14 年前

可能的重复:
C++ : implications of making a method virtual
Why is 'virtual' optional for overridden methods in derived classes?

我想知道,在以下情况下,记录的行为是什么:

你有

class A
{
 virtual void A()
 {
   cout << "Virtual A"<<endl;
 }
 void test_A()
 {
   A();
 }
}

class B: public A
{
  void A()
  {
   cout << "Non-virtual A in derived class"<<endl;
  }

  void test_B()
  {
    A();
  }
}

A a; B b;
a.test_A();
b.test_A();
b.test_B();

按照C++标准应该做什么?为什么? GCC的工作方式类似于B::A也是虚拟的。

当派生类中的非虚拟方法重写虚拟方法时,通常应该发生什么情况?

4 回复 | 直到 7 年前

Björn Pollex 14 年前

如果存在具有相同名称和签名的虚拟基类成员函数,则子类成员函数隐式虚拟化。

David Rodríguez - dribeas 14 年前

代码不应该编译,因为不能用类的名称命名方法。但关于我的理解这是你真正的问题:

使一个方法成为虚的意味着所有派生类中的同一个方法都是虚的,即使 virtual 关键字不存在?

答案是肯定的。一旦一个方法在类中声明为虚的,那么该方法的所有重写都将是虚的,并且 事实上的 关键字在派生类中是可选的(即使我建议键入它,如果仅用于文档目的)。注意,要使派生类中的方法成为重写,它必须具有相同的名称和签名,唯一的潜在差异是协变返回类型:

struct A {};
struct B : A {};
struct base {
   virtual A* foo();
   virtual A* bar();
};
struct derived : base {
   virtual B* foo();    // override, covariant return type
   virtual int bar();   // not override, return type is not covariant
   virtual A* bar(int); // not override, different argument list
};

Chubsdad 14 年前

此代码格式错误。构造函数不能有返回类型(就像对“A”的构造函数所做的那样)。构造函数也不能是虚拟的。

在修复了一个构造函数之后,B类的形状不正确,它是一个私有的构造函数。

因此,这段代码有很多问题(包括类定义中缺少分号)。

Chubsdad 14 年前

按照标准应该是

A a; B b;
a.test_A();  //"Virtual A"
b.test_A(); //Non-virtual A in derived class
b.test_B(); //Non-virtual A in derived class

推荐文章

Brendan · Java中从父类继承的对象的ArrayList

2 年前

Bradley Marques · Python在父类静态/类方法中获取子类

2 年前

Tali · 继承-您应该使用基类,还是它们只是子类的框架?

2 年前

mask2 · 如何轻松访问继承类的功能?

2 年前

Vance Brockberg · 使用标记接口在Java中实现伪枚举继承

2 年前

Dimon · 父类中的Setter,以及一些没有参数的子类

2 年前

Miguerurso · Javascript类继承无法正常工作

2 年前

GuessMe · 返回新类对象的正确方法(也可以扩展)

2 年前

Daniel Lizik · 重写父类构造函数的子类成员初始值设定项

2 年前

i_know_what · 以基类作为参数重写错误的方法

2 年前