template <class T1>
class A
{
public:
template <class T2>
class B{};
// B<T2> b; //类模板不能定义对象
static int ival;
};
template <class T1> //省略此句则会报错,可验证 所有类模板的成员均为模板,
int A<T1>::ival = 0; //第一因素即为, 成员的类型包括:1。属于什么类;2。数值类型;3。成员函数的 //话,参数表属于类型的一部分由于是类模板,所以1 属于什么类就导致成员均为模板
几点:
1。类模板的成员均为模板
成员函数是函数模板
数据成员也是模板,根据T不同而属于不同的实例化类
类型成员(一般即嵌套类)更是模板(绑定和非绑定)
2。类对象,不能说类模板的对象, 模板都不能定义对象,只有实例化具体化的类才能定义对象
3。实例化:
类模板不支持参数推演,必需 显式使用,即不能由成员的使用上(比如成员函数),推演出模板参数的类型
函数模板支持参数推演,编译器 隐式执行
成员模板的概念:
类模板和函数模板可以作普通类的成员,也可以作类模板的成员
(注意:不是类模板的对象作成员,因为类模板就不存在对象一说,只有具体类才能定义对象)
class A
{
public:
template <class T2>
class B{};
// B<T2> b; //类模板不能定义对象
static int ival;
};
template <class T1> //省略此句则会报错,可验证 所有类模板的成员均为模板,
int A<T1>::ival = 0; //第一因素即为, 成员的类型包括:1。属于什么类;2。数值类型;3。成员函数的 //话,参数表属于类型的一部分由于是类模板,所以1 属于什么类就导致成员均为模板
几点:
1。类模板的成员均为模板
成员函数是函数模板
数据成员也是模板,根据T不同而属于不同的实例化类
类型成员(一般即嵌套类)更是模板(绑定和非绑定)
2。类对象,不能说类模板的对象, 模板都不能定义对象,只有实例化具体化的类才能定义对象
3。实例化:
类模板不支持参数推演,必需 显式使用,即不能由成员的使用上(比如成员函数),推演出模板参数的类型
函数模板支持参数推演,编译器 隐式执行
成员模板的概念:
类模板和函数模板可以作普通类的成员,也可以作类模板的成员
(注意:不是类模板的对象作成员,因为类模板就不存在对象一说,只有具体类才能定义对象)