C++模板特化

一 、“函数模板”与“模板函数”

下面几行代码就是一个“函数模板”

template <class T>

T abs(T x)

{

   return x < 0 ? -x : x;

}

根据“函数模板”可以生成不同的函数,这些“实例化”的函数被称之为“模板函数”。

如:abs(0.1f);  编译器将根据函数模板生成模板函数abs<float> ,并调用abs<float>(0.1f)

如:abs(0.1);   编译器将根据函数模板生成模板函数abs<double>,并调用abs<double>(0.1)

二、函数模板的特例化

template <>

const char* abs<const char*>(constchar*s)

{

   if(s && s[0] == '-')

    {

       return s + 1;

    }

   return NULL;

}

代码 abs("-5") 将调用特化后的 abs<const char*> 函数。

三、函数模板的匹配

template <class T>

T abs(T x)

{

   return x < 0 ? -x : x;

}

 

int abs(int x)

{

   return x < 0 ? -x : x;

}

代码 abs(1) 将调用 abs,而不是模板函数 abs<int>,也就是说:非模板函数具有优先权

下面再考虑函数模板被特化后的匹配问题:增加如下代码

template <>

int abs<int>(int x)

{

   return x < 0 ? -x : x;

}

同样的代码 abs(1),将调用什么呢?答案是:不确定。具体来说,对于 VC++6.0 而言,abs

函数和模板函数 abs<int> 被当做同一函数,谁先定义谁就有效。对于 VC++2008 而言,abs

函数和模板函数 abs<int> 是两个函数,但 abs 的优先级高于 abs<int>。

总结:对于VC++2008而言,始终是非模板函数具有优先权。对于VC++6.0而言,函数模板被

特化时要特别小心。

四、 类模板与特化

下面是一个类模板的例子

template <class T1,class T2>

class CTest

{

public:

   T1 m_a;

   T2 m_b;

};

 

1、全特化

template <>

class CTest<int,double>

{

public:

   T1 m_a;    //编译器自动将 T1 替换为 int

   T2 m_b;    //编译器自动将 T2 替换为 double

};

2、偏特化(VC++6.0 至 VC++2003不支持偏特化)

template <class T1>

class CTest<T1,int>

{

public:

   T1  m_a;

   int m_b;  //这里不能再使用 T2

};

五、成员函数模板、模板成员函数、特化

class CTest

{

public:

   template<class T>

    TAdd(T x) const

   {//成员函数模板

       return (T)m_a + x;

   };

public:

   int m_a;

};

CTest::Add 就是一个成员函数模板,编译器将根据不同的参数生成不同的模板成员函数。

下面是成员函数模板的特化:

class CTest

{

public:

   template<class T>

    TAdd(T x) const

    {

       return (T)m_a + x;

   };

   template<>

   double Add<double>(double x) const

   {//这个就是特化后的成员函数

       return (double)m_a + x;

   };

public:

   int m_a;

};

VC++6.0 不允许特化成员函数模板的声明、定义分离,如下面的代码在 VC++6.0 里无法编译

class CTest

{

public:

   ...   ...   ...

   template<>

   double Add<double>(double x) const;   //特化函数声明

   ...   ...   ...

};

//特化函数实现

template<>

double CTest::Add<double>(double x)const;

{

   return (double)m_a + x;

};

展开阅读全文

没有更多推荐了,返回首页