Указатель this

Синтаксис

Выражение this — это prvalue-выражение, значение которого является адресом параметра неявного объекта (объекта, для которого вызывается функция-член с неявным объектом). Оно может встречаться в следующих контекстах:

Пояснение

this может связываться только с самым внутренним охватывающим классом в месте своего появления, даже если такое появление недопустимо в данном контексте:

class Outer
{
    int a[sizeof(*this)];            // Error: not inside a member function
    unsigned int sz = sizeof(*this); // OK: in default member initializer
    
    void f()
    {
        int b[sizeof(*this)];     // OK
        
        struct Inner
        {
            int c[sizeof(*this)]; // Error: not inside a member function of Inner
                                  // “this” is not associated with Outer
                                  // even if it is inside a member function of Outer
        };
    }
};

Тип this в функции-члене класса X — это X* (указатель на X). Если функция-член объявлена с последовательностью cv-квалификаторов cv, тип this — это cv X* (указатель на X с теми же cv-квалификаторами). Поскольку конструкторы и деструкторы нельзя объявлять с cv-квалификаторами, тип this в них всегда X*, даже при создании или уничтожении константного объекта.

В шаблонах классов this является зависимым выражением, и для того, чтобы сделать другое выражение зависимым, можно явно использовать this->.

template<typename T>
struct B
{
    int var;
};

template<typename T>
struct D : B<T>
{
    D()
    {
        // var = 1;    // Error: “var” was not declared in this scope
        this->var = 1; // OK
    }
};

При конструировании объекта, если значение объекта или любого из его подобъектов считывается через glvalue, полученное не прямо или косвенно из указателя this конструктора, значение полученного таким образом объекта или подобъекта не определено. Иными словами, в конструкторе указатель this не может быть псевдонимизирован:

extern struct D d;

struct D
{
    D(int a) : a(a), b(d.a) {} // b(a) or b(this->a) would be correct
    int a, b;
};

D d = D(1); // because b(d.a) did not obtain a through this, d.b is now unspecified

Можно выполнить delete this;, если программа может гарантировать, что объект был выделен с помощью new, однако это делает недействительными все указатели на освобождённый объект, включая сам указатель this: после возврата из delete this; такая функция-член не может обращаться к члену класса (поскольку это подразумевает неявное разыменование this), а также нельзя вызывать никакие другие функции-члены.

Это можно использовать в функции-члене указателя со счётчиком ссылок (например, std::shared_ptr)(начиная с C++11), отвечающей за уменьшение счётчика ссылок, когда последняя ссылка на управляемый объект выходит из области видимости.

class ref
{
    // ...
    void incRef() { ++mnRef; }
    void decRef() { if (--mnRef == 0) delete this; }
};

Ключевые слова

this

Пример

class T
{
    int x;
    
    void foo()
    {
        x = 6;       // same as this->x = 6;
        this->x = 5; // explicit use of this->
    }
    
    void foo() const
    {
    //  x = 7; // Error: *this is constant
    }
    
    void foo(int x) // parameter x shadows the member with the same name
    {
        this->x = x; // unqualified x refers to the parameter
                     // “this->” is required for disambiguation
    }
    
    int y;
    T(int x) : x(x),      // uses parameter x to initialize member x
               y(this->x) // uses member x to initialize member y
    {}
    
    T& operator=(const T& b)
    {
        x = b.x;
        return *this; // many overloaded operators return *this
    }
};

Отчёты об ошибках

Следующие отчёты об ошибках, изменяющие поведение, были применены задним числом к ранее опубликованным стандартам C++.