隐式对象参数和此指针

Question

关于非静态成员函数，请参见

常量、volatile和ref限定成员函数

其中提到：

非静态成员函数可以不使用ref限定符，也可以使用左值ref限定符（标记

no ref-限定符：隐式对象参数具有引用cv限定X的左值类型，并且还允许绑定右值隐式对象参数

左值引用限定符：隐式对象参数具有引用cv限定X的左值类型

rvalue ref限定符：隐式对象参数的类型rvalue reference指向cv限定X

注意：和cv限定不同，ref限定不会更改此指针的属性：在右值ref限定函数中，*这仍然是一个左值表达式。

在这种情况下，隐式对象参数和*此之间有什么区别？

Answer 1

ref限定符允许基于表达式引用类型的函数重载。

由于C中没有指向引用的指针（或引用），因此此不能指向（n右值）引用，因此*此不能是右值。

一旦函数被调用，rvalue、lvalue和reference（有意地）就失去了它们的相关性。

Answer 2

我认为这种差异可以用以下例子来说明：

当重载分辨率选择依赖于CV限定符*时，此将有一个合适的CV限定符，就像隐式对象参数一样：

struct t_Tester
{
    constexpr auto Probe(/* t_Tester & param */) { return 1; }
    constexpr auto Probe(/* t_Tester const & param */) const { return 2; }
    constexpr auto Test(/* t_Tester const & param */) const { return (*this).Probe(); }
};

static_assert(2 == t_Tester{}.Test());

但是，当重载分辨率选择依赖于右值/左值引用限定符*时，即使隐式对象参数是右值引用且对象本身是右值，该仍将是左值：

struct t_Tester
{
    constexpr auto Probe(/* t_Tester & param */) & { return 1; }
    constexpr auto Probe(/* t_Tester && param */) && { return 2; }
    constexpr auto Test(/* t_Tester && param */) && { return (*this).Probe(); }
};

static_assert(1 == t_Tester{}.Test());

注意：在类范围内调用函数，而不显式地使用这个指针（比如return Probe（））将使用隐式对象参数（与（*this））相同），但不应将其与隐式对象参数（它只是重载解析期间使用的成员函数签名的不可见部分）混淆。