默认参数的问题理解。

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

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