从const对象调用非const成员函数而不使用this，为什么是错误？

Question

在g中运行下面的代码将导致以下错误：

错误：将“const A”传递为“this”参数会丢弃限定符[-fpermissive]

struct A{
    void f(){};
};

int main(){
    const A a;
    a.f();
    return 0;
}

我们在哪里使用this？

F允许意味着代码不一致。标准在哪里规定这是一个错误？

Answer 1

本标准涵盖了[class.this]中的本标准。具体参见示例2，其中（部分）说明：

调用y.g（）格式错误，因为y是const和s​::​g（）是一个非常量成员函数。

当应用于您的代码时，等效语句是：

调用a.f（）的格式不正确，因为a是常量​::f（）是一个非常量成员函数。

更清楚地说：A::f（）是非const，因为它缺乏const限定；f（）是否是合法的const函数（如果添加了const限定）是不相关的。

不过，也许您真正感兴趣的是[class.this]的第一部分，其中它指出关键字this在每个非静态成员函数中都具有含义，无论是否this曾经在该函数中使用过。