繼承和虛擬方法

Question

基於我的研究，我認爲這有一個很好的感覺，但希望得到確認。我一直在學習繼承和虛擬方法的工作方式。

在底部的代碼中，運行main時會得到結果（上面的代碼）。如果我將printType方法切換爲非虛擬方式，則會打印出「AbstractClass」。

據我所知，使用「虛擬」表示該方法可能被覆蓋 - 並總是選擇該方法的「最後重新實現」，在這種情況下在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

1）這是否總是會發生？

是

有沒有在那裏你可以從抽象類的方法最終實例（或其它類，如果它繼承了多次）被調用，即使它是一個虛擬的方法？

是的，如果沒有在派生類中定義的，並不= 0 如果定義在派生類，您仍然可以調用基類的版本的BaseClass ::方法（） ;

2）似乎你不能實例化一個包含虛擬方法的類的非指針。這是真的？

你可以實例化一個包含虛擬方法的類，但是如果它們= 0，那麼它是抽象的，你不能。

Answer 2

1）是的，多態性始終有效。

2）你弄錯了，你可以在自動存儲中實例化類的對象。

你不能在你的例子中的原因是因爲你的基類是抽象的。

此：

AbstractClass * absClass; 

僅聲明一個指針的基類。它不會創建實際的對象。

以下是合法的：

ImplementationClass x; 

雖然ImplementationClass是一個多態型，您可以創建在自動存儲對象（而不是你通過指針叫什麼）。你可以這樣做，因爲基類中的抽象方法是在派生類中實現的。

Answer 3

1. 是的，你可以明確地指定基類的方法，並調用它，即使是通過指針指向一個派生類（pDerived->Base::virtualMethod() - 這將調用Base的實施virtualMethod()）。你也可以使用slice派生類對象，並且也會丟失多態性。

2. 您不能用抽象方法（用= 0聲明）創建類的對象，但您可以使用具有實現的虛擬方法創建類的對象。