假设您有 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>
?
最佳答案
要将您的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);
}
关于c++ - constexpr 值的数据结构,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/44006594/