this 指针

来自cppreference.com
< cpp‎ | language

[编辑] 语法

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-> 可以用于强制另一表达式变为依赖的。

在一个对象的构造期间,若通过不直接或间接从构造函数的 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 现在是未指定的

可以执行 delete this; ,若程序能保证对象为 new 所分配,然而,这会令每个指向被解分配对象的指针非法,含 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 的成员函数中
        };
    }
}