默认参数后的可变参数是否格式正确？

Question

template <typename... Args>
void bark( int = 0, Args&&... args ) {}

int main() {
     bark();
     bark(1);
     bark(1, 2);
}

这段代码的格式是否符合 C++ 标准？

建议的副本不包含相同的函数调用。

Answer 1

由于CWG 777，声明有效：

在给定的函数声明中，a 后面的所有每个参数 带有默认参数的参数 应该有一个默认参数 在此或以前的声明中提供 或应为函数 参数包.

推导在所有三种情况下都应该成功，因为默认参数对推导的性质没有影响：如果没有提供包参数args的参数，则通过[temp.arg.explicit]/3推导为空包，否则[temp.deduct.call]/1 中的常规规则适用（因为该包显然不在非推断上下文中）。