通过引用传递数组与传递指针的函数参数绑定规则

为了防止任何混淆，我非常了解数组和指针之间的区别、衰减到指针的概念以及通过传递数组的概念参考在C++等中

我的问题是具体来说关于编译器从一组函数中选择一个函数所使用的规则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);

...那么我的期望是first重载，即采用数组引用的重载，将由编译器选择。

但是，使用 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;
}

在这种情况下，程序将编译并选择采用数组引用的重载。但是，我不明白为什么这个解决方案是必要的。我想了解为什么当传递的参数很大程度上是一个数组时，编译器将需要衰减到指针的函数视为同样可能的重载候选者作为数组引用。

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

因为在检查时隐式转换序列的排序 http://en.cppreference.com/w/cpp/language/overload_resolution#Ranking_of_implicit_conversion_sequences in 过载解析 http://en.cppreference.com/w/cpp/language/overload_resolution, the 数组到指针的转换 http://en.cppreference.com/w/cpp/language/implicit_conversion#Array_to_pointer_conversion被视为完全匹配，因此第二个重载与第一个重载具有相同的排名。

从标准来看，$16.3.3.1.1 标准转换序列 [over.ics.scs] 表 13 — 转换 http://eel.is/c++draft/over.ics.scs#tab:over.conversions

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

值得注意的是，“无需转换”（即第一次重载的情况）的排名也是“完全匹配”。