STL提取参数模版的类型

一、解决的问题

1、其实是可以推导出函数的返回值类型的：

但是是无法在模版类的外面进行使用的

下面的两种情况是编译通过的：

（1）

template<class T>T Print(T x){return x;}

（2）

template<class T>struct A{T Print(T value){return value;}};

2、解决T无法在类模版的外面进行使用的问题

例如：

函数定义：

template<class T>struct B{B(T x):_a(x){}typedef T ValueType;T& operator*(){return _a;}T _a;};template<class T>typename T::ValueType Fun1(T value){return *value;}

测试用例：

void Test(){B<int> b1(10);cout<<Fun1(b1);}

3、总结

定义了一个模版的函数，这个时候你传入的参数又是一个模版，这个时候怎么使用这个参数模版中的对应的类型，这个时候就可以使用，这个技术：

在参数模版的里面定义一个typededf T ValueType（一定要定义为public的为什么，自己思考），这个时候就可以使用 typename T::ValueType的方式拿到对应的类型,

为什么要加typename，这是因为编译器不知道这个ValueType到底是变量，还是对应的类型，加上typename之后，这个时候就告诉编译器是一个类型，这个时候就可以顺利的同过编译了