函数默认模板参数可以放在非默认参数之前吗？答案

【问题标题】：Can function default template parameter be put before non-default ones?函数默认模板参数可以放在非默认参数之前吗？
【发布时间】：2012-07-25 23:07:53
【问题描述】：

以下代码在 gcc-4.7.1 上编译：

struct X {};

template <class T = X, typename U>
void f(const U& m) {
}


int main() {
    f<>(0);
}

但是，这个没有：

struct X {};

template <class T = X, typename U>
void f(const U& m) {
    auto g = [] () {};
}


int main() {
    f<>(0);
}

gcc-4.7.1 抱怨：

c.cpp: In function 'void f(const U&)':
c.cpp:5:15: error: no default argument for 'U'

所以我的问题是：在函数模板中将默认参数放在非默认参数之前是否正确？如果是，为什么第二个不编译？如果不是，为什么第一个编译？ C++11 标准对这种语法有什么看法？

【问题讨论】：

【解决方案1】：

明确禁止类和别名。 n3290 § 14.1.11 规定：

如果类模板或别名模板的模板参数具有默认模板参数，则每个后续模板参数应提供默认模板参数或模板参数打包

对于函数，唯一的限制似乎与参数包有关：

函数模板的模板参数包不应后跟另一个模板参数，除非该模板参数可以推导出来或具有默认值论据

但显然这与本案无关。

鉴于 § 14 中没有任何内容禁止它用于功能，我们似乎不得不假设它是允许的。

note from a working group reports 似乎证实了这就是意图。该部分的原提议措辞是：

如果类模板的模板参数具有默认模板参数，则所有后续模板参数都应提供默认模板参数。 [注意：这不是函数模板的要求，因为模板参数可能会被推导出来（14.8.2 [temp.deduct]）。]

不过，我看不到该注释在最终版本中的位置。

【讨论】：