如果`this`不是const，为什么我不能修改它？

Question

在this指针 [class.this]中，C ++标准规定：

的类型的this类中的成员函数X是X* 。

即this不是const 。 但那为什么呢

struct M {
    M() { this = new M; }
};

给

error: invalid lvalue in assignment  <-- gcc
'=' : left operand must be l-value   <-- VC++
'=' : left operand must be l-value   <-- clang++
'=' : left operand must be l-value   <-- ICC
(source: some online compiler frontends)

换句话说， this不是const ，但它确实是！

Answer 1

因为在同一段中，还提到this是一个prvalue （“纯rvalue”）。

纯rvalue标准中提到的示例是调用不返回引用的函数或者像1 ， true或3.5f这样的文字的3.5f 。 this -pointer不是一个变量，它更像是一个文字扩展到调用该函数的对象的地址 （[class.this]）。 并且例如文字true具有类型bool而不是 bool const ， this是类型X*而不是 X*const 。