Se `this` non è const, perché non posso modificarlo?

Question

In I this puntatore [class.this], il C++ stati standard:

Il tipo di this in una funzione membro di una classe X è .

, ovvero this non è const. Ma perché è allora che

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

dà

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) 

In altre parole, non è thisconst, ma è davvero!

Answer 1

Perché nello stesso paragrafo, si dice anche che this è un prvalue ("valore puro").

Esempi menzionati nello standard per valore puro sono il risultato di chiamare una funzione che non restituisce un riferimento o valori letterali come 1, true o 3.5f. Il parametro this non è una variabile, è più simile a un valore letterale che si espande all'indirizzo dell'oggetto per cui la funzione è denominata ([class.this]). E come per es. letterale true ha tipo bool e nonbool const, this è di tipo e nonX*const.