Question

我正在尝试做一些部分专业化的东西。我有tuple，我想从某个元素索引迭代到第一个元组索引，从tuple中的每个类型累积一个值。这似乎是使用递归模板实例化的简单问题。

问题是，我似乎无法让递归工作。为了停止递归，我需要在元组索引0处部分地专门化模板函数。这看起来很简单，但它不起作用。

注意：我已从示例中删除了实际的tuple内容，因为它无关紧要;这是模板专业化无效。

template<int Index, typename Tpl>
size_t CalcInterleaveByteOffset(const Tpl &t)
{
    size_t prevOffset = CalcInterleaveByteOffset<Index - 1>(t);
    return prevOffset + sizeof(Tpl);
}

template<typename Tpl>
size_t CalcInterleaveByteOffset<0, Tpl>(const Tpl &t)
{
    return 0;
}

GCC simply says that this kind of specialization is not allowed.这是真的吗？有没有其他方法来处理这类事情？

Answer 1

作为规则，任何形式的部分模板专业化都不允许用于函数。但是允许上课。因此，解决方案只是将您的函数移动到模板化持有者类的静态成员。

如果需要推导出模板参数，则可以创建一个调用模板化类的包装函数。

结果是这样的：

template<int Index, typename Tpl>
class CalcInterleaveByteOffsetImpl
{
  static size_t CalcInterleaveByteOffset(const Tpl &t)
  {
    // This is OK it calls the wrapper function
    // You could also do 
    // size_t prevOffset = CalcInterleaveByteOffsetImpl<Index - 1, Tpl>::CalcInterleaveByteOffset(t);
    size_t prevOffset = ::CalcInterleaveByteOffset<Index - 1>(t);
    return prevOffset + sizeof(Tpl);
  }
};

template<typename Tpl>
class CalcInterleaveByteOffsetImpl<0, Tpl>
{
  static size_t CalcInterleaveByteOffset(const Tpl &t)
  {
    return 0;
  }
};

template<int Index, typename Tpl>
size_t  CalcInterleaveByteOffset(const Tpl &t)
{
   return CalcInterlaveByteOffsetImpl<Index,Tpl>::CalcInterleaveByteOffset(t);
}

具有整数参数的模板的部分特化

1 个答案: