为什么函数默认参数不能在C ++中转发？

Question

从我的角度来看，我发现了很奇怪的行为：函数默认参数不能在下面的代码中转发。

void Test(int test = int{}) {}

template<typename F, typename ...Args>
void Foo(F&& f, Args&&... args)
{
    std::forward<F>(f)(std::forward<Args>(args)...);
}

int main()
{
    Foo(Test, 0); // This compiles
    Foo(Test);    // This doesn't compile
}

Clang报告：错误：函数调用的参数太少，预期为1，有0个GCC，VC报告相同的错误。

任何人都可以解释一下吗？

代码在这里： http ： //rextester.com/live/JOCY22484

Answer 1

Test是一个总是需要一个参数的函数。 如果在按名称调用Test时，其带有默认参数的声明是可见的，则编译器将隐式地将默认参数添加到调用中。 但是，一旦将Test转换为指针或函数引用，默认参数信息就不再可见。

这可以通过创建一个函数来解决，该函数确实需要零个或一个参数，并将该信息编码到其类型中，因此它不能被销毁，如下所示：

struct Test {
    void operator()(int) { /* ... */ }
    void operator()() { operator(int{}); }
} test;
// ...
Foo(test, 0); // ok
Foo(test);    // ok