主页 / coding / 问题 / 79173087
Accepted
Bernard
Asked: 2024-11-09 23:34:41 +0800 CST

访问 std::variant 时获取编译时索引？[重复]

  • 772

我有一个std::variant可能重复的类型，我想增加变体的活动索引。

这是一个演示我想要做的事情的例子：

template <typename... Ts>
bool update_variant(std::variant<Ts>& v, std::tuple<work_generator<Ts>>& gen) {
    return visit_with_index([&]<size_t Index /* the active index */>(auto& e) {
        if (e.done()) {
            // we are done with e
            constexpr size_t next_index = Index + 1;
            if constexpr (next_index == sizeof...(Ts)) {
                // no more other work to do
                return false;
            } else {
                // still have other work to do so we move on to the next variant alternative
                v.emplace(
                        std::in_place_index_t<next_index>{},
                        std::get<next_index>(gen).create_worker()
                    );
                return true;
            }
        } else {
            // do some work on e, so e gets closer to the done state
            e.do_some_work();
            return true;
        }
    }, v);
}

为了实现这一点，我似乎需要类似于visit_with_index上面的东西，它给我当前索引作为编译时值。

除了编写我自己的visit_with_index上述版本（实际上是编写我自己的版本）之外std::visit，有没有更简单的方法来实现我想要的，而无需通过索引执行多次查找？

c++

2 个回答

  1. Best Answer

    我会“直接”visit在索引上使用。

    第一的

    template <typename... Ts>
auto get_index_variant(const std::variant<Ts...>& v)
{
    return [&]<std::size_t...Is>(std::index_sequence<Is...>){
        using Ret = std::variant<std::integral_constant<std::size_t, Is>...>;
        std::array<Ret, sizeof...(Is)> a = {{Ret{std::integral_constant<std::size_t, Is>{}}...}};
        return a[v.index()];
    }(std::make_index_sequence<sizeof...(Ts)>());
}

    然后

    std::visit([&](auto index){ // index() is constexpr
    // ...
    }, get_index_variant(v));

    演示

    • 3

  2. 如果您只关心单次访问，​​那么 Boost.Mp11mp_with_index已经是您想要的：

    template <typename... Ts>
bool update_variant(std::variant<Ts...>& v, std::tuple<work_generator<Ts>>& gen) {
    return mp_with_index<sizeof...(Ts)>(v.index(), [&](auto I){
        // ... 
    });
}

    这里对于某些来说I是一个，因此可以直接使用。integral_constant<size_t, V>Vstd::get<I>(x)

    从内部来看，mp_with_index<N>(i, f)基本上是从到的switch (i)所有值的总和。0N - 1

    • 1

相关问题