c++ - `void f(A<0>, tuple)` 不是比 `void f(A, tuple)` 更专业吗？

Question

#include <tuple>

template<int I>
struct A {};

template<int I, typename... T>
void f(A<I>, std::tuple<T *...>) {}

template<typename... T>
void f(A<0>, std::tuple<T *...>) {}

int main()
{
    f(A<0>{}, std::tuple<char*, int*, float*>{});
}

不是f 的第二次重载吗？更专业？ g++ 4.9.2 表示调用不明确，clang 3.6.0 接受它。哪个编译器是对的？

有趣的是，如果您更改 std::tuple<T *...>至std::tuple<T...> , g++ 就可以了，这个我没看懂。

Answer 1

根据当前规则，第二个重载更加特化。一些专业 A<@>具有合成值 @无法与 A<0> 匹配, 但是 A<0>可以匹配 A<I> (与 I=0 )。第一对的不对称性是决定性的。无论您使用T或 T*因为第二个参数中的模式是无关紧要的，因为该对的推论是双向成功的。

该错误仍然存​​在于主干中，并由@Barry 报告为67228 .