Question

我正在尝试做这样的事情。但无法弄清楚正确的语法..任何帮助将不胜感激

template <typename T, typename K = UINT32>
class info
{
   K* asArray();
}

template <typename T, typename K = UINT32>
K* info<T, UINT32>:: asArray() { // return a int array };

template <typename T, char>
char* info<T, char>:: asArray() { // return a char array };

Answer 1

这就是您所需要的 - 将定义放入类模板中。

template <typename T, typename K = int>
class info {
  K* asArray(){ return 0; }
};

可以通过例如

来单独对类成员进行专门化

template<>
char* info<int,char>::asArray(){ return new char[10]; }

这将覆盖类模板中的基本定义：

info<int,char> iv;
char* iptr = iv.asArray();
if( iptr != 0 ) std::cout << "ok - not null" << std::endl;

显示ok - not null。

Answer 2

您不能仅对成员函数进行部分特化。您必须创建类本身的特化。

template <typename T>
class info<T, char>
{
   char* asArray();
};

然后，您可以使用：

template <typename T>
char* info<T, char> asArray  { // return a char array }

这是不允许的：

template <typename T, typename K = UINT32>
K* info<T, UINT32>:: asArray() { // return a int array };

你必须使用：

template <typename T, typename K>
K* info<T, K>:: asArray() { // return a K array };

c ++类模板（默认值）

2 个答案: