C++ Template：部分模板 模板类中的功能特化

Question

我想专门研究模板类中的特定功能。

例如：

template<class T>
class A   
{    
public :  
  void fun1(T val);  
  void fun2(T val1, T val2);
};

template <class T>
void A<T>::fun1(T val)
{
  // some task 1;
}


template <class T>
void A<T>::fun2(T val1, T val2)
{
  // some task 2;
}


template <>
void A<char*>::fun2(char* val1, char* val2)
{
  // some task 2 specific to char*;
}

当我做这样的事情时，我收到错误说 fun2() 的多个定义 请告诉我为什么这是错误的以及实现这一点的正确方法。

Answer 1

我建议采用以下方法。定义一个名为implementation的私有函数模板来处理一般情况，并重载（不专门化< /em>) 实现来处理T=char*时的特定情况。然后从 fun2() 调用 implementation 并传递第三个参数，如下所示。将根据模板参数T选择正确的实现：

template<class T>
class A   
{    
    template<typename U> struct selector{};

    public :  
        void fun1(T val);  
        void fun2(T val1, T val2)
        {
            //forward the call
            //a correct function will be selected automatically based on T
            implementation(val1, val2, selector<T>());
        }
   private:
        template<typename U>
        void implementation(T & val1, T & val2, const selector<U> &)
        {
           //general case!
        }
        void implementation(T & val1, T & val2, const selector<char*> &)
        {
           //specific case when T = char*
        }
};

类型为selector（或selector<;）的第三个参数。 char*>) 有助于选择正确的实现。

Answer 2

您的方法 fun2() 本身不是 template 方法，尽管它是 template 类的成员。我没有找到合适的技术术语，但简单来说，专门化 fun2() 将创建正常函数定义的效果。将定义放在头文件中会出现多个定义错误。

要解决这个问题，只需添加一个内联关键字，链接器错误就会消失！

template <> inline // <----- 'inline' will prompt to generate only 1 copy
void A<char*>::fun2(char* val1, char* val2)
{
  // some task 2 specific to char*;
}

编辑：这可以解决链接器错误。但您仍然无法使用 A::fun2。最终，它归结为这样一个事实：您需要专门化整个类 A 或重载fun2 A 内的 (char*, char*)

template<class T>
class A
{
  // constructors
public:
  //...
  void fun2(char* val1, char* val2)
  {
    //specific case when T = char*
  }
};

Answer 3

相应地分割你的代码，它应该可以工作，例如：

Ah

template<class T>
class A   
{    
    public :  
        void fun1(T val);  
        void fun2(T val1, T val2);

};

template <class T>
void A<T>::fun1(T val)
{
  // some task 1;
}


template <class T>
void A<T>::fun2(T val1, T val2)
{
  // some task 2;
}

A.cpp

#include <iostream>
#include "A.h"

template <>
void A<char *>::fun2(char* val1, char* val2)
{
  // some task 2 specific to char*;
  std::cout << "char*::fun2" << std::endl;
}

Amain.cpp

#include <iostream>    
#include "A.h"

int main()
{
  A<char*> a;

  char* c= 0;
  char* d= 0;

  a.fun2(c, d);
}

编译和链接，它应该做正确的事情......