什么是使用C＆＃x2B;＆＃x2B; 20范围删除最后一个元素的最佳方法

Question

有没有比反转两次更好的方法来使用 c++20 范围删除容器中的最后一个元素？

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

int main()
{
    std::vector<int> foo{1, 2, 3, 4, 5, 6};

    for (const auto& d: foo | std::ranges::views::reverse 
                            | std::ranges::views::drop(1) 
                            | std::ranges::views::reverse)
    {
        std::cout << d << std::endl;
    }
}

Answer 1

您需要的是views :: drop_last来自 p2214 ，并具有第2层的优先级。

作为纸说：

我们将通过这个家庭的其他潜在范围适配器，
讨论如何根据现有适配器实施它们：

• take_last（n）和drop_last（n）。 视图:: take_last（n）等同于
  视图::反向|视图::带（n）|视图::反向。但这有点
  昂贵，尤其是对于非共同观点。用于随机访问，大小
  范围，我们可能想要r |视图:: take_last（n）评估为r |视图:: drop（r.size（） - n），而这种愿望确实是这样的症结
  整个问题 - 等效版本足够好，还是我们应该
  想要做对吗？

由于vector是一个随机访问，大小的范围，您只能做

for (const auto& d: foo | std::views::take(foo.size() - 1))
{
    std::cout << d << std::endl;
}

Answer 2

使用span怎么样？

#include <iostream>
#include <span>
#include <vector>

int main() {
  std::vector<int> foo{1, 2, 3, 4, 5, 6};

  for (const auto& d : std::span(foo.begin(), foo.end() - 1)) {
    std::cout << d << '\n';
  }
}

Answer 3

您可以通过以下方式进行良好的近似：

struct drop_last_t {
    template <std::ranges::sized_range R>
        requires std::ranges::viewable_range<R>
    friend auto operator|(R&& r, drop_last_t) {
        auto n = std::ranges::size(r);
        return std::views::take(std::forward<R>(r), n > 0 ? n - 1 : 0);
    }
};
inline constexpr drop_last_t drop_last;

让您：

for (const auto& d: foo | drop_last)

这不是一个完美的范围适配器，因为你不能写像 auto my_adaptor = transform(f) | 这样的东西drop_last; 为此，您需要 P2387，它是一个 C++23 库特征。在 C++23 中，您可以这样编写：

struct drop_last_t : std::ranges::range_adaptor_closure<drop_last_t>
{
    template <std::ranges::sized_range R>
        requires std::ranges::viewable_range<R>
    auto operator()(R&& r) const {
        auto n = std::ranges::size(r);
        return std::views::take(std::forward<R>(r), n > 0 ? n - 1 : 0);
    }
};
inline constexpr drop_last_t drop_last;    

现在这是一个功能齐全的范围适配器。当前的 libstdc++ 特定版本看起来像这样（只是为了演示，实际上并不这样做 - 这这不是在 C++23 中执行此操作的方式）。

---

当然，这仅限于尺寸范围。这可能有各种各样的方向。您可以通过执行 std::ranges::distance(r) 来支持任何前向范围（以多次遍历为代价）。但定制实施可以做得更好。对于 bidi+common，您只需停在 prev(end(r)) 处。仅对于前向，您可以一次前进两个迭代器，等等。只是需要考虑的事情。

Answer 4

您可以为此使用views::slide(2)。或视图::相邻<2>如果您更喜欢元组而不是范围。

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

int main()
{
    std::vector<int> foo{1, 2, 3, 4, 5, 6};

    for (const auto& d: foo | std::ranges::views::slide(2) 
                            | std::ranges::views::transform([](auto rg){return rg[0];}))
    {
        std::cout << d << std::endl;
    }
}

如果你想删除两端，你可以使用views::slide(3)并从每个窗口中取出中间部分。

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

int main()
{
    std::vector<int> foo{1, 2, 3, 4, 5, 6};

    for (const auto& d: foo | std::ranges::views::slide(3) 
                            | std::ranges::views::transform([](auto rg){return rg[1];}))
    {
        std::cout << d << std::endl;
    }
}

您可以将这些滑动窗口视为金字塔：

每个十字代表金字塔的顶部，并且可以被视为金字塔底部元素的窗口。