大家讨论一下，VC2005不支持那些C++标准语言特性！

[zogy]

实际使用中，发现了两个，如下：

1、不支持成员模板的默认非类型参数：

template< int m = 0 > class Caa
{
public:
template< typename T = int > class Cbb {};
template< int n = 0 > class Ccc {};
};
Caa<>::Cbb<> g1; // ok
Caa<>::Ccc<> g2; // error

2、不支持两阶段查找（tow-phase lookup）

void Test(void)
{
cout << "1" << endl;
}
template< typename T > struct Caa
{
void Test(void)
{
cout << "2" << endl;
}
};
template< typename T > struct Cbb : public Caa< T >
{
int MemTest()
{
Test(); /* 根据标准，非依赖非受限的名称将马上查找；
此时依赖基类中的成员函数不确定；所以只能
找到全局的函数；GCC执行的是全局的函数；
可VC2005执行的却是是基类中的成员函数 */
this->Test(); /* 受限并依赖的名称只有到实例化时才查找；
此时会找到依赖基类中的成员函数。*/
return 0;
}
};
int g = Cbb< int >().MemTest();

[zogy]

3、不支持成员模板默认的模板的模板参数（默认值也是个成员模板）

template< typename T > struct Caa
{
template< typename T2 > struct Cbb // 如果这个模板是全局的，就不会有错
{
typedef T2 Result;
};
template< template< typename > class TT = Cbb > struct Ccc
{
typedef typename TT< int >::Result Type;
static Type Show(void)
{
Type i = Type();
cout << i << endl;
return i;
}
};
};
int i1 = Caa< int >::Ccc<>::Show(); // 语法错误
int i2 = Caa< int >::Ccc< Caa< int >::Cbb >::Show(); // 正确

[taodm]

省点力气吧。
没人能探讨光，也没人能记全。
不要去穷究语言的细节，留点力气在比如OO方法啦，软件架构啦。。。

[zogy]

对于第三条，还发现下述有趣问题；如果默认的模板的模板参数值的模板参数（有点绕！）是非类型的，则不会有语法错误，
但是结果却是错的；这应该算是个bug。

template< typename T > struct Caa
{
template< unsigned int nID > struct Cbb // 模板参数是非类型的
{
enum { Value = nID };
};
template< template< unsigned int > class TT = Cbb > struct Ccc
{
static int Show(void)
{
int i = TT< 100 >::Value;
cout << i << endl;
return i;
}
};
};
int i1 = Caa< int >::Ccc<>::Show(); // 应该是100，实际却是1
int i2 = Caa< int >::Ccc< Caa< int >::Cbb >::Show(); // 等于100是对的

[zogy]

纯粹是学术研究，无趣的人不要打扰！

[paidfighting]

lz真能研究。。。