Nếu `this` không phải là const, tại sao tôi không thể sửa đổi nó?

Question

Trong Các this con trỏ [class.this], C++ tiêu chuẩn quốc gia:

Loại this trong một hàm thành viên của một lớp X là .

tức là this không phải là const. Nhưng tại sao nó thì đó

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

cho

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) 

Nói cách khác, this không const, nhưng nó thực sự là!

Answer 1

Vì trong cùng một đoạn, nó cũng được đề cập rằng this là prvalue ("giá trị thuần túy").

Ví dụ được đề cập trong tiêu chuẩn cho giá trị thuần túy là kết quả của việc gọi hàm không trả về tham chiếu hoặc các chữ như 1, true hoặc 3.5f. Con trỏ this không phải là biến, nó giống như một chữ cái mở rộng đến địa chỉ của đối tượng mà hàm được gọi là ([class.this]). Và giống như ví dụ đen true có kiểu bool và khôngbool const, this là loại và khôngX*const.