3

有时，根据对象的成员函数之一（getter 或某些计算）的值对对象进行分组/分区非常有用。

C++20 范围是否启用类似

std::vector<Person> {{.Age=23, .Name = "Alice"}, {.Age=25, .Name = "Bob"}, {.Age=23, .Name = "Chad"}};
// group by .Age and put into std::map
std::map<int/*Age is int*/, std::vector<Person>> AgeToPerson = ...;
// 23 -> Person{23,Alice}, Person{23,Chad}
// 25 -> Person{25,Bob}

注1：有这个老问题，接受的答案是只使用原始for循环

注意 2：range-v3 有这个令人困惑的 group_by 算法，这对我的任务似乎没用：

给定一个源范围和一个二元谓词，返回一个范围范围，其中每个范围都包含源范围中的连续元素，使得以下条件成立：对于除第一个元素之外的范围内的每个元素，当该元素和第一个元素是传递给二元谓词，结果为真。本质上，views::group_by 将连续元素与二元谓词组合在一起。

4

2 回答 2

1

当您使用ranges-v3时，您可以使用transform和的组合to来实现：


#include <range/v3/view/transform.hpp>
#include <range/v3/range/conversion.hpp>
#include <map>
#include <vector>

std::vector<Person> persons{
{.Age=23, .Name = "Alice"}, 
{.Age=25, .Name = "Bob"}, 
{.Age=23, .Name = "Chad"}};

// group by .Age and put into std::map
auto AgeToPerson = persons
    | ranges::view::transform([](const auto& person)
        {
            return std::pair{person.Age, person};
        })
    | ranges::to<std::map<int, Person>>();

请记住，使用这种方法，您Person每个年龄只能获得一个，这就是为什么您可能想要使用 astd::multimap而不是 astd::map

于 2020-09-17T17:00:49.557 回答
1

语言在名称组下实际上提供了三种不同类型的功能：

  1. 取一个二元谓词 ( (T, T) -> bool) 并将谓词评估为真的连续元素分组（例如 Haskell、Elixir、D、range-v3 类型
  2. 采用一元函数 ( T -> U) 并使用相同的“键”对连续元素进行分组，并产生一系列对U, [T]（例如 Rust、Python、D、F#）
  3. 采用一元函数 ( T -> U) 并返回映射的字典U: [T]（例如 Clojure、Kotlin、Scala）。

前两个需要连续的元素 - 这意味着您需要按键排序。最后一个没有，因为无论如何你都在生产一个容器。即使没有排序，您也可以从第 2 个版本生成第 3 个版本，尽管这仍然需要一个循环†</sup>。

但如前所述，range-v3 仅提供第一个，而 C++20 甚至都没有。所以你需要写你自己的东西。在这种情况下，循环可能是最好的：

template <range R, indirectly_unary_invocable<iterator_t<R>> F>
    /* other requirements such that you can form a map */
auto group_by_into_map(R&& range, F&& f)
{
    unordered_map<
        decay_t<indirect_result_t<F&, iterator_t<R>>>, // result of unary function
        vector<range_value_t<R>>                       // range-as-vector
    > map;

    for (auto&& e : range) {
        map[std::invoke(f, e)].push_back(e);
    }

    return map;
}

有这样的效果。这允许：

group_by_into_map(people, &Person::Age);

†</sup>除非你可以使用std::unordered_multimap. 人们会使用它吗？这是一个奇怪的容器。但是假设你是，那么这要容易得多。您可以编写自己的适配器：

template <typename F> // NB: must be unconstrained
auto group_by_into_map(F&& f) {
    return views::transform([=](auto&& e){ return std::pair(std::invoke(f, e), e); })
         | ranges::to<std::unordered_multimap>();
        
}

这允许：

people | group_by_into_map(&Person::Age);

但这给了你一个unordered_multimap<int, Person>而不是一个unordered_map<int, vector<Person>>.

于 2020-09-17T17:35:19.807 回答