c++ - g++ 无法解析模板函数重载

Question

对于以下代码，g++ 失败:

template <typename X = int, typename T, typename ...R>
    inline void func(const T&, R...) {}

template <typename T>
    struct S {};

template <typename X = int, typename T, typename ...R>
    inline void func(const S<T>&, R...) {}

int main() {
    func(42);
    func(S<int>()); // OK
    func(S<int>(), 1); // NOK
    func<int>(S<int>(), 1); // NOK
}

与:

<source>: In function 'int main()':
<source>:13:21: error: call of overloaded 'func(S<int>, int)' is ambiguous
     func(S<int>(), 1); // NOK
                     ^
<source>:13:21: note: candidates are:
<source>:2:17: note: void func(const T&, R ...) [with X = int; T = S<int>; R = {int}]
     inline void func(const T&, R...) {}
                 ^
<source>:8:17: note: void func(const S<T>&, R ...) [with X = int; T = int; R = {int}]
     inline void func(const S<T>&, R...) {}
                 ^
<source>:14:26: error: call of overloaded 'func(S<int>, int)' is ambiguous
     func<int>(S<int>(), 1); // NOK
                          ^
...

可使用 gcc v4.8.1 和 v9.1 重现。使用 clang(v3.0.0 和 v8.0.0)、icc(v13.0.1 和 v19.0.1)、msvc(v19.14 和 v19.20)编译。
代码是否有效或这是 gcc 中的错误？

编辑:谢谢大家，您的反馈对我很有帮助。仅供引用，bug 90642已备案；期待一个明确的答案。

Answer 1

有趣的问题。我想你在这里遇到的是 overload resolution ，更具体地说 partial ordering rules for template specialization

我引用:

Informally "A is more specialized than B" means "A accepts fewer types than B".

我认为 clang 编译它是正确的，结果应该采用第二个候选

template <typename X = int, typename T, typename ...R>
    inline void func(const S<T>& t, R... p) {}

因为如果第一个参数不是 S<T> 类型，它不再可行，因此更加专业。