命名空间
变体
操作

this 指针

来自 cppreference.com
< cpp‎ | 语言
 
 
C++ 语言
 
 

内容

[编辑] 语法

this

表达式 this 是一个 右值 表达式,其值为 隐式对象参数(调用隐式对象成员函数的对象)的地址。它可以出现在以下上下文中

1) 在任何 隐式对象成员函数 的主体中,包括 成员初始化列表lambda 表达式主体(自 C++11 起).
2) 在任何隐式对象成员函数的 声明 中,在(可选)cv 限定符序列之后,包括 异常说明 和尾随返回类型(自 C++11 起).
4) 在 lambda 表达式的 捕获列表 中。
(自 C++11 起)

[编辑] 解释

this 只能与它出现的最近的封闭类相关联,即使它在上下文中无效

class Outer
{
    int a[sizeof(*this)];            // Error: not inside a member function
    unsigned int sz = sizeof(*this); // OK: in default member initializer
 
    void f()
    {
        int b[sizeof(*this)];     // OK
 
        struct Inner
        {
            int c[sizeof(*this)]; // Error: not inside a member function of Inner
                                  // “this” is not associated with Outer
                                  // even if it is inside a member function of Outer
        };
    }
};

在类 X 的成员函数中,this 的类型是 X*(指向 X 的指针)。如果成员函数 用 cv 限定符序列声明 cv,则 this 的类型是 cv X*(指向相同 cv 限定的 X 的指针)。由于构造函数和析构函数不能用 cv 限定符声明,因此它们中 this 的类型始终为 X*,即使在构造或销毁 const 对象时也是如此。

在类模板中,this 是一个 依赖表达式,可以使用显式 this-> 来强制另一个表达式变为依赖项。

template<typename T>
struct B
{
    int var;
};
 
template<typename T>
struct D : B<T>
{
    D()
    {
        // var = 1;    // Error: “var” was not declared in this scope
        this->var = 1; // OK
    }
};

在对象构造期间,如果对象的任何值或其任何子对象的值是通过非直接或间接从构造函数的 this 指针获得的 glvalue 访问的,则这样获得的对象或子对象的值是未指定的。换句话说,this 指针在构造函数中不能被别名。

extern struct D d;
 
struct D
{
    D(int a) : a(a), b(d.a) {} // b(a) or b(this->a) would be correct
    int a, b;
};
 
D d = D(1); // because b(d.a) did not obtain a through this, d.b is now unspecified

如果程序可以保证对象是由 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;       // same as this->x = 6;
        this->x = 5; // explicit use of this->
    }
 
    void foo() const
    {
    //  x = 7; // Error: *this is constant
    }
 
    void foo(int x) // parameter x shadows the member with the same name
    {
        this->x = x; // unqualified x refers to the parameter
                     // “this->” is required for disambiguation
    }
 
    int y;
    T(int x) : x(x),      // uses parameter x to initialize member x
               y(this->x) // uses member x to initialize member y
    {}
 
    T& operator=(const T& b)
    {
        x = b.x;
        return *this; // many overloaded operators return *this
    }
};

[编辑] 缺陷报告

以下行为更改缺陷报告被追溯应用到之前发布的 C++ 标准。

DR 应用于 发布的行为 正确行为
CWG 760 C++98 this 用于嵌套类时,它
未指定它是否与
嵌套类或外围类相关联
this 始终与
最内层嵌套类相关联,
无论它是否在
非静态成员函数中
CWG 2271 C++98 this 在构建非常量对象时可能被别名化
构建非 const 对象
别名在
这种情况下也禁止
CWG 2869 C++98 不清楚 this 是否可以在
非关联类的静态成员函数中使用
澄清