this 指针

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

C++ 语言

 

类

概述

综述

class/struct 类型

union 类型

注入类名

成员

数据成员

静态成员

this 指针

嵌套类

成员模板

位域

using 声明

成员函数

成员访问指定符

构造函数与成员初始化器列表

默认成员初始化器(C++11)

friend 说明符

explicit 说明符

转换构造函数

特殊成员函数

默认构造函数

复制构造函数

移动构造函数(C++11)

复制赋值运算符

移动赋值运算符(C++11)

析构函数

继承

基与派生类

空基类优化

虚成员函数

纯虚函数与抽象类

override(C++11)

final(C++11)

 

语法

this

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

1) 在任意非静态成员函数体内，包括成员初始化器列表

2) 在非静态成员函数的声明中，（可能存在的）cv 限定符序列之后的任何位置，包括

动态异常说明、

(C++17 前)

noexcept 说明以及 尾随返回类型

(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 的控制块的负责减少引用数的成员函数中，在最后一个到被管理对象的引用离开作用域时。

(C++11 起)

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 的成员函数中
        };
    }
}