如何在 C++20 范围内将投影与变换结合起来

Question

C++20 ranges::sort 支持投影，这很好，但我想做更复杂的事情，特别是对投影成员上的函数结果进行排序。

对于函数调用，我尝试了转换然后对该视图进行排序，但 C++20 排序似乎不适用于视图，answer 解释了原因（对于 range-v3）。

换句话说，我可以在不使用 lambda/functor 的情况下编写 this 吗？

struct S{
    int val;
};

int origin = 47;

// assume we can not change Distance to take S
int Distance(int val){
    return std::abs(val - origin);
}

void my_sort(std::vector<S> ss) {
  std::ranges::sort(ss, std::greater<>{}, [](const S& s){
      return Distance(s.val);
  });
}

Answer 1

好像你想要函数组合：

void my_sort(std::vector<S>& ss) {
  std::ranges::sort(ss, std::greater<>{}, compose(Distance, &S::val));
}

compose(f, g)(x) 在哪里 f(g(x))。 Boost.Hof 有一个compose，在 range-v3 中也有一个。但标准库中没有。

---

对于函数调用，我尝试了转换，然后对该视图进行排序，

sort(r, less(), f) 和sort(r | transform(f), less()) 之间有很大的区别：前者使用函数f 作为排序键对r 进行排序，后者对转换后的值进行专门排序。一个展示差异的具体例子：

struct X {
    int i;
    int j;
};

vector<X> xs = {X{1, 2}, X{2, 1}, X{0, 7}};

// this would give you (0, 7), (1, 2), (2, 1)
// because we're sorting by the i
ranges::sort(xs, less(), &X::i);

// this would have given you (0, 2), (1, 1), (2, 7)
// because we're sorting the i's independently
ranges::sort(xs | views::transform(&X::i), less());

Answer 2

如果您的S 只有一个成员，您可以使用views::transform：

void my_sort(std::vector<S> ss) {
  std::ranges::sort(
    ss | std::views::transform(&S::val), std::ranges::greater{}, Distance
  );
}

Demo.