gpt4 book ai didi

c++ - 制作一个 cpp 排序的元组

转载 作者:可可西里 更新时间:2023-11-01 18:27:52 25 4
gpt4 key购买 nike

这是 std::make_tuple 的代码在标准库中。

template<typename... _Elements>
inline tuple<typename __decay_and_strip<_Elements>::__type...>
make_tuple(_Elements&&... __args)
{
typedef tuple<typename __decay_and_strip<_Elements>::__type...>
__result_type;
return __result_type(std::forward<_Elements>(__args)...);
}

我想做的是对 __args 进行排序在创建元组之前,大概使用 std::sort(..., Compare comp)用户传入一个适当的比较器,该比较器可用于对 __args 中最终出现的任何类型的事物进行排序。

但是,我对cpp比较陌生,这个函数的一半代码我都看不懂,std::sort __args 的结尾需要一个参数,我不确定如何得出这一点。

另请解释 typename __decay_and_strip<_Elements>::__type..._Elements&&...位...

编辑 由于对于任意类型组合,返回类型在编译时是未知的,一般情况似乎是不可能的。假设所有类型相同,那么,我们替换..._ElementsT ,我仍然不确定如何获得 .end() 的“__args ”用于 std::sort

最佳答案

如果元组类型参数是同类的,则可以做到这一点。 (我们不能对非同类类型进行排序,因为这需要重新排列类型本身,而这不是您在编译时可以做的事情。1)

假设同质类型,解决方案基本上归结为:

  1. 将参数放入一个数组中。
  2. 对数组进行排序。
  3. 从数组内容创建一个元组。

这并不难。首先我们需要 indices trick索引我们的数组(对于第 3 步——如果你有 C++14,你可以使用 std::index_sequence 代替):

template <std::size_t... Is>
struct indices {};

template <std::size_t N, std::size_t... Is>
struct build_indices
: build_indices<N-1, N-1, Is...> {};

template <std::size_t... Is>
struct build_indices<0, Is...> : indices<Is...> {};

然后我们需要一种方法从参数包中剥离第一个类型来声明我们的数组(用于步骤 1)。作为奖励,我们将检查它以确保所有类型都相同:

template <typename...>
struct pack_type;

template <typename Head>
struct pack_type<Head>
{
using type = Head;
};

// Will fail deduction on a non-homogeneous pack.
template <typename Head, typename... Tail>
struct pack_type<Head, Head, Tail...> : pack_type<Head, Tail...> {};

最后,我们的排序器实现和一个助手来构建索引包:

template <std::size_t... I, typename Comparer, typename... Ts>
std::tuple<Ts...> make_sorted_tuple_impl(indices<I...>, Comparer const &c, Ts && ...args)
{
typename pack_type<Ts...>::type values[sizeof...(Ts)] = { std::forward<Ts>(args)... };

std::sort(std::begin(values), std::end(values), c);

return std::make_tuple(std::forward<Ts>(values[I])...);
}

// Special case to handle empty tuples.
template <typename Comparer>
std::tuple<> make_sorted_tuple_impl(indices<>, Comparer const &)
{
return std::tuple<>();
}

template <typename Comparer, typename... Ts>
std::tuple<Ts...> make_sorted_tuple(Comparer const &c, Ts && ...args)
{
return make_sorted_tuple_impl(build_indices<sizeof...(Ts)>(), c, std::forward<Ts>(args)...);
}

See it run .

Also please explain the typename __decay_and_strip<_Elements>::__type... and _Elements&&... bits...

我不打算解释第一个,因为标识符包含 __由 C++ 实现保留,所以这个 __decay_and_strip是特定于此特定 C++ 实现的实现细节。

_Elements&&...是一组右值引用。这允许参数为 perfectly forwardedstd::tuple构造函数。


1 我撒谎了。如果值和比较函数是 constexpr,您可以这样做,但实现它的代码将非常庞大,不值得花时间编写。

关于c++ - 制作一个 cpp 排序的元组,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46005444/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com