"final" -Klasse Implementierung in C++

Question

Ich habe versucht, den Implementierungscode von "final" in cpp zu verstehen:

folgenden ist der Code:

/* A program with compilation error to demonstrate that Final class cannot 
    be inherited */ 

class Final; // The class to be made final 

class MakeFinal // used to make the Final class final 
{ 
private: 
    MakeFinal() { cout << "MakFinal constructor" << endl; } 
friend class Final; 
}; 

class Final : virtual MakeFinal 
{ 
public: 
    Final() { cout << "Final constructor" << endl; } 
}; 

class Derived : public Final // Compiler error 
{ 
public: 
    Derived() { cout << "Derived constructor" << endl; } 
}; 

int main(int argc, char *argv[]) 
{ 
    Derived d; 
    return 0; 
} 

Ausgang: Compilerfehler

In constructor 'Derived::Derived()': 
error: 'MakeFinal::MakeFinal()' is private 

In diesem konnte ich die Logik der virtuellen Übernahme der MakeFinal-Klasse nicht verstehen. Wir könnten es einfach (makeFinal-Klasse) als public geerbt haben und selbst in diesem Fall hätten wir es nicht weiter erben können (weil der Makefile-Konstruktor privat ist und nur die Final-Klasse, die sein Freund ist, darauf zugreifen kann) .

Irgendein Zeiger ??

Answer 1

Es würde nicht funktionieren. Nicht-virtuelle Basisklassen werden immer von der Klasse initialisiert, die unmittelbar von ihnen abgeleitet ist. Das heißt, wenn das Szenario wie folgt dar:

class Final : public MakeFinal 
{ 
public: 
    Final() {} 
}; 

class Derived : public Final 
{}; 

dann der Ctor von Derived nur initialisiert Final, was in Ordnung ist (Final hat eine öffentliche Ctor). Final 's ctor initialisiert dann MakeFinal, was auch möglich ist, da Final ein Freund ist.

Bei virtuellen Basisklassen ist die Regel jedoch anders. Alle virtuellen Basisklassen werden vom ctor des am meisten abgeleiteten Objekts initialisiert. Das heißt, wenn eine Instanz von Final erstellt wird, ist es Final 's ctor, die MakeFinal initialisiert. Wenn Sie jedoch versuchen, eine Instanz von Derived zu erstellen, muss es Derived 's ctor sein, der MakeFinal initialisiert. Und das ist unmöglich, wegen MakeFinal 's privaten ctor.

Beachten Sie auch, dass C++ 11 das Schlüsselwort final für Klassen (und virtuelle Funktionen) eingeführt hat.