如果`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 。