Bitte klären const Qualifier Ausbreitung

Question

Angenommen, wir haben ein folgendes Stück Code:

class Base { 
    public: 
    int a = 5; 
}; 

class Derived : public Base { 
    public: 
    Base *parent_ = new Base; 
    Base* parent() const { return parent_; } 
}; 

void f(const Derived *derived) { 
    Base *p = derived->parent(); 
    p->a = 10; // <- is this correct? 
} 

Ich persönlich denke, hier ist ein Problem:

In Funktion f nehmen wir einen Zeiger auf const Objekt der Klasse Derived. Dies macht jedes Mitglied davon auch const also parent_ wird const Base *. Wenn es const ist, sollten wir nicht in der Lage sein, das Objekt zu modifizieren, auf das der Zeiger zeigt.

Wo liege ich falsch?

Answer 1

Dies macht jedes Mitglied davon auch const so parent_ wird const Base *.

Nein, der Zeiger wird const selbst, nicht das Objekt, auf das er zeigt. So parent_ wird Base * const, nicht const Base *, und Ihr Code ist gültig.

Answer 2

Base* parent() const { return parent_; } 

Leider ist dies ein Problem mit C++. Methode ist const, aber es ist eine nicht-const Zeiger zurückkehrt, die folgende Operation ermöglichen würde, um erfolgreich zu sein:

p->a = 10; // <- is this correct? 

Es ist Aufgabe des Programmierers nicht nicht-const Zeiger oder Referenzen von Funktionen zurückzukehren (Methode ist const oder nicht).

Answer 3

Wie tobi303 zeigt unten, ist diese Antwort falsch. Halte es hier wegen der folgenden Diskussion.

---

könnte ich falsch sein, aber diese Zeile:

Base* parent() const { return parent_; } 

nicht erwähnt nichts über const Objekte zurück. Es entspricht

Base* parent() const { return this->parent_; } 

wo this ist const Derived*, aber parent_ ist noch Base*.

Answer 4

Eine const-Methode verhindert nur, dass die Methode nicht veränderbare Datenelemente der Klasse ändert.

Wenn Sie wollen nicht die Änderung von a erlauben und nicht wollen, um die Klasse zu aktualisieren, müssen Sie schreiben:

const Base *p = derived->parent(); 

Allerdings würde ich empfehlen Sie nicht nicht konstante Datenelemente zurück aus einer Klasse als ref oder Zeiger, da dies das Datenkapselungskonzept von C++ durchbricht. Dies gilt natürlich auch für die Öffentlichkeit a.