c++ - 在 C++11 中将静态 constexpr 数组转换为模板参数

Question

假设我们有一个constexpr数组，如下所示：

static constexpr unsigned int a[] = {2, 8, ... ,6}; // N element

我想将此数组用作模板参数包：

typedef SomeTemplatedStruct<a[0], a[1], ... ,a[N - 1]> tmp;

可以在 C++14 中执行此操作，如此处所述。但是，我未能将该代码转换为 C++11。任何帮助表示赞赏。

标签： c++c++11templatesvariadic-templatestemplate-meta-programming

Answer 1

如果您已经打算自己推出，则无需实现整数序列助手，因为我们可以使用已扩展包的大小作为下一个元素的索引，以便在递归期间从数组中取出：

template <typename A, A& a, typename U = typename std::remove_reference<decltype(a[0])>::type, bool = true, U... unpack>
struct unravel;

template <typename T, int N, T (&a)[N], typename U, U... unpack>
struct unravel<T[N], a, U, false, unpack...>
{
    template <template <U...> class Thingie>
    using into = Thingie<unpack...>;
};

template <typename T, int N, T (&a)[N], typename U, U... unpack>
struct unravel<T[N], a, U, true, unpack...> : unravel<T[N], a, U, (sizeof...(unpack) + 1 < N), unpack..., a[sizeof...(unpack)]> {};

用法：

struct Blub
{
    static constexpr unsigned int a[] = {2, 8, 5, 7, 6};
};

template <unsigned int...>
struct TheThingToMake {};

void test()
{
    typename unravel<decltype(Blub::a), Blub::a>::into<TheThingToMake> blub;
}

活生生的例子

注意：这不适用于大小为 0 的数组，但这些是非标准的，而且我想，这无论如何都不是一个有趣的用例……