this 指针

< cpp‎ | language
 
C++
 
C++ 语言
 
类
 

语法

this

关键词 this 是一个纯右值表达式，其值是隐式对象形参（在其上调用非静态成员函数的对象）的地址。它能出现于下列语境：

1) 在任何非静态成员函数体内，包括成员初始化器列表
2) 在非静态成员函数的声明中，（可选的）cv 限定符序列之后的任何位置，包括动态异常说明(弃用)、noexcept 说明(C++11)以及尾随返回类型(C++11 起)
3) 在默认成员初始化器中 (C++11 起)

在类 X 的成员函数中，this 的类型是 X*（指向 X 的指针）。若成员函数有 cv 限定，则 this 的类型是 cv X*（指向同一 cv 限定的 X 的指针）。因为构造函数与析构函数不能有 cv 限定，故它们之中 this 的类型始终是 X*，即使在构造或销毁 const 对象时也是如此。

当在任何允许 this 关键词的语境（非静态成员函数体、成员初始化器列表、默认成员初始化器）中使用非静态数据成员时，其名字之前会自动添加隐含的 this->，产生一个成员访问表达式（若该成员是虚成员函数，则产生虚函数调用）。

在类模板中，this 是一个待决表达式，而且显式的 this-> 可以用于强行使另一表达式变为待决的。 

template<typename T>
struct B {
    int var;
};
 
template<typename T>
struct D : B<T> {
    D() {
        // var = 1;    // 错误： 'var' 未在此作用域中声明
        this->var = 1; // ok
    }
};

在对象的构造期间，若通过并非直接或间接从构造函数的 this 指针获得的泛左值，访问对象的值或其任何子对象，则如此获得的对象或子对象的值是未指明的。换言之，构造函数中 this 指针不能被别名化： 

extern struct D d;
struct D {
    D(int a) : a(a), b(d.a) {} // b(a) 或 b(this->a) 是正确的
    int a, b;
};
D d = D(1);   // 因为 b(d.a) 未通过 this 访问，所以 d.b 现在是未指明的

若程序能保证对象为 new 所分配，则可以执行 delete this;，然而，这会令指向被解分配对象的所有指针失效，包括 this 指针自身：在 delete this; 返回后，这种成员函数不能引用类的成员（因为这牵涉到 this 的隐式解引用），且不可再调用其他成员函数。例如，这被用于 std::shared_ptr 的控制块的负责减少引用数的成员函数中，在最后一个到被管理对象的引用离开作用域时。 

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

示例

class T
{
    int x;
 
    void foo()
    {
        x = 6;       // 等同于 this->x = 6;
        this->x = 5; // 显式使用 this->
    }
 
    void foo() const
    {
//        x = 7; // 错误：*this 是常量
    }
 
    void foo(int x) // 形参 x 遮蔽拥有相同名字的成员
    {
        this->x = x; // 无限定的 x 代表形参
                     // 需要用‘this->’消歧义
    }
 
    int y;
    T(int x) : x(x), // 用形参 x 初始化成员 x
               y(this->x) // 用成员 x 初始化成员 y
    {}
 
    T& operator= ( const T& b )
    {
        x = b.x;
        return *this; // 许多重载运算符都返回 *this
    }
};
 
class Outer {
    int a[sizeof(*this)]; // 错误：不在成员函数中
    unsigned int sz = sizeof(*this); // OK：在默认成员初始化器中
    void f() {
        int b[sizeof(*this)]; // OK
        struct Inner {
            int c[sizeof(*this)]; // 错误：不在 Inner 的成员函数中
        };
    }
}