Question

我认为根据我的研究对此有一个很好的感觉但是想要确认。我一直在学习继承以及虚拟方法的工作原理。

在底部的代码中，我在运行main时获得结果（上面的代码）。如果我将printType方法切换为非虚拟方法，我会得到＆＃34; AbstractClass＆＃34;打印出来。

据我了解，使用＆＃34;虚拟＆＃34;表示该方法可能被覆盖 - 并始终选择＆＃34;最后一次重新实现＆＃34;在这种情况下，在ImplementationClass中。我的问题是：

1）这总是会发生吗？或者有些情况下，即使它是一个虚拟方法，你可能最终会调用AbstractClass（或其他类，如果它被多次继承）的方法被调用？

2）似乎你无法实例化包含虚方法的类的非指针。这是真的吗？

3）我假设我的两个例子中没有什么不同，但我只有大约80％的确定。

非常感谢您的帮助，从阅读中弄清楚整个虚拟方法的事情很复杂（这就是为什么我首先创建了一个虚拟项目！）。

after redefinition 
ImplementationClass
printing from virtual method in ImplementationClass

second set of examples 
ImplementationClass
printing from virtual method in ImplementationClass

#include <iostream>
using namespace std;

class AbstractClass{

public:
    virtual void printStuff() = 0;
    AbstractClass() {};
    ~AbstractClass() {};

    virtual void printType() { std::cout << "AbstractClass" << std::endl; }
    // void printType() { std::cout << "AbstractClass" << std::endl; }

};
class ImplementationClass : public AbstractClass {

public:
    void printStuff() { std::cout << "printing from virtual method in ImplementationClass" << std::endl;}
    void printType() { std::cout << "ImplementationClass" << std::endl; }
    void printStuffOnlyInDerived() {std::cout << "printing from NONvirtual method in ImplementationClass" << std::endl;}


    ImplementationClass() {};
    ~ImplementationClass() {};
};




int main () {

    AbstractClass * absClass;
    ImplementationClass * impClass= new ImplementationClass;

    absClass = impClass;

    printf("\nafter redefinition \n");  
    absClass->printType();
    absClass->printStuff();


    AbstractClass * absClassNonPtrImpClass = new ImplementationClass;

    printf("\n second set of examples \n"); 
    absClassNonPtrImpClass->printType();
    absClassNonPtrImpClass->printStuff();


    return 0;
}

Answer 1

是的，您可以显式指定基类方法并调用它，即使通过指向派生类（pDerived->Base::virtualMethod()的指针 - 这将调用Base的{{1}}实现{1}}）。您还可以slice派生类对象并丢失多态性。
您无法使用 abstract 方法（使用= 0声明）创建类的对象，但您当然可以使用具有实现的虚方法创建类的对象。

Answer 2

1）是的，多态性始终有效。

2）你弄错了，你可以在自动存储中实例化类的对象。

你的例子中你不能这样做是因为你的基类是抽象的。

此：

AbstractClass * absClass;

仅声明指向基类的指针。它不会创建实际对象。

以下是合法的：

ImplementationClass x;

虽然ImplementationClass是多态类型，但您在自动存储中创建了一个对象（而不是通过指针调用的对象）。您可以这样做，因为基类中的抽象方法是在派生类中实现的。

Answer 3

1）这总是会发生吗？

是

是否存在可能最终使用AbstractClass（或其他类，如果它被多次继承）的方法被调用的实例，即使它是一个虚方法？

是，如果它未在派生类中定义且不= 0。如果它是在派生类中定义的，您仍然可以使用BaseClass :: Method（）调用基类的版本;

2）似乎你无法实例化包含虚方法的类的非指针。这是真的吗？

你可以实例化一个包含虚方法的类，但是如果它们是0，那么它是抽象的，你不能。

继承和虚拟方法

3 个答案: