C++ 模版和C#泛型求同存异录（二）typedef

（这篇文章有些复杂，请来回慢慢看）

typedef

C++ 语言中的typedef简直是个神奇的关键字，它的最简单的作用就是把一种类型重新命名，定义个别名。很像宏定义，但又不是。在编程中使用typedef目的一般有两个，一个是给变量定义一个易记且意义明确的新名字，另一个是简化一些比较复杂的类型声明。但在C++ 模版编程之中，它还有个非常巧妙的用处：类型之间的传递和约束！

##C++ typedef
来看个例子（真的用的好开心）

template <class T>
class Matrix
{
    class Accessor
    {
       public:
          typedef T DATATYPE;
    }
}

template <typename ACCESSOR>
class Scanner
{
  public:
    typedef typename ACCESSOR::DATATYPE DATATYPE;
}

一个简单的使用例子是这样的

typedef float DATATYPE;
Matrix<DATATYPE> data;    //数据源
Matrix<DATATYPE>::Accessor accessor(data); //访问器
Scanner<Matrix<DATATYPE>::Accessor> scanner(accessor) //检索器

请问Scanner::DATATYPE是什么数据类型？
答案就是float！

也就是说，上面的案例之中，两个模版类的数据类型出现了传递，类型出现了相互依赖的关系。
以上代码如果不做特殊设计，那么就只能写出这样的代码了

typedef float DATATYPE;
Matrix<DATATYPE> data;  
Accessor<DATATYPE