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

Question

是否允许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>();
}

Answer 1

我认为这是一个gcc错误。正如Oliv在评论中指出的那样，如果您为默认参数提供了一个参数，gcc会接受——但在这种情况下，这应该无关紧要。

这里要指出的相关规则是[临时扣除部分]，第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...也无关紧要。它们在用于偏序的类型集中不是，也不是函数的参数。这类似于第12段中的示例，其中也称为T的模板参数也不起作用。

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

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

这是一个非常简单的情况，其中第一个更专业。gcc弄错了——我提交了96602。