如何使用无类型名参数专门化模板？答案

【问题标题】：How can I specialize a templates with no-typename argument?如何使用无类型名参数专门化模板？
【发布时间】：2017-10-30 10:09:42
【问题描述】：

我有这个模板结构，我需要为不同的数据类型编写不同的函数：

template <typename T, int _len>
struct Field {
        T data;
        int len;

        Field(){
            len = _len;
        }
};

如何将它专门用于多种类型？像这样的：

template <>
void Field<int,int> {
...
    void function() {
    ...
        specialization for int
    ...
    } 
...
};

template <>
void Field<char,int> {
...

    void function() {
    ...
        specialization for char
    ...
    } 
...
};

template <>
void Field<String,int> {
...
    void function() {
    ...
        specialization for String
    ...
    } 
...
};

我接受任何类型的建议，我什至可以考虑使用其他类型的数据结构。我喜欢使用模板来定义这样的“字段”：

Field <String, 10> myField

谢谢！！

【问题讨论】：

让我澄清一下。您想为（例如）类型String 编写一个专门的Field 版本，但仍然可以用不同的_len 值调用它吗？
请注意，让len 成为通用Field 的成员是没有意义的——这只是浪费每个Field 对象中的空间。最多你会想要：static constexpr int len = _len;

标签： c++ templates

【解决方案1】：

专业化不同于继承。当你专攻时，你必须重新声明一切，它被认为是不同的类型。

您可以使用包含通用属性和方法的基本模板结构，然后创建从它继承的模板：

#include <iostream>

template<typename T, int _len>
struct FieldBase {
  T data;
  int len;

  FieldBase() {
    len = _len;
  }
};

template<typename T, int _len>
struct Field : public FieldBase<T, _len> {};

template<int _len>
struct Field<int, _len> : public FieldBase<int, _len> {
  void function() {
    std::cout << "int " << this->len << std::endl;
  }
};

template<int _len>
struct Field<char, _len> : public FieldBase<char, _len> {
  void function() {
    std::cout << "char " << this->len << std::endl;
  }
};

int main()
{
  Field<int, 5> f_int;
  Field<char, 10> f_char;

  f_int.function();
  f_char.function();

  return 0;
}

输出：

int 5

字符 10

【讨论】：

这正是我所需要的。谢谢。