关闭

默认参数的问题理解。

1116人阅读 评论(0) 收藏 举报

今天在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;
程序出错


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

0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:21723次
    • 积分:354
    • 等级:
    • 排名:千里之外
    • 原创:13篇
    • 转载:0篇
    • 译文:0篇
    • 评论:9条
    最新评论