this 指针
来自cppreference.com
目录 |
[编辑]语法
this | |||||||||
表达式 this 是一个纯右值表达式，它的值是隐式对象形参（在它之上调用隐式对象成员函数的对象）的地址。它能在以下语境出现：
3) 在默认成员初始化器中。 4) 在 lambda 表达式的捕获列表中。 | (C++11 起) |
[编辑]解释
this 只能与它出现处最内层的外围类关联，即使它不能在该语境中出现：
class Outer {int a[sizeof(*this)];// 错误：不在成员函数中unsignedint 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-> 可以用于强行使另一表达式变为待决的。
template<typename T>struct B {int var;}; template<typename T>struct D : B<T>{ D(){// var = 1; // 错误：“var” 没有在此作用域中声明 this->var =1;// OK}};
在对象的构造期间，如果通过并非直接或间接从构造函数的 this 指针获得的泛左值访问对象或它的任何子对象的值，那么如此获得的对象或子对象的值是未指明的。换言之，构造函数中 this 指针不能被别名化：
externstruct 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}};
[编辑]缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| CWG 760 | C++98 | 未指明在嵌套类中用到的 this 与嵌套类还是外围类关联 | this 始终与最内层嵌套类关联， 无论它是否在非静态成员函数中 |
| CWG 2271 | C++98 | this 可以在构造非 const 对象时被别名化 | 此时也禁止别名化 |
| CWG 2869 | C++98 | 不明确是否可以在非关联类的静态成员函数中使用 this | 使之明确 |
