默认参数的问题理解。

今天在CSDN上看到个 默认参数的问题 贴。 一看吓一跳,以前我对默认参数的理解和这位网友一样,对这问题很难做出解释,在DEV C++上多试了几次,终于得到答案,现拿出来分享。

帖子http://community.csdn.net/Expert/topic/4841/4841909.xml?temp=.3743402

问题大概是这样:

C++ primer中:
“类模板的后续声明可以为模板参数提供附加的缺省实参。正如函数参数的缺省实参的情形一样。在向左边的参数提供缺省实参之前,必须首先给最右边未初始化的参数提供缺省实参。”

于是写如下验证程序:
#include <iostream>
using namespace std;

template <class T, class C>
class foo{
public:
T a;
C b;
};

//后续声明提供附加的缺省实参(但是由于模板参数C还没有缺省实参,所以此处应该是错的)
template <class T = int, class C>
class foo;

int main(){
return 0;
}

我的理解是这样的:

模板是使用两次编译的模型,第一次检查的是模板的基本语法构造无误。第二遍才是对于参数有关的构造解释。

C++中规定,模板参数的默认参数要到使用时才实例化。
  默认参数在定义时进行 词法检查和名字查找。

问题可能出在大家对书上的说法理解错了。

“类模板的后续声明可以为模板参数提供附加的缺省实参。正如函数参数的缺省实参的情形一样。在向左边的参数提供缺省实参之前,必须首先给最右边未初始化的参数提供缺省实参。”

我估计 "在向左边的参数提供缺省实参之前,必须首先给最右边未初始化的参数提供缺省实参."
这句话翻译出了问题。

我给大家看个例子:

template <class T =double, class C>
class foo;
template <class T, class C=int>
class foo;
foo<> c;
程序正常没有提示出错。
template <class T =double, class C>
class foo;
template <class T=double, class C=int> //程序出错在这
class foo;
foo<> c;

再如:
template <class T =double, class C,class K>
class foo;
template <class T, class C,class K=int>
class foo;
foo<int,int> c;
程序正常

template <class T =double, class C,class K>
class foo;
template <class T, class C,class K=int>
class foo;
foo<int> c;
程序出错


我个人总结是这样的:
 
默认参数可以在每个声明中定义,但不允许重复定义同一个参数(即使一样的实数),在真正使用默认参数时,所有默认参数都要在表达式的右边,使用的默认参数之间不能有间隔。

阅读更多
文章标签: class iostream c++ c
上一篇uname函数初步封装
下一篇Visitor模式实践
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

关闭
关闭