GCC无法解析具有默认参数和以下参数包的方法调用

问题描述

是否由于歧义而允​​许GCC拒绝以下代码？对我来说，它看起来像个虫子。 使用msvc，clang和icc可以很好地编译。

查看此处：https://godbolt.org/z/9fsnhx

#include <iostream>

class A
{
public:
    template<typename T>
    void Foo(int={}){
        std::cout << "A";
    }

    template<
        typename... T,typename... Args
    >
    void Foo(int={},Args&&... args)
    {    
        std::cout << "B";
    }
};

int main()
{
    A a;
    a.Foo<int>();
}

解决方法

我认为这是gcc错误。正如Oliv在评论中指出的那样，如果您为默认参数提供了一个参数，则gcc会接受-但这与本例无关。

此处要指出的相关规则是[temp.deduct.partial]，第3段：

用于确定排序的类型取决于完成部分排序的上下文：

• 在函数调用的上下文中，使用的类型是函数调用具有参数的那些函数参数类型。 ¹³⁸

（脚注说）：

在这种情况下，默认参数不被视为参数；它们仅在选择函数后才成为参数。

第11段：

如果在考虑了上述内容之后，功能模板F至少与功能模板G一样专业，反之亦然，并且如果G具有尾随功能参数包，而F没有相应的参数，并且F没有尾随函数参数包，则F比G更专业。

第12段：

在大多数情况下，如果并非所有模板参数都具有值，则推导将失败，但是出于部分排序的目的，如果模板参数未用于部分排序的类型中，则可以保留不带值的模板参数。 [注意：认为使用了非推导上下文中使用的模板参数。 — 尾注] [示例：

template <class T> T f(int);            // #1
template <class T,class U> T f(U);     // #2
void g() {
  f<int>(1);                            // calls #1
}

— 最终示例]

简而言之，在此处考虑部分订购时：

1. 默认参数无关紧要，我们只考虑两个以int作为第一个参数的函数模板。

2. 第一次过载中的T和第二次过载中的T... 也无关紧要。它们不是用于部分排序的类型集中的 not ，不是函数的参数。这类似于第12段中的示例，在该示例中，模板参数（也称为T也不起作用。

所以基本上我们在以下之间订购：

void Foo(int);
template <typename... Args> void Foo(int,Args&&...);

这是一个非常直接的情况，其中第一个更为专业。 gcc弄错了-我提交了96602。