7

我知道范围内的算法（例如sort）支持投影，但在我看来，没有办法为视图获得该功能......我是对的吗？

例如，考虑以下工作代码：

#include <algorithm>
#include <ranges>
#include <vector>
#include <iostream>

enum Color {
   Red,
   Green,
   Blue
}; 
struct Cat {
   int age;
   Color color;
};

int main() {
    std::vector<Cat> cats{{.age = 10,.color=Color::Red}, {.age = 20,.color=Color::Blue}, {.age = 30,.color=Color::Green}};
    auto is_red = [](const auto& cat) {return cat.color == Color::Red;};
    for (const auto& cat: cats | std::views::filter(is_red)) {
        std::cout << cat.age << std::endl; 
    }
}

有没有办法删除 lambda 并执行以下操作：

for (const auto& cat: cats | std::views::filter(&Cat::color, Color::Red) {

注意：我的问题是成员变量投影，但显然在实际代码中还需要成员函数调用。

4

2 回答 2

6

C++ 范围是否支持视图中的投影？

否（尽管 range-v3 确实†</sup>）。

有没有办法删除 lambda 并执行以下操作：

std::views::filter(&Cat::color, Color::Red)

无论如何，这不会是如何与预测一起工作的。它本来是：

filter([](Color c){ return c == Color::Red; }, &Cat::color)

如果你有一个equals返回谓词的，你可以减少这个：

filter(equals(Color::Red), &Cat::color)

但是在算法中添加预测是没有必要的。您始终可以手动提供投影。使用Boost.Hof的适当命名的proj函数适配器，它满足proj(p, f)(xs...) == f(p(xs)...)（即我们在将p每个参数传递给之前应用它们f）：

filter(proj(&Cat::color, [](Color c){ return c == Color::Red; }))

或者，更短：

filter(proj(&Cat::color, _ == Color::Red))

演示。

†</sup>即使在range-v3 实现中，也没有remove_if_view明确支持投影。这是手动进行投影的重载将谓词组成为compose(pred, proj). 在 range-v3 中，compose(f, g)(xs...)可以表示f(g(xs...))或者f(g(xs)...)取决于g可调用的方式。所以在这种情况下，它是一个投影而不是函数组合。在 Boost.Hof 中，这两种情况有不同的compose和proj适配器。

于 2021-05-20T14:55:14.527 回答
0

其他答案是正确的，因为我对投影的使用是错误的，我想要一个投影并且也相当于（假设std::filter在 C++ 中命名std::filter_if）用于比较的想象std::filter，==就像我们在 STL 中有std::count/ std::count_if std::find/std::find_if对一样。

如果有人需要这样的东西，这似乎可行，但它可能会很慢，因为 lambdas 中的完美转发很难做到，所以我没有打扰。

（我使用 keep 因为它对我来说是更好的名字，但它也可以命名filter_memb）。

template<typename Member, typename Val>
auto keep_memb(const Member& memb, const Val& val){
    return std::views::filter([=](auto& object){return std::invoke(memb, object) == val; } );
}

神螺栓

于 2021-05-21T09:58:44.543 回答