在引用初始化中，“直接绑定”是什么意思？

Question

N4527 8.5.3[dcl初始参考]

5对“cv1 T1”类型的引用由“cv2 T2”类型的表达式初始化，如下所示：

（5.1）-[...]

（5.1.1）-[...]

（5.1.2）-[...]

（5.2）-否则，引用应该是对非易失性const类型的左值引用（即cv1应该是const），或者引用应该是右值引用。

（5.2.1）-如果初始化表达式

（5.2.1.1）-是一个xvalue（但不是位字段）、类prvalue、数组prvalue或函数左值，“cv1 T1”是与“cv2 T2”兼容的参考，或

（5.2.1.2）-具有类别类型（即T2为类别类型），其中T1与T2无关，可转换为“cv3 T3”类型的xvalue、class prvalue或函数左值，其中“cv1 T1”与“cv3 T3”是兼容的参考（见13.3.1.6），

然后，在第一种情况下，引用被绑定到初始值设定项表达式的值，在第二种情况下，引用被绑定到转换的结果（或者，在任何一种情况下，都被绑定到适当的基类子对象）。

（5.2.2）-否则：

（5.2.2.1）-如果T1或T2是类类型，且T1与T2无关，则考虑使用用户定义转换（8.5、13.3.1.4、13.3.1.5）对“cv1 T1”类型的对象进行复制初始化的规则进行用户定义转换；如果相应的非引用副本初始化格式不正确，则程序格式不正确。然后，调用转换函数的结果（如非引用副本初始化所述）用于直接初始化引用。对于这种直接初始化，不考虑用户定义的转换。

（5.2.2.2）-否则，创建“cv1 T1”类型的临时变量，并从初始值设定项表达式复制初始化（8.5）。然后，该引用将绑定到临时。

如果T1与T2相关：

（5.2.2.3）─cv1须与cv2具有相同的履历资格，或较cv2具有更大的履历资格；及

（5.2.2.4）-如果引用为右值引用，则初始值设定项表达式不得为左值。

在除最后一种情况之外的所有情况下（即，从初始化器表达式创建和初始化临时），引用被称为直接绑定到初始化器表达式。

“最后一个案例”是什么意思？5.2.2（包括5.2.2.1和5.2.2.2）或5.2.2.2（仅一个）？

也就是说，5.2.2.1直接绑定吗？

//case 5.2.1.2
struct X{};

struct Y{Y(X);};
const Y& y = X();   // bind directly

struct Z{operator X();};
const X& x = Z();   // bind directly

//case 5.2.2.1
struct A{operator int();};
const int& a = A(); // bind directly or not?

struct B{B(int);};
const B& b = 1;     // bind directly or not?

Answer 1

“最后一个案例”指的是5.2.2.2：

-否则，将创建"cv1 T1"类型的临时并从初始化器表达式复制初始化（8.5）。然后将引用绑定到临时。

本案取决于前面的条件是否为假，5.2.2.1：

-如果T1或T2是一个类类型，并且T1与T2不相关。。。

示例的最后两个片段并非如此，因为在第一个片段中，A是类类型，int与A没有引用关系。在第二个示例中，B属于类类型，B与int无关。因为这些都是假的，所以5.2.2.2不适用（它们直接绑定）。