用户自定义转换的第二个标准转换序列

Question

我对标准转换序列术语有误解。我遇到了以下引用N3797§8.5.3/5[dcl.init.ref]：

-如果初始值设定项表达式

-是xvalue（但不是位字段）、类prvalue、数组prvalue或函数左值，并且“cv1 T1”与“cv2 T2”引用兼容，或者

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

[..] 在第二种情况下，如果引用是右值引用，并且用户定义的转换序列的第二标准转换序列包括左值到右值的转换，则程序是html" target="_blank">格式错误的。

这里的第二个标准转换序列是什么？我以为有一个标准转换序列，包括所有必要的标准转换（用户定义的和隐式的）。

Answer 1

标准转换术语的含义包含在C标准的以下条款中：

>

标准转换是具有内置含义的隐式转换。第4条列举了此类转换的全集。标准转换序列是按以下顺序进行的标准转换序列：

-从以下设置的零或一个转换：左值-to-右值转换、数组到指针转换和函数到指针转换。

-以下集合中的零或一个转换：整数提升、浮点提升、整数转换、浮点转换、浮点积分转换、指针转换、指针到成员转换和布尔转换。

-零或一个资格转换。

[注：标准转换序列可以为空，即它可以不包含任何转换。-结束注释]

如果需要将表达式转换为所需的目标类型，将对其应用标准转换序列。

换句话说，标准转换是编译器在将一种类型转换为另一种类型时可以应用的一组内置规则。这些内置转换包括：

• 没有转换
• 左值到右值的转换
• 数组到指针的转换
• 函数到指针的转换
• 资格转换
• 积分促销
• 浮点推广
• 积分转换
• 浮点转换
• 浮点积分转换
• 指针转换
• 指向成员转换的指针
• 布尔转换

在用户定义的转换顺序期间，标准转换顺序可以出现两次——在用户定义的转换之前和/或之后：

>

第二个标准转换序列将用户定义转换的结果转换为序列的目标类型。由于隐式转换序列是初始化，因此在为用户定义的转换序列选择最佳用户定义转换时，适用用户定义转换初始化的特殊规则（参见13.3.3和13.3.3.1）。

话虽如此，对于以下转换：

A a;
B b = a;

>

编译器将在B中搜索转换构造函数，该构造函数可以通过一些初始标准转换序列获取A（源代码类型）的实例，以便它可以然后通过选择的构造函数执行用户定义的转换，然后应用另一个标准转换-第二个标准转换-用于将用户定义转换的结果类型转换为目标类型；

或者：

编译器将在A中搜索转换函数，该函数在隐式上下文的某个初始标准转换序列后可调用，然后可以将A的实例转换为通过另一个标准转换（第二个标准转换）转换为目标类型B的某种类型。

作为一个具体的例子，让我们考虑以下转换：

struct A
{
    operator int() const;
};

A a;
bool b = a;

编译器考虑以下用户定义的转换序列：

>

自定义转换：通过自定义转换功能将A转换为int。

第二种标准转换：将int转换为bool。

您询问的案例可以按如下方式进行拆分：

struct A
{
    operator int&();
};

int&& b = A();

• 源类型是A
• 目标类型是int

[...] 如果引用是右值引用，并且用户定义的转换序列的第二个标准转换序列包括左值到右值的转换，则程序的格式不正确。

该转换不适用于整个用户定义的转换序列。

Answer 2

[over.ics.user]：

用户定义的转换由初始标准转换序列、用户定义转换（12.3）和第二个标准转换序列组成。[…]
第二个标准转换序列将用户定义的转换结果转换为序列的目标类型。

例如

struct A
{
    operator int();
};

void foo(short);

foo(A());

第二个标准转换序列将intprvalue转换为foo的参数，即short。第一个标准转换序列将A对象转换为A（操作符int的隐式对象参数），这构成了身份转换
对于参考，您引用的规则提供了一个示例：

struct X {
    operator B();
    operator int&();
} x;

int&& rri2 = X(); // error: lvalue-to-rvalue conversion applied to
                  // the result of operator int&

这里，运算符int