为什么在这里创建临时对象?

Jam*_*oon 5 c++ language-lawyer implicit-conversion

class X{
public:
    X(){}
};

class Y{
public:
    Y(X x) { std::cout << "Temporary created!"; }
};

int main(){
    X x;
    const Y& y = x;
    return 0;
}
Run Code Online (Sandbox Code Playgroud)

为什么Y在这里创建临时对象(类型为 )?我理解在这种情况下临时对象的必要性,但我不明白标准对此有何说明。如果我们看一下标准,如果我没有记错的话,唯一适合我们这里情况的情况就是绑定对纯右值的引用。x那么, in 中的子表达式是否const Y& y = x被转换为纯右值,或者这里发生了什么其他事情?

我还查看了lvalue -> rvalue conversion,但整个事情似乎解释不清。它没有说明发生这种类型转换的场景。据我所知,这种转变发生的次数比我想象的要多。例如,如果我们看一下cpp.reference 上的隐式转换,几乎每个部分都以“XXX 类型的纯右值可以转换为 YYY...”开头,这表明我们在隐式转换中大多数时候使用左值->右值转换作为某种基本转换。密切相关的是,我也研究了这个主题,这可能是对整个情况的一个很好的看法,但也可能相当过时。

基本上,我有两个问题。标题中的第一个和(可能不相关)第二个:左值 -> 右值转换何时实际发生?

编辑:关于我的第一个问题(来自标题),我已经发展了一种我认为与草案相符的理论。基本上,表达式x被转换为类型的纯右值const Y,但不创建任何对象。之后,我们绑定了纯右值,这会导致临时物化将纯右值转换为 xvalue。只有这样我们才能绑定const对该临时对象的引用。我离真相有多远?

The*_*ore 3

我相信x正在隐式转换为Y对象。

隐式转换

表达式e被认为可以隐式转换为T2当且仅当T2可以从 复制初始化e,即对于某些发明的临时 ,声明T2 t = e;是格式良好的(可以编译)t

Y可以从 复制初始化XY(X x) { ... }调用构造函数。


右值可以绑定到 const 左值引用。因此,const Y& y = x;有效。