Art von 'diesem' Zeiger

Den Typ dieses Zeigers ist entweder ClassName * oder const ClassName * je nachdem, ob es kontrolliert wird, innerhalb einer nicht-const oder const-Methode der Klasse ClassName. Zeiger this ist kein lvalue.

class ClassName {
  void foo() {
    //here `this` has `ClassName *` type
  }

  void bar() const {
    //here `this` has `const ClassName *` type
  }
};

Die Beobachtung, die Sie bereits erwähnt, ist irreführend. Zeiger this ist nicht ein lvaluewas bedeutet, dass es kann möglicherweise nicht haben ClassName * const geben, d.h. es ist nicht möglich, einen const rechts von der *. Nicht-lvalues vom Typ Zeiger kann nicht const oder non-const. Es gibt einfach kein solches Konzept in C++ - Sprache. Was Sie beobachtet, muss eine interne Eigenart der spezifischen compiler. Formal ist es falsch.

Hier sind die relevanten Zitate aus der language-Spezifikation (Hervorhebung von mir)

9.3.2 Der this-Zeiger

In den Körper einer nicht-statischen (9.3) die Funktion das Schlüsselwort this ist
ein prvalue Ausdruck, dessen Wert der Adresse des Objekts, für
dem die Funktion aufgerufen wird. Die Art dieser in eine member-Funktion von
eine Klasse X X*. Wenn Sie die member-Funktion deklariert const, die Art der
dies ist const X*, wenn der member-Funktion deklariert ist flüchtig, der
geben Sie dieser flüchtig ist X* ein, und wenn die member-Funktion deklariert ist
const, volatile, in der Art von dies ist const volatile-X*. [ Anmerkung: also in
eine const-Memberfunktion das Objekt, für das die Funktion aufgerufen wird
zugegriffen wird über einen const-Zugriff Weg. —Ende Hinweis ]

Es ist nichts Wert, zurück in die C++98/C++03 mal mehrere Compiler verwendet eine interne implementational trick: Sie interpretieren Ihre this Zeiger als konstanter Zeiger, z.B. ClassName *const in einer nicht Konstanten Methode der Klasse ClassName. Diese scheinbar geholfen, um sicherzustellen, dass nicht-modifiablity von this. GCC und MSVC sind bekannt, verwendet die Technik. Es war ein harmloser trick, da das Sprachniveau this war nicht ein lvalue und seine constness war nicht nachweisbar. Die extra - const würde in der Regel zeigen sich erst im Diagnose-Meldungen, die durch den compiler.

Jedoch, mit dem Aufkommen von rvalue-Referenzen in C++11 ist es möglich geworden, zu erkennen, diese extra const auf die Art der this. Zum Beispiel, der folgende code ist gültig für C++11

struct S
{
  void foo() { S *&&r = this; }
};

Aber es wird in der Regel nicht kompiliert werden, in Implementierungen, die noch mit den oben genannten Tricks. GCC hat da aufgegeben, die Technik. MSVC++ weiterhin verwendet werden (wie von VS2017), die verhindert, dass die oben perfekt gültigen code aus kompilieren in MSVC++.

InformationsquelleAutor der Antwort AnT

Gab es eine Menge Diskussionen über und die main post nicht richtige Antwort.
Menschen könnten nicht im Graben Kommentare, so ist es besser zu teilen als Haupt-port (PS).

Habe ich einige Untersuchung auf Ubuntu als auch auf VC++, aber es gibt keine richtige Ausgabe (mit typeid(X).name ).

Den Typ der this-Zeiger für eine member-Funktion einer Klasse Typ X, ist X* const. Wenn Sie die member-Funktion deklariert ist, mit der const-Qualifizierer, der Typ der this-Zeiger ist für das member-Funktion der Klasse X, const X* const.
MSDN-link

Konzeptionell ist dies richtig auch, für normale member-Funktion "X* const" - das ist, warum es nicht l-Wert (wie Sie können nicht ändern, seinen Inhalt).

InformationsquelleAutor der Antwort nky