关于volatile限定符限定的成员函数的一个问题

Question

#include <iostream>
struct A{
    A() = default;
    A(volatile const A&){}
    void show()const volatile {

    }
};
int main(){
   volatile A a;
   //A b = std::move(a);  // ill-formed
   std::move(a).show();  //OK
}

考虑示例，示例的结果超出了我对一些相关规则的理解。

对于A b=std::移动（a）；，它格式错误，因为它违反了以下规则，即：
dcl.init.ref#5.2

否则，如果引用是对非const限定或易失性限定类型的左值引用，则程序格式错误。

这意味着，对常量T的左值引用不能绑定到任何右值，即使它们是引用兼容的<代码>AB=std:：移动（A）显然违反了这条规则，因此它的格式不正确。

但是我不知道为什么要编译std:：move（a）。show（） 无错误报告。根据这条规则：

对于非静态成员函数，隐式对象参数的类型为

“对cv X的左值引用”，用于声明没有ref限定符或带有

成员函数show的隐式对象参数的类型将是volatile const A

void show() volatile const& {

}

std::mobile（a）. show（）；将是格式错误的。因此，下面的规则中一定有一些魔法使std::mobile（a）. show（）；在更改show之前进行编译。规则是：
over.match.funcs#general-5

对于未使用ref限定符声明的非静态成员函数，另一条规则适用：

即使隐式对象参数不是const限定的，只要在所有其他方面参数都可以转换为隐式对象参数的类型，就可以将右值绑定到该参数。

老实说，我真的不知道“在所有其他方面”是什么意思？“隐式对象参数的类型”指的是什么？“类型”指的是挥发性常数吗

作为对比：

#include <iostream>
struct B{
  void show(){}
};
int main(){
  volatile B b;
  std::move(b).show();  //ill-formed
}

show的隐式对象参数的类型将是B

那么，如何解释这些问题呢？我不知道如何使用[over.match.funcs#general-5]来解释这两个例子。




Answer 1

struct A {
    A() = default;
    A(volatile const A &) {}
    void show() const volatile {}
};

int main() {
    volatile A a;
    std::move(a).show(); // OK
}

根据[over.match.funcs]/4，成员函数show（）的隐含对象参数是const volatile A

void show(const volatile A&);

现在，考虑到这一点，让我们首先简化示例，目的是：

• 比较为什么A的右值引用似乎可以绑定到隐含的对象参数或类型const易失性A

因此，考虑以下简化示例：

#include <memory>

struct A {
    void show() const volatile {}
};

void g(const volatile A &) { }

int main() {
    volatile A a;
    
    g(std::move(a));      // (i) Error.
    std::move(a).show();  // (ii) OK.
}

GCC（10.1.0）中（i）处的错误信息为：

错误：无法绑定const挥发性A类型的非const左值引用

根据[dcl.init.ref]/5.2，这是预期的（正如您自己所指出的），它不允许Rvalue在初始化时绑定到volatile引用，即使它们是const限定的。

那么为什么（ii）被接受？或者，反过来说，[dcl.init.ref]/5.2的限制为什么显然不适用于成员函数的隐式对象参数的类似情况？

答案就在[over.match.funcs]/5.1中，其中包含一个不带ref限定符的成员函数的异常：

[over.match.funcs]/5[…]对于未使用ref限定符声明的非静态成员函数，另一条规则适用：

• /5.1即使隐式对象参数不是const限定的，只要在所有其他方面参数可以转换为隐式对象参数的类型，就可以将右值绑定到参数

[over.match.funcs]/5.1删除了[dcl.init.ref]/5对右值（右值绑定）的禁止，剩下的标准应用于参数（右值忽略；volatile A）是否可以（“在所有其他方面”）转换为隐式对象参数（const volatile A）

// [over.match.funcs ]/5.1 special case: rvalue prohibition waived
   volatile A a;                // argument: a
   const volatile A& aref = a;  // ok, reference-compatible
// ^^^^^^^^^^^^^^^^^ implicit object parameter

可以说，[over.match.funcs]/5.1可以更清楚地表明，它既适用于非const限定（通常）禁止from-右值绑定的情况，也适用于voll-cv限定（通常）禁止from-右值绑定。

通过显式添加

#include <memory>

struct A {
    void show() const volatile & {}
};

void g(const volatile A &) { }

int main() {
    volatile A a;
    
    g(std::move(a));      // (i) Error.
    std::move(a).show();  // (ii') Error.
}

正如预期的那样，如果我们添加一个

错误：传递std:：remove_引用

对于这个错误，Clang（10.0.0）可以说有一个更即时的错误消息：

错误：成员函数show的此参数是右值，但函数具有非常量左值ref限定符