c++ - constexpr 值的数据结构

Question

假设您有 std::tuple和一个函数，它根据类型修改其值。

template<typename T, typename Ts...>
void modify(std::tuple<Ts...>& tuple, const T& value)
{
    std::get<T>(tuple) = value;
}

现在假设，您想记录那些函数调用，即记住元组中值的修改顺序。这是执行此操作的简单机制。

void log(std::size_t index)
{
    static std::vector<std::size_t> logged_indexes;
    logged_indexes.push_back(index)
}

有以下助手

// counts until T is same as N'th type of Tuple
template<typename Tuple, typename T, std::size_t N>
struct tuple_type_index_impl;

template<typename T, std::size_t N>
struct tuple_type_index_impl<std::tuple<>, T, N>
{
    static constexpr std::size_t value = N;
};

template<typename First, typename... Rest, typename T, std::size_t N>
struct tuple_type_index_impl<std::tuple<First, Rest...>, T, N>
{
    static constexpr std::size_t value = std::is_same<First, T>::value
        ? N
        : tuple_type_index_impl<std::tuple<Rest...>, T, N + 1>::value;
};

// helper variable
template<typename Tuple, Typename T>
constexpr std::size_t tuple_type_index_v = typename tuple_type_index_impl<Tuple, T, 0>::value;

我们可以有这样的用法

template<typename T, typename Ts...>
void modify(std::tuple<Ts...>& tuple, const T& value)
{
    std::get<T>(tuple) = value;
    log(tuple_type_index_v<std::tuple<Ts...>, T>);
}

这对于日志记录来说很好。但是假设您必须根据索引再次访问元组。我们可以使用开关将运行时索引转换为 constexpr

switch (value)
{
case 0: return std::get<0>(tuple);
case 1: return std::get<1>(tuple);
...
}

可以由编译器生成。但这真的是我们能做的最好的吗？在调用日志中，index仍然是 constexpr，因此我们可以将其移至模板参数。

template<std::size_t index>
void log()
{
    static std::vector<std::size_t> logged_indexes;
    logged_indexes.push_back(index);
}

但这无济于事，因为我们仍在将它传递给 vector 。我们可以(？)构建 std::index_sequence ，但我们最终会用完模板参数。我的一部分认为这是不可能的，但另一个反对，因为index是constexpr。是否有可能开发某种类型的 std::vector<constexpr std::size_t> ？

Answer 1

要将您的switch 转换为“直接”调用，您可以这样做:

template <typename ... Ts>
void print(const std::tuple<Ts...>& t, std::size_t index)
{
    if (sizeof...(Ts) < index) {
        throw std::runtime_error("invalid index");
    }
    using func_t = void (*)(const std::tuple<Ts...>&);
    func_t fs[] = { (+[](const std::tuple<Ts...>& t){
             std::cout << std::get<Ts>(t) << std::endl;
        })...
        // gcc dislikes that lambda,
        // but you can create template function instead
    };

    fs[index](t);
}

Demo