变量模板模板？

Question

假设你有一个元组类型，你想提取它的模板参数包以实例化另一个模板。如果那是一个类型模板，那么我可以有一个这样的实用程序：

template < typename Tuple, template <typename...> typename What >
struct PutTupleInT;

template < typename... Types, template <typename...> typename What >
struct PutTupleInT<std::tuple<Types...>, What>
{
    using Result = What<Types...>;
};

但是如果想要的模板是可变模板呢？ template <typename...> typename What 是类型模板的 "placeholder"，那么变量模板的 "placeholder" 是什么？

我已经为 clang-4.0.0（目前唯一支持自动类型的非类型模板参数的编译器）尝试了以下方法，但失败了。实际上我不确定这是否是 C++17 的正确语法。

template < typename Tuple, template <typename...> auto What >
struct PutTupleInV;

template < typename... Types, template <typename...> auto What >
struct PutTupleInV<std::tuple<Types...>, What>
{
    static constexpr auto value = What<Types...>;
};

Answer 1

PutTupleInTV 与 PutTupleInV 的名称不同。您没有专门化模板 PutTupleInV，而是使用专门化的语法来创建新的东西，称为 PutTupleInTV。

Answer 2

我认为你做不到。引用 N4606:

§14.3.3 [temp.arg.template]/1

A template-argument for a template template-parameter shall be the name of a class template or an alias template, expressed as id-expression.

变量模板不符合此要求。

您可以稍微作弊并使用代理类型 select 模板：

template < typename Tuple, class Proxy>
struct PutTupleInTV;

template < typename... Types, class Proxy>
struct PutTupleInTV<std::tuple<Types...>, Proxy>
{
    static constexpr auto value = Proxy::template value<Types...>;
};

然后

template<typename...> struct foo{};
template<typename... Ts> constexpr foo<Ts...> foo_v{};
struct use_foo
{
    template<typename... Ts>
    static constexpr auto value = foo_v<Ts...>;
};

你可以说

PutTupleInTV<tup, use_foo>::value

live demo

变量模板模板？

Variable template template?

c++

template-templates

variable-templates

c++14

c++17