C++标准库学习记录

2016.10.22（更新到P93）

1.关键字typename：

在模板类template <class T>

class Myclass{ 

   typename T:: SubType *ptr;

   ...'

}；

这里，对于T类型的子类型Subtype，如果要定义其指针，必须在前面添加typename”，否则，Sbutype会被当做一个static成员，于是

T::Subtype *ptr 会被解释为形别T内的数值Subtype 与ptr的乘积。

typename还可以这样用：template <typename T>

 

2.成员模板

成员，也可以是一个模板类。但这样的成员模板既不能是VIRTURE，也不能有缺省参数。

例如：

class MyClass{

  ...

  template <class T>

  void f(T);

};

最常用的功能是为template classes 中的成员提供一个自动形别转换。

如果这么定义assign函数：

{

private:

T value;

public:

void assign<const Myclass<T> &x){

  value=x.value;

}...

};

这样的做法就会出错：

Myclass<double> a;

Myclass<int> b;

a.assign(b);//error，原因：b的value类型不是a的value类型（参数类型不匹配）

修改方式：

template <class T>

class Myclass {

private:

T value;

public:

   template <class X>//成员函数也可以是一个类模板

  void assign(const Myclass<X> &x){//assign的参数可以是一个新的类型

        value=x.get_value();//这时候不能用x.value访问，因为x是一个新的类型X类，不同类的私有成员是封装起来的

   }

   T get_value(){

    return value;

   }

...

};

void f(){

   Myclass<double> a;

   Myclass<int> b;

   a.assign(b);//success

 

 

3.命名空间namespace（P16）