默認參數格式良好後的可變參數？

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適用（因爲該包顯然不在未推導的上下文中）。