Art von "das" in C++?

Question

struct Foo 
{ 
void f() 
{ 
// (*) 
} 
}; 

Was ist der Typ von "this" in der mit (*) markierten Zeile?

Ist es const Foo * oder Foo *?

Answer 1

n3376 9.3.2/1

In dem Körper einer nicht-statisch (9.3) Mitgliedsfunktion, das Schlüsselwort dies ist ein Ausdruck prvalue dessen Wert ist die Adresse des Objekts für welche die Funktion aufgerufen wird.

Der Typ dieser in einer Elementfunktion von eine Klasse X ist X *. Wenn die Memberfunktion als const deklariert ist, lautet der Typ const X *, wenn die Memberfunktion als flüchtig deklariert ist, deren Typ flüchtig X * ist, und wenn die Memberfunktion const volatile deklariert ist ist const flüchtig X *.

Answer 2

this bezieht sich auf das aktuelle Objekt. Der Typ this in C++ ist Foo *const.

Answer 3

Innen f hat thisFoo * geben, weil f keine Funktion const Mitglied ist.

Sie können f auf einem Objekt const Foo nicht aufrufen. Im Folgenden ist fehlerhaft:

const Foo obj; 
obj.f(); 

Das ist genau das, weil im Innern Foo::f, die this Zeiger Foo * statt const Foo *, und so der Funktionsaufruf fordert einen Zeiger Umwandlung, die einen Qualifier verwirft.

Der Zeiger this selbst ist keine Variable. Es ist nicht zuweisbar, aber nicht wegen eines const Qualifiers. Es gibt keine Deklaration wie z. B. Foo *const this. Ein this Ausdruck ist einfach kein Wert, als eine Regel der Sprache.

Der Zeiger this unterscheidet sich nicht sehr von &obj.

Answer 4

Der Typ hängt von der Elementfunktion ab.

Zum Beispiel für eine Klasse X, wenn die Mitgliederfunktionen

1) const, dann ist dies vom Typ const X *

2) flüchtigen, dann ist diese volatil X * etc

sonst ist es X *