如何比较两个标准转换序列使用包含转换的等级

Question

#include <iostream>
void g(int*);  //#1
void g(int (&arr)[2]);  //#2

void f(int*);  //#3
void f(int const*);  //#4
int main(){
  int arr[2] ={0};
  f(arr);    // choose #3
  g(arr);  //ambiguous
}

考虑上面的代码，#3 被选择为f(ptr)，但是，g(arr) 给出了ambiguous 诊断。

选择最佳函数的规则定义为：

标准转换序列S1是比标准转换序列S2更好的转换序列如果

• S1 是 S2 的适当子序列（比较 [over.ics.scs] 定义的规范形式的转换序列，不包括任何左值变换；身份转换序列被认为是任何非- 身份转换序列）或者，如果不是这样

所以看看over.ics.scs#3

这些用于对标准转换序列进行排名。转换序列的排名是通过考虑序列中每个转换的排名和任何参考结合的排名来确定的。

根据我对上述规则的理解，我可以理解为什么#3是f(ptr)的最佳重载，即：

给定 S1 为 (arr => int*)：

Array-to-pointer conversion -> (identity conversion)  
^^^^^^^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^                   
     int[2] => int*             int* => int* 

当给定 S2 为 (ptr => int const*)

Array-to-pointer conversion -> Qualification conversions ->  identity conversion   
^^^^^^^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^^^^^^^     ^^^^^^^^^^^^^^^^^^^ 
     int[2] => int*               int* => int const*           int const* => int const* 

由于identity conversion 是Qualification conversions 的正确子序列，因此 S1 优于 S2。因此，f(ptr) 的重载决议选择了 #3。

当我使用类似的过程来确定最适合g(arr) 时，我遇到了一个问题。

同样，给定 S1 为 (arr => int*)

Array-to-pointer conversion -> identity conversion  
^^^^^^^^^^^^^^^^^^^^^^^^^^^    ^^^^^^^^^^^^^^^^^^^ 
      int[2] => int*              int* => int*

当给定 S2 as(arr => int (&arr)[2])

当引用类型的参数直接绑定到参数表达式时，隐式转换序列是恒等转换，除非参数表达式的类型是参数类型的派生类，在这种情况下，隐式转换序列是派生到基础的转换

identity conversion
^^^^^^^^^^^^^^^^^^^
  bind to reference   

这里，S2 的identity conversion 是S1 的Array-to-pointer conversion 的正确子序列，因此它应该比S1 更好，为什么编译器抱怨g(arr) 是一个模棱两可的调用？

我对如何对标准转换序列进行排名有任何误读吗？如何比较两个标准 ICS（包含转换的排名）？

Answer 1

重点在这里：

S1是S2的一个真子序列（比较[over.ics.scs]定义的规范形式的转换序列，排除任何左值变换；恒等转换序列被认为是一个任何非身份转换序列的子序列），或者，如果不是那个

这意味着，对于函数调用g(arr)，所有数组到指针的转换都不会用于确定排名。换句话说，从int[2] 类型到int* 类型，只有一个用于确定排名的身份转换。因此，void g(int*); 的 S1 和 void g(int (&arr)[2]); 的 S2 是无法区分的 ICS，因此编译器给出了一个模棱两可的错误。

相比之下，用于比较排名的void f(int*); 和void f(int const*); 的转化分别为identity conversion 和qualification conversion。

根据规则：

身份转换序列被认为是任何非身份转换序列的子序列

因此，Qualification conversion 的排名被认为比identity conversion 的排名更差。所以，void f(int*) 赢得了比赛。

Answer 2

您正在尝试将over.ics.rank-3.2.1 应用于这些重载集，但此规则不适用于f 或g。

---

给定调用f(arr);，在为f 执行重载解析时，两个重载都需要一个由数组到指针 转换组成的标准转换序列，并且两者具有相同的等级，这是完全匹配。本例中使用的决胜局是over.match.best#over.ics.rank-3.2.5：

标准转换序列S1是比标准转换序列S2更好的转换序列如果

...

S1 和 S2 的区别仅在于它们的资格转换 ([conv.qual]) 并分别产生相似的类型 T1 和 T2，其中 T1 可以通过资格转换转换为 T2。

此规则后面有一个示例，演示了该规则的工作原理。

对于重载集f，T1 是int *，T2 是int const *，T1 可以通过限定转换转换为T2。

---

在调用g(arr); 的情况下，当执行重载解析时，重载g(int (&)[2]) 被列为完全匹配，因为所需的标准转换顺序是No Conversion必需。

不过，重载g(int*) 也被列为完全匹配，因为所需的标准转换顺序是数组到指针的转换。

但是，与 f 不同的是，[over.ics.rank] 中没有规则可以消除 g 的标准转换序列之间的歧义，因此调用失败。