C++11支撑函数模板的默认模板参数
发布时间：2022-07-14 13:38:02 所属栏目：语言 来源：互联网
导读：在 C++98/03 标准中，类模板可以有默认的模板参数，如下： template typename T, typename U = int, U N = 0 struct Foo { // ... }; 但是却不支持函数的默认模板参数： template typename T = int // error in C++98/03: default template arguments void f
|
在 C++98/03 标准中，类模板可以有默认的模板参数，如下： template <typename T, typename U = int, U N = 0> struct Foo { // ... }; 但是却不支持函数的默认模板参数： template <typename T = int> // error in C++98/03: default template arguments void func() { // ... } 现在这一限制在 C++11 中被解除了。上面的 func 函数在 C++11 中可以直接使用，代码如下： int main(void) { func(); //T = int return 0; } 此时模板参数 T 的类型就为默认值 int。从上面的例子中可以看出，当所有模板参数都有默认参数时，函数模板的调用如同一个普通函数。但对于类模板而言，哪怕所有参数都有默认参数，在使用时也必须在模板名后跟随<>来实例化。 除了上面提到的部分之外，函数模板的默认模板参数在使用规则上和其他的默认参数也有一些不同，它没有必须写在参数表最后的限制。甚至于，根据实际场景中函数模板被调用的情形，编译器还可以自行推导出部分模板参数的类型。 其中，func('c') 的这种调用方式，编译器通过实参 'c' 可以推导出 T=char，但由于未传递第 2 个实参，因此模板参数 U 使用的是默认参数 double；但 func() 的调用方式是不行的，虽然 val1 设置有默认值，但编译器无法通过该默认值推导出模板参数 T 的类型。由此不难看出，编译器的自动推导能力并没有想象的那么强大。 总的来说，C++11 支持为函数模板中的参数设置默认值，在实际使用过程中，我们可以选择使用默认值，也可以尝试由编译器自行推导得到，还可以亲自指定各个模板参数的类型。 （编辑：衡阳站长网） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |
