在临时对象上调用左值ref限定成员函数时GCC错误消息的措辞

Question

以下代码不编译，没想到：

struct A {
    void doWork() & {}
};
int main() {
    A{}.doWork();
}

我的理解是，临时A{}不能绑定到

类X的成员函数处理如下：

• 无ref限定符：隐式对象参数具有对cv限定X的类型左值引用，并且还允许绑定右值隐式对象参数
• 左值引用限定符：隐式对象参数具有对cv限定X的类型左值引用，不允许绑定右值隐式对象参数
• rvalue ref限定符：隐式对象参数的类型rvalue reference指向cv限定X

我在Vim中使用的clangd也告诉我

“this”成员函数“doWork”的参数是一个右值，但函数具有非const左值ref限定符deleteme。cpp:2:10：注：“doWork”在此声明[成员功能调用错误参考]

然而，当我使用GCC编译时，我会遇到以下错误：

$ g++ -std=c++17 deleteme.cpp && ./a.out
deleteme.cpp: In function ‘int main()’:
deleteme.cpp:16:16: error: passing ‘A’ as ‘this’ argument discards qualifiers [-fpermissive]
   16 |     A{}.doWork();
      |                ^
deleteme.cpp:5:10: note:   in call to ‘void A::doWork() &’
    5 |     void doWork() & {
      |          ^~~~~~

这似乎与错误的关联性不如clangd中的错误。

另一方面，我读过这两个词，丢弃限定符，当在const对象上错误地调用非const成员函数时；在这种情况下，我理解“丢弃”的使用，因为该对象具有函数无法遵守的const，因此应该丢弃它以使事情正常工作。

但是，上面的代码似乎不是这种情况，我知道问题是A{}的右值-ness与doWork（）的左值-ness相比

GCC错误的措辞是错误的还是我误读了？




Answer 1

这只是GCC中措辞次优的错误消息的一种情况。

我的猜测是，在GCC的实现中，诊断不同ref限定符之间的不匹配与诊断常量和非常量之间的不匹配共享一些代码，并且它们重用了相同的错误消息。

我鼓励您提交一个GCC错误，建议对错误消息进行改进。