为什么默认参数不能与参数包一起使用？

Question

因为8.3.6 ([dcl.fct.default])/4，

在给定的函数声明中，带有默认实参的形参后面的每个形参都应在此声明或先前声明中提供默认实参，或者应为函数形参包。

以下应该编译：

#include <iostream>

template<typename ...Ts>
void foo(int i=8, Ts... args)
{
    std::cout << "Default parameters \t= " << i << "\n";
    std::cout << "Additional params  \t= " << sizeof...(Ts) << "\n";
}

int main()
{
    foo();                  // calls foo<>(int)
    foo(1, "str1", "str2"); // calls foo<const char*, const char*>(int, const char*, const char*)
    foo("str3");            // ERROR: does not call foo<const char*>(int, const char*)

    return 0;
}

但由于foo("str3") 混淆了编译器，它无法编译。它抱怨没有匹配的函数来调用foo(const char*)，并且它无法将"str3"（类型const char*）转换为类型int。

我知道可以通过函数重载或使用命名参数习语（参见where to place default value parameter in variable-length function in c++? 和default arguments and variadic functions）来解决这个问题。但是，我想知道编译器是否只是愚蠢的，或者是否有真正的原因导致上面代码示例中的预期行为没有实现。换句话说，为什么即使我将函数显式实例化为foo<const char*>(int, const char*)，编译器也会抱怨？就好像显式实例化只是忽略了默认参数的值。为什么？

Answer 1

具有默认值的参数仍然是位置的。你的例子是一样的

void foo(int i=8, const char * c="hello world")
{
    std::cout << "Default param \t= " << i << "\n";
    std::cout << "Additional param \t= " << c << "\n";
}

int main()
{
    foo();                  // 8 "hello world"
    foo(1, "str1");         // 1 "str1"
    foo("str3");            // ERROR: parameter mismatch

    return 0;
}

Answer 2

这不起作用的原因与它不起作用的原因相同：

void f(int = 0, const char*);

int main() {
    f("test")
}

如果您阅读该错误，您会看到编译器无法将字符串文字转换为int。这是真的，第一个参数是一个 int，你给它发送了一个字符串字面量。

参数不能被反弹到其他位置，无论是否有默认参数。

Answer 3

你引用的标准只是说形成是合法的

template<typename ...Ts>
void foo(int i=8, Ts... args)

当你调用它时，你仍然必须传递一个int 作为第一个参数，否则在重载解析期间将不会考虑该函数。当你这样做时

foo("str3");

编译器将查找任何采用const char* 或const char(&)[5] 的函数foo，因为这是唯一的参数。这意味着您的函数完全被忽略了，因为它需要 int 作为第一个参数或根本没有参数。