C++ 参考手册

位置:首页 > C++ 参考手册 >C++ 语言 > this 指针

语法

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 现在是未指明的

若程序能保证对象为 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 的成员函数中
        };
    }
}