c++ - 获取一个新元组,其中包含元组的除第一个元素之外的所有元素
问题描述
给定一个std::tuple<A, B, ...> foo
C++14 中是否有任何通用(模板化)函数或技术来获取一个新元组std::tuple<B, ...> bar
,该元组包含除第一个元素之外的所有元素foo
?或者,也许是 Boost 中的某些东西?
我已经使用参数包和一些模板元编程编写了一个辅助函数来执行此操作,但我很想把所有这些东西都扔掉!
这是我目前正在做的事情。我定义了一个辅助函数unshift_tuple()
,它返回一个元组,其中包含传递给函数的元组的第一个元素以外的所有元素。的实现unshift_tuple()
使用了一个辅助函数unshift_tuple_with_indices()
,该函数接受一个包含要提取的元组索引的参数包;sequential_integer_list
helper 类型用于使用模板元编程生成适当的索引列表参数包。丑陋的!
#include <tuple>
template <size_t... Integers>
struct integer_list {};
template <size_t N, size_t... Args>
struct sequential_integer_list : sequential_integer_list<N - 1, N - 1, Args...> {};
template <size_t... Args>
struct sequential_integer_list<0, Args...> { typedef integer_list<Args...> type; };
template <typename FirstElement, typename... Elements, size_t... Indices>
static std::tuple<Elements...> unshift_tuple_with_indices(
const std::tuple<FirstElement, Elements...>& tuple,
integer_list<Indices...> index_type)
{
return std::make_tuple(std::get<Indices + 1>(tuple)...);
}
template <typename FirstElement, typename... Elements>
std::tuple<Elements...>
unshift_tuple(const std::tuple<FirstElement, Elements...>& tuple)
{
return unshift_tuple_with_indices(tuple,
typename sequential_integer_list<sizeof...(Elements)>::type());
}
int main(int, char *[])
{
std::tuple<int, std::string, double> foo(42, "hello", 3.14);
std::tuple<std::string, double> bar = unshift_tuple(foo);
}
需要明确的是,这段代码工作得很好。我只是非常希望删除它(或它的任何部分)并使用内置的东西,如果可能的话!
编辑
Jarod42 指出了std::integer_list
C++14 中的存在,它将实现简化为:
#include <cstddef>
#include <tuple>
#include <utility>
template <typename T1, typename... T, size_t... Indices>
std::tuple<T...> unshift_tuple_with_indices(
const std::tuple<T1, T...>& tuple, std::index_sequence<Indices...>)
{
return std::make_tuple(std::get<Indices + 1>(tuple)...);
}
template <typename T1, typename... T> std::tuple<T...>
unshift_tuple(const std::tuple<T1, T...>& tuple)
{
return unshift_tuple_with_indices(tuple,
std::make_index_sequence<sizeof...(T)>());
}
解决方案
在 C++17 中,你可能会这样做
template <typename T1, typename... Ts>
std::tuple<Ts...> unshift_tuple(const std::tuple<T1, Ts...>& tuple)
{
return std::apply([](auto&&, const auto&... args) {return std::tie(args...);}, tuple);
}
std::apply
可能在 C++14 中实现。
否则,在 C++14 中,std::index_sequence
可以避免编写自己的版本,从而将代码简化为:
namespace details
{
template <typename Tuple, size_t... Indices>
auto unshift_tuple_with_indices(
const Tuple& tuple,
std::index_sequence<Indices...> index_type)
{
return std::make_tuple(std::get<Indices + 1>(tuple)...);
}
}
template <typename T, typename... Ts>
std::tuple<Ts...> unshift_tuple(const std::tuple<T, Ts...>& tuple)
{
return details::unshift_tuple_with_indices(tuple, std::index_sequence_for<Ts...>());
}
推荐阅读
- c# - 如何在运行时以类型安全的方式调用泛型方法
- pandas - Pandas:从截止级别中选择最后四个日期
- python - 我怎样才能让我的播放器在移动的同时还能旋转?
- python - 在一个循环中将值存储在数组中的问题
- android - 创建 TCP 连接时线程停止
- sql - Oracle 查询以查找活动状态记录的开始和结束日期
- pyspark - 迭代 Spark DataFrame 创建的内存错误
- python - 在python中计算比较次数并在选择排序中交换
- cakephp - 如何删除 BETWEEN 条件 cakephp 中的单引号
- r - 高效地在列表中重复 data.table,在循环中按顺序替换另一个 data.table 中的同名列