临时实现转换不在标准转换顺序中

Question

临时实现转换是一种标准转换，请参见第 7.3 节标准转换； 7.3.4[conv.rval]：

T 类型的纯右值可以转换为 T 类型的 xvalue。 此转换通过评估以临时对象作为其结果对象的纯右值，从纯右值初始化一个T 类型的临时对象（[class.temporary]），并产生一个表示临时对象的xvalue。 T 应该是一个完整的类型。

但是为什么标准转换序列列表中没有提到呢？

见[conv]/1:

标准转换序列是按以下顺序的标准转换序列：

• 从以下集合中进行零次或一次转换：左值到右值的转换、数组到指针的转换和函数到指针的转换。

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

• 零或一函数指针转换。

• 零或一次资格转换。

是否因为必须以任何一种方式创建对象，因此不会影响确定转换顺序是否优于另一个？

Answer 1

是不是因为一个对象必须以任何一种方式创建，因此不会影响确定转换顺序是否优于另一个？

是的，临时实现不是一种选择，因此它是“免费的”并且不受 ICS 排名的影响。需要时应用，见[expr.basic.lval]/7:

当一个纯右值作为一个操作数的操作数出现时，该操作数需要一个泛左值，temporary materialization conversion 被应用于将表达式转换为一个 xvalue。

例如，dot-expression 要求左侧是泛左值：

struct X {
  void func(int) { }
  void func(long) { }
};

int n = 1;

X().func(n);

这里X() prvalue 必须首先成为一个xvalue（物化），然后我们才能继续.func(n)，此时ICS ranking 进入画面来决定如何调用func(n) ，因为可以有不同的转换顺序导致不同的选择。