模版特例化

转自http://www.cppblog.com/shanoa/archive/2009/05/25/85683.html

 

写模版多了的人，必然会遇到这样那样的问题，模版特例化就是解决了一个经常碰见的问题：如果我们需要根据某些特殊的模版参数类型来重新实现一下算法的话，该怎么办呢？说的多了那也没什么用，我们就写一个会做除法的类吧。这个类在做整数除法的时候会同时求出余数，而在算其他类型时是不求的。代码如下：

 

 

#include <iostream>

 

template<typename Ty>

class Division

{

public:

    Division(Ty dividend, Ty divisor)

        :mDividend(dividend), mDivisor(divisor){}

public:

    void show()

    {

        std::cout<<"结果 = "<<mDividend/mDivisor<<std::endl;

    }

 

    Ty mDividend, mDivisor;

};

 

template<>

inline void Division<int>::show()

{

    std::cout<<"结果 = "<<mDividend/mDivisor<<std::endl;

    std::cout<<"余数 = "<<mDividend%mDivisor<<std::endl;

}

 

int _tmain(int argc, _TCHAR* argv[])

{

    Division<int> a(20, 11);

    a.show();

 

    Division<float> b(20.0f, 11.0f);

    b.show();

    return 0;

}

 

以上这种方式就叫做局部特化，关于全部特化和局部特化、全特化和偏特化，我认为他们之间的关系很紧密，界限也很模糊，硬要分类的话，以上面的Division类为例，就看下面的代码对全部特化和局部特化的区别吧：

/**

@remark

Division的全部特化

*/

template<>

class Division<int>

{

public:

     Division(Ty dividend, Ty divisor)

         :mDividend(dividend), mDivisor(divisor){}

public:

     void show()

     {

         std::cout<<"结果 = "<<mDividend/mDivisor<<std::endl;

         std::cout<<"余数 = "<<mDividend%mDivisor<<std::endl;

     }

 

     Ty mDividend, mDivisor;

};

 

/**

@remark

Division的局部特化

*/

template<>

inline void Division<int>::show()

{

     std::cout<<"结果 = "<<mDividend/mDivisor<<std::endl;

     std::cout<<"余数 = "<<mDividend%mDivisor<<std::endl;

}

上面的代码只是说明了全部特化和局部特化，并没有说明什么事全特化和偏特化。其实，对于只有一个参数的模版类型来说，并没有什么全特化和偏特化的区别，但如果是一个以上的模板参数，那就是由区别的了，如下：

/**

@remark

原始模板类

*/

template<typename Ty, typename TyEx>

class ObjectData

{

    //

};

 

/**

@remark

Object的全特化

*/

 

template<>

class ObjectData<int, float>

{

    //

};

 

/**

@remark

Object的偏特化，只特化第一个参数

*/

template<typename TyEx>

class ObjectData<int, TyEx>

{

    //

};