对RValue对象调用的LValue ref限定成员函数

LValue ref qualified member function being called on an RValue object

本文关键字：成员 函数 ref LValue RValue 对象 调用      更新时间：2023-10-16

我试图弄清楚以下代码段为什么调用LValue强制转换运算符重载：

#include <iostream>
class Foo
{
public:
Foo(int i = 0) : i(i) {}
operator const int& () const &
{
std::cout << "lvaluen";
return i;
}

operator int () const &&
{
std::cout << "rvaluen";
return i;
}

int i = 0;
};
Foo Fool()
{
return Foo(5);
}
int main()
{
const int& i = Fool();
const int j = Fool();

return 0;
}

当前输出为：

左值

右值

但根据我的理解，Fool()返回rvalue，并且由于const&可以绑定到rvalues，因此不需要构造lvalue Foo。

有人能解释为什么要建造lvalue吗？我相信这是一个悬挂的lvalue。

好的，这里需要注意的是，重载解析只考虑i的一个转换函数。它们并不同时参与，因此不能使用引用限定符来区分它们。对于绑定参考的情况

[over.match.ref]

在[dcl.init.ref]中指定的条件下，引用可以是直接绑定到将转换函数应用于初始值设定项表达式。过载分辨率用于选择要调用的转换函数。假设"参考cv1 T"是正在初始化的引用的类型，"cv S"是类型的，其中S是类类型，候选功能选择如下：

  • 考虑了S及其基类的转换函数那些不隐藏在S中的非显式转换函数并产生类型"cv2 T2的左值参考"(当初始化左值引用或函数的右值引用(或"cv2 T2"或"对cv2 T2的右值引用"(初始化右值引用或函数的左值引用(，其中"cv1T"为与"cv2T2"兼容的参考是候选函数对于直接初始化，那些显式转换函数不隐藏在S和收益类型"cv2 T2的左值参考"中(当初始化左值引用或函数的右值引用(或"对cv2 T2的右值引用"(初始化右值引用时或函数的左值引用(，其中T2与T类型相同，或可以通过资格转换转换为T型候选函数

根据粗体文本，初始化i时，我们的唯一候选是operator int const&。因此，过载解决方案要么在这里通过，要么完全失败。但它不能选择operator int，因为它甚至没有被考虑。它之所以成功，是因为const限定的左值引用可以绑定到对象参数。

另一方面，用于初始化值

[over.match.cov]

在[dcl.init]中指定的条件下，作为初始化非类类型的对象，转换函数可以调用以将类类型的初始值设定项表达式转换为正在初始化的对象的类型。使用过载分辨率以选择要调用的转换函数。假设"cv1T"是正在初始化的对象的类型，"cv S"是初始值设定项表达式，S为类类型，候选功能选择如下：

  • 考虑了S及其基类的转换函数。那些没有隐藏在S中的非显式转换函数并产生类型T或可通过标准转换序列是候选函数。对于直接初始化，那些显式转换函数不隐藏在S中，并生成类型T或可转换的类型具有资格转换的T型也是候选功能。返回cv限定类型的转换函数有被认为产生了该类型的cv不合格版本选择候选函数的过程调用转换返回"对X的引用"的函数是X类型的glvalue因此，转换函数被认为产生了X选择候选函数的过程

因此，在初始化j时，两个转换函数都作为重载参与，这里的引用限定符起作用。

你在这里确实得到了一个悬而未决的参考，这似乎是由于语言中的一个黑暗角落。引用的第一段中的项目符号可能会进行改进，以更好地考虑constlvlaue引用的绑定。由于这些可能也与临时性绑定，因此在更好的规则下，您的第二个转换操作符可能是理想的候选者。

相关文章：