实施打字元组包装器

Question

一个实现看起来如何，将例如 std::tuple 包装为类型/值的静态列表，加上一个类型（不包含在元组中）来引用某种所有者/访问者。

我想实例化像

constexpr auto data = data_of(1, 2.0);

Background

这个想法是使用 data_of(.. .) 一种将类型/数据对列表传递到批量函数中的结构，如下所示。

template <typename... _Ts>
static constexpr void do_bulk_stuff(_Ts&&... _Vs)
{
    // crazy stuff happens here
}
// call it like
do_bulk_stuff
(
    data_of<a>(1, 2.0), 
    data_of<b>(3), 
    data_of<c>(4.0, 5, 6),
    // ...
);

尝试 1

这样幼稚（不起作用）的实现尝试，

template <typename T, typename... Ts>
struct data_of {
    using type = T;
    using data_t = std::tuple<Ts...>;
    data_t data;
    
    constexpr data_of(Ts&&... Vs)
    : data(Vs...)
    {}
};

到目前为止，我最终得到了像目标

我的目标是实现这样的结果 data_of实例伪代码示例

{
    // meta
    type = a;
    data_t = std::tuple<int,double>;

    // runtime
    data = [1, 2.0];
}

Answer 1

您的尝试固有的问题是类模板参数推导与它的函数对应物不同。如果显式指定类模板的任何参数，则不会进行任何推导。您会失败，因为尾随包始终指定（通过省略）为空。

解决方案是将负担转移到允许您仅指定部分参数的机制上：函数模板。

template <typename T, typename... Ts>
struct data_of_t {
    using type = T;
    using data_t = std::tuple<Ts...>;
    data_t data;
    
    constexpr data_of_t(Ts&&... vs)
    : data(std::forward<Ts>(vs)...)
    {}
};

template<typename T, typename... Ts>
constexpr auto data_of(Ts&&... vs) {
    return data_of_t<T, Ts...>(std::forward<Ts>(vs)...);
}

现在，表达式 data_of(1, 2.0) 的类型具有与您所追求的相同的“元”属性。