c++小技巧(一)模版类不同具化类之间的转换

很多时候我们会写出下面这样的代码

template <typename T>class A{public:    A(T _a):m_a(_a){}        void print()    {           cout<<m_a<<endl;    }       T m_a;};int main(){        A<int> aint(20);    A<float> afloat(50);    afloat=aint;    return 0;}

　　上面的代码看起来很好，但是却编译不过。问题出在afloat=aint这句，你可能会说，我不要这句，不这么写就完了呗。但是实际问题中，一个int赋值给一个float是显而易见正确和有意义的，所以非常有可能我们恰恰就需要这样的代码，而且它在逻辑上也说得通，这就是模版类不同具现类之间转换。

　　不同类之间要实现转换，很简单写一个这样的类为参数的构造函数就可以了，但是对于模版，我们不可能这样做。我们应该写一个不同模版形参的模版类的构造函数就像这样：

template <typename T>class A{public:    explicit A(T _a):m_a(_a){}    //就像这样！！！！！！    template<typename U>    A(A<U>& _a):m_a(_a.m_a){}    void print()    {           cout<<m_a<<endl;    }       T m_a;};

　　ok啦！只要U能转换成T 那就可以A< U >转换成A< T >,以最开始的代码为例，当编译器遇到afloat=aint时，发现没有对应的赋值函数，但是有个A< float >=A< float >的赋值函数(编译器自动加的)，所以编译器尝试把一个A< int >转变为A< float >，加上上面的代码，编译器发现可以完成这样的转换，就可以编译过了，这就是模版类不同具化间的转换。在编写模版类时，这是一个常用的技巧，stl中大量使用了它。