this 指针
来自cppreference.com
语法
this
|
|||||||||
表达式 this 是一个纯右值表达式，它的值是隐式对象形参（在它之上调用隐式对象成员函数的对象）的地址。它能在以下语境出现：
|
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-> 可以用于强行使另一表达式变为待决的。
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
}
};
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
| 缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
|---|---|---|---|
| CWG 760 | C++98 | 未指明在嵌套类中用到的 this 与嵌套类还是外围类关联
|
this 始终与最内层嵌套类关联，无论它是否在非静态成员函数中 |
| CWG 2271 | C++98 | this 可以在构造非 const 对象时被别名化
|
此时也禁止别名化 |
| CWG 2869 | C++98 | 不明确是否可以在非关联类的静态成员函数中使用 this
|
使之明确 |