从 const 对象调用非常量成员函数而不使用 this，为什么会出错？

Question

在g++中运行下面的代码会出现如下错误：

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

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

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

我们在哪里使用this？

fpermissive 意味着代码不符合要求。 标准在哪里声明这是一个错误？

Answer 1

该标准涵盖[class.this] 中的this。特别是，请参阅示例 2，其中（部分）说：

调用 y.g() 格式错误，因为 y 是 const 而 s​::​g() 是非常量成员函数。

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

调用 a.f() 格式不正确，因为 a 是 const 而 A​::f() 是非常量成员函数。

更清楚一点：A::f() 是非常量的，因为它缺少 const 限定条件； f() 是否是合法的 const 函数（如果添加了 const 限定）无关紧要。

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