this 指针
来自cppreference.com
语法
this
|
|||||||||
关键词 this
是一个纯右值表达式,它的值是隐式对象形参(在其上调用非静态成员函数的对象)的地址。它能出现于下列语境:
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 的成员函数中 }; } }