this 指针

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (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 是一个纯右值表达式，它的值是隐式对象形参（在它之上调用非静态成员函数 (C++23 前)隐式对象成员函数 (C++23 起)的对象）的地址。它能在以下语境出现：

1) 在任意非静态成员函数 (C++23 前)隐式对象成员函数 (C++23 起)体内，包括成员初始化器列表和 lambda 表达式体

2) 在非静态成员函数 (C++23 前)隐式对象成员函数 (C++23 起)的声明中，（可能存在的）cv 限定符序列之后的任何位置，包括

动态异常说明、

(C++17 前)

noexcept 说明以及 尾随返回类型

(C++11 起)

3) 在默认成员初始化器中 4) 在 lambda 表达式的捕获列表中

(C++11 起)

解释

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 的成员函数中
                                  // 即使在 Outer 的成员函数中，
                                  // this 也不会与 Outer 关联
        };
    }
};

在类 X 的成员函数中，this 的类型是 X*（指向 X 的指针）。如果成员函数的声明有 cv 限定符序列 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; }
};

关键词

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
    }
};

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	出版时的行为	正确行为
CWG 760	C++98	未指明在嵌套类中用到的 this 与嵌套类还是外围类关联	this 始终与最内层嵌套类关联， 无论它是否在非静态成员函数中
CWG 2271	C++98	this 可以在构造非 const 对象时被别名化	此时也禁止别名化