模板类无法编译通过,谁能帮我解释

来源:百度知道 编辑:UC知道 时间:2024/06/15 23:14:07
//这是一个带模板的类定义,类定义当中还定义了一个结构体类型
//被注释的那个函数无法编译通过
//错误输出是(不知所云):
/*
warning C4346: “class_A<T>::struct_A” : 依赖名称不是类型
用“typename”为前缀来表示类型
error C2143: 语法错误 : 缺少“;”(在“*”的前面)
error C2501: “class_A<T>::struct_A” : 缺少存储类或类型说明符
error C2065: “T” : 未声明的标识符
error C2955: “class_A” : 使用类模板需要模板参数列表
参见“class_A”的声明
*/
//疑问在下面的注释中:

template <class T>
class class_A
{
private:
T * my_object;

public:
struct struct_A
{
int a;
int b;
};

public:
class_A( T * object )
{
my_object = object;
}

~class_A()
{
delete my_object;
}

struct_A * generate_new_struct_A_instance();
};

//这个注释掉的函数无法编译通过
/*
template <class T>
class_A <T> ::struct_A * class_A <T>::generate_new_struct_A_instance()
{
struct_A * new_instance = new struct_A;

返回值前面加个 typename就可以,
这是为了告诉编译器class_A<T>::struct_A是一种类型而不是类的成员变量

其实:
warning C4346: “class_A<T>::struct_A” : 依赖名称不是类型
用“typename”为前缀来表示类型
编译器说的非常明确了!

VS7.1上编译通过!VS6.0不知道可不可以!

template <class T>
typename class_A<T>::struct_A* //---这里加个typename
class_A<T>::generate_new_struct_A_instance()
{
struct_A * new_instance = new struct_A;
new_instance->a = 1;
new_instance->b = 2;
return new_instance;
}

///
改成double 为什么可以,我很长时间没看模板了,具体我也不清楚!
我估计对于特化的函数是把它当作一般函数那样编译的!

没问题,请贴完整程序。