Question

为了防止任何混淆，我非常理解数组和指针之间的区别，衰减到指针的概念，以及在C ++中通过 reference 传递数组的概念等。< / p>

我的问题是具体关于编译器用来从一组函数 overload 候选中选择函数的规则，当一个重载采用数组引用时，另一个重载需要一个指针。

例如，假设我们有：

template <class T, std::size_t N>
void foo(const T (&arr)[N])
{
    std::cout << "Array-reference overload!" << std::endl;
}

template <class T>
void foo(const T* ptr)
{
    std::cout << "Pointer overload!" << std::endl;
}

如果我们尝试按如下方式调用函数模板foo()：

const char arr[2] = "A";
foo(arr);

...那么我的期望是编译器会选择 第一个 重载（采用数组引用的重载）。

但是，使用GCC 4.9.2，如果我编译上面的代码，我会收到一个错误：

test.cpp:28:9: error: call of overloaded ‘foo(const char [2])’ is ambiguous

我不清楚为什么这两个重载被编译器认为是同样好的候选者，因为第一个重载完全匹配类型，而第二个重载需要额外的衰减到指针步骤。

现在，我可以通过显式使用type_traits来实现上述重载，如下所示：

template <class T, std::size_t N>
void foo(const T (&arr)[N])
{
    std::cout << "Array-reference overload!" << std::endl;
}

template <class T>
void foo(T ptr, typename std::enable_if<std::is_pointer<T>::value>::type* = 0)
{
    std::cout << "Pointer overload!" << std::endl;
}

在这种情况下，程序编译并选择带有数组引用的重载。但是，我不明白为什么这个解决方案应该是必要的。我想理解为什么编译器认为一个函数需要衰减指针作为数组引用的同等可能的重载候选，当传递的参数非常多的是数组时。

Answer 1

第一个重载完全匹配类型，而第二个重载需要额外的衰减到指针步骤。

因为在ranking of implicit conversion sequences中检查overload resolution时，array-to-pointer conversion被视为完全匹配，因此第二次重载与第一次重载具有相同的等级。

从标准$16.3.3.1.1 Standard conversion sequences [over.ics.scs] Table 13 — Conversions

开始

Conversion                   Category               Rank         Subclause
No conversions required      Identity               Exact Match
... ...
Array-to-pointer conversion  Lvalue Transformation  Exact Match  [conv.array]
... ...

值得注意的是，＆＃34;无需转换等级＆＃34; （即第一次超载的情况）是＆＃34;完全匹配＆＃34;太

函数参数绑定规则，用于通过引用传递数组和传递指针

1 个答案: