Question

我想知道是否可以使用嵌套的C ++模板并且仍然能够访问模板值？为了解释，这是我目前的情况：

template <int first, int... tail>
struct ConstIntVector:ConstIntVector<tail...>
{};

template <int first>
struct ConstIntVector<first>
{}; 

template<int f1, int... t1>
int prod(const ConstIntVector<f1, t1...>, const int* a) {
    return f1 * (*a) + prod(ConstIntVector<t1...>(), a+1);
}

这样，我可以访问f1函数中的prod值。但我想这样做：

template<ConstIntVector<int f1, int... t1>>
int prod(const int* a) {
    return f1 * (*a) + prod<ConstIntVector<t1...>>(a+1);
}

有可能吗？

Answer 1

成员函数不允许使用部分模板特化。但是你可以使用辅助结构：

namespace detail
{
    template <typename T>
    struct prodHelper;

    template <int f1, int... t1>
    struct prodHelper<ConstIntVector<f1, t1...> >
    {
        static int eval(const int* a) { 
            return f1 * (*a) + prodHelper<ConstIntVector<t1...>>::eval(a+1);
        }
    };
}

template <typename T>
int prod(const int* a) {
    return detail::prodHelper<T>::eval(a);
}

Answer 2

另一种选择是利用ConstIntVector结构来传递有用的信息：

template <int First, int... Tail>
struct ConstIntVector {
   constexpr static int value = First;
   using tail = ConstIntVector<Tail...>;
};

template <int First>
struct ConstIntVector<First> {
   constexpr static int value = First;
   using got_no_tail = void;
}; 

template <class CIV, typename CIV::tail* = nullptr>
int prod(const int* a) {
    return CIV::value * (*a) + prod<typename CIV::tail>(a+1);
}

template <class CIV, typename CIV::got_no_tail* = nullptr>
int prod(const int* a) {
    return CIV::value * (*a);
}

Answer 3

请注意，递归对于解决这些类型的TMP问题既不必要也不可取。首先，最好简单地定义你的矢量：

template <int... Is>
struct ConstIntVector{};

这样你也可以有零长度向量，这样便于处理边缘情况（见证std::array长度为0的事实。）

接下来，让我们编写我们的产品功能。我们将以两种方式对其进行修改：首先我们通过按值传递ConstIntVector来推断整数，然后我们将使用包扩展来避免递归。

template<int... Is>
int prod(const int* a, ConstIntVector<Is...>) {
    int index = 0;
    int sum = 0;
    int [] temp = {(sum += (a[index++] * Is))...};
    return sum;
}

用法：

std::vector<int> v{1,2,3};
using v2 = ConstIntVector<4,5,6>;
std::cerr << prod(v.data(), v2{});

实例：http://coliru.stacked-crooked.com/a/968e2f9594c6b292

链接到高度优化的装配示例：https://godbolt.org/g/oR6rKe。

Answer 4

怎么样

template<int I>
int prod(const int* a) {
    return I * (*a);
}

template<int I, int I2, int... Is>
int prod(const int* a) {
    return I * (*a) + prod<I2, Is...>(a + 1);
}

具有可变参数的嵌套C ++模板

4 个答案: