Question

假设我有一个像

这样的模板结构

template <typename T> struct Parser {
  //specializations are expected to have these methods
  inline static const byte* objectEnd(const byte* begin, const byte* end);
  inline static const byte* tryRead(const byte* begin, const byte* end, T* obj);
}

它用于不同的类，其中一些也是模板类（因此它们可能没有关于它们作为参数传递给Parser的类的完整信息）。
对任何给定类型实现Parser都很容易，如下所示：

template<> struct Parser<text_line> {
  inline static const byte* objectEnd(const byte* begin, const byte* end){
    return helper::NextByteOrEnd<'\n'>(begin, end);
  }
  inline static const byte* tryRead(const byte* begin const byte* end, text_line* obj){
    const byte* lf = objectEnd(begin, end);
    obj = text_line(begin, lf);
    return lf==end ? lf : lf+1;
  }
}

我也可以将Parser专门用于一系列模板：

template<int sz> struct Parser<be_uint<sz>> {
  inline static const byte* objectEnd(const byte* begin, const byte* end){
    return begin+be_uint<sz>::size > end ? begin : begin+be_uint<sz>::size;
  }
  inline static const byte* tryRead(const byte* begin const byte* end, be_uint<sz>* obj){
    if(begin + be_uint<sz>::size > end) return begin;
    obj = be_uint<sz>::read(begin);
    return begin + be_uint<sz>::size;
  }
}

但是如果我想将Parser专门用于其他一些类型呢？假设我有一个类型谓词，比如std::is_base_of<MyHeader, T>，我想写一些类似

的东西

//not actual code - how would I write this?
template<typename Header> struct Parser<Header> {
  static_assert(std::is_base_of<MyHeader, Header>::value, "Wrong!");
  inline static const byte* objectEnd(const byte* begin, const byte* end){
    //MyHeader-specific code here
  }
  inline static const byte* tryRead(const byte* begin const byte* end, Header* obj){
    //MyHeader-specific code here
  }
}

将可选参数添加到Parser的初始定义中，例如

template <typename T, bool MyHeaderFlag = std::is_base_of<MyHeader, T>::value>
struct Parser { //...

似乎不是一个好主意 - 我（或任何其他程序员）可能想要使用其他谓词，比如my_types::is_scientific<T>。
问题似乎是你可以用SFINAE解决的问题（如果一种类型适合多个谓词，那么会出现什么问题 - 我更喜欢它不会导致编译器错误，但是因为这样{{1}这不是很重要在.cpp文件中可能会提到专业化。但我找不到办法做到这一点。

为了清楚起见，只要客户端代码可以编写类似

的内容，就不存在保留“Parser”或其方法（甚至是模板）的确切定义的约束。

Parser

没有关心Parser<TypeArg>::objectEnd(block.begin, block.begin+block.size)实际上是什么。

Answer 1

如果您想为某些类型设置专业化，最好的方法是将第二个模板参数添加到基本模板。

您可以使用bool或实际输入，并在专业化中使用std::enable_if。

我更喜欢第二种方式。

template <typename T, typename = void> struct Parser {
  //specializations are expected to have these methods
  inline static const byte* objectEnd(const byte* begin, const byte* end);
  inline static const byte* tryRead(const byte* begin, const byte* end, T* obj);
}

和专业化示例

template<typename Header>
struct Parser<Header, typename std::enable_if<std::is_base_of<MyHeader, Header>::value>::type> {
  inline static const byte* objectEnd(const byte* begin, const byte* end){
    //MyHeader-specific code here
  }
  inline static const byte* tryRead(const byte* begin, const byte* end, Header* obj){
    //MyHeader-specific code here
  }
}

专门针对不同参数集的模板类

1 个答案: