混合类和函数模板

Question

您好，我正在尝试制作一个 C++ 类模板并让它也构成一个函数模板。它归结为

template <class T> 
class fun{
public:
    template<class U, class V> T add(U, V);
private:
    T data;};

我已经尝试过多种不同的方式重写 cpp 文件（与上面编写的头文件相反）中的签名。我开始认为你不能将一个类作为模板并且让它也有函数模板。你可以吗？

在 cpp 文件中它看起来像这样，我收到一条错误消息，指出我在 cpp 文件中声明的函数“add”与我在头文件中声明的“add”不兼容。

这是我在 cpp 文件中的函数模板。

template <class T, class U> T fun<T>::add(T a, U b){return a+b;}

Answer 1

需要在编译时知道类模板定义才能从模板生成类，因此最常用的方法是将定义包含在头文件中。如果您仍想将接口和方法定义分开，您可以使用.tpp 文件。

这是一种通用方法，它从外部唯一的数据类型创建一个类。

即你想要template <class U, class V> T fun<T>::add(U a, V b){return a+b;} 而不是template <class T, class U> T fun<T>::add(T a, U b){return a+b;}

header.h：

template <class T>
class fun{
public:
    template<class U, class V> T add(U, V);
private:
    T data;
};

#include "header.tpp"

header.tpp:

// out of class definition of fun<T>::add<U, V> 
template<class T> // for the enclosing class template
template<class U, class V> // for the member function template
T fun<T>::add(U a, V b) { return a + b; }

Answer 2

是的，您可以拥有一个包含函数模板的类模板。您的问题是您试图从头文件中删除函数定义。使用模板时，应在头文件中包含函数定义。请注意，只有在使用模板时才能练习这种模式。这是一个例子：

header.h

template <class T>
class fun{
public:
  template<class U, class V> T add(U u, V v) {
          return u + v;
  }
private:
  T data;
};

main.cpp

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

int main () {
        fun<int> f;
        std::cout << f.add(10, 12) << std::endl;
}