【发布时间】:2012-06-29 22:00:20
【问题描述】:
我试图理解 C++ 中的一点。 如果类 A 有一个非虚拟方法,而扩展 A 的类 B 覆盖该方法,我可以创建 B 的实例并以某种方式使用 B 中定义的方法吗? 是否有必要重写非虚拟方法?
【问题讨论】:
-
你所描述的叫做隐藏,而不是覆盖。看这里,例如:stackoverflow.com/questions/2161462/…
标签: c++ polymorphism overriding
我试图理解 C++ 中的一点。 如果类 A 有一个非虚拟方法,而扩展 A 的类 B 覆盖该方法,我可以创建 B 的实例并以某种方式使用 B 中定义的方法吗? 是否有必要重写非虚拟方法?
【问题讨论】:
标签: c++ polymorphism overriding
是否有必要重写非虚拟方法?
您实际上并没有覆盖,但这是行为,即
B* b = new B();
A* a = new B();
b->method(); //Calls B's method
a->method(); // Calls A's method
所以,指针/引用类型决定了调用的方法。
我可以创建一个 B 的实例并以某种方式使用 B 中定义的方法吗?
是的。指针/引用类型必须是 B 类型。(参见前面的示例)。
如果您不将method 声明为virtual,则不能覆盖它,但可以隐藏它。
【讨论】:
A 又派生自某个声明virtual method() 的基类(或实现接口)的情况,在这种情况下a->method() 实际上会调用@ 987654327@...
如果B 继承自A,并重新定义了A 中定义的方法,那么B 的新实例将调用B 的版本。但是,如果方法不是虚拟的,则不存在多态行为,因此如果B 的实例被引用为A,那么该方法将是A 的。例如:
struct A {
void foo () { std::cout << "A::foo" << std::endl; }
};
struct B : public A {
void foo () { std::cout << "B::foo" << std::endl; }
};
B b;
b.foo();
A *a = &b;
a->foo();
上面代码的输出是:
B::foo
A::foo
但是,如果 foo 方法是虚拟的,那么 B::foo 将被打印两次。
【讨论】:
如果函数不是virtual,那么变量的类型也决定了调度哪个实现:
#include <iostream>
using namespace std;
struct A {
void f() { cout << "A" << endl; }
};
struct B : public A {
void f() { cout << "B" << endl; }
};
int main(int args, char** argv) {
B b;
A& a = b;
b.f();
a.f();
return 0;
}
【讨论】:
【讨论】: