默认参数格式良好后的可变参数？

Question

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

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

此代码是否符合C++标准？

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

Answer 1

由于CWG 777，该声明是有效的：

在一个给定函数声明，所有的 参数与默认参数之后的每个参数应该有一个默认参数 在这个或提供先前的声明或应为功能 参数包。通过[temp.arg.explicit]/3如果没有提供参数包参数args，它的推导为空包，否则平常：

扣除应在所有三种情况下取​​得成功，因为默认参数使得以扣减的性质没有什么区别规则[temp.deduct.call]/1适用（因为该包显然不在未推导的上下文中）。