11

std::begin和 new 和有什么不一样std::ranges::begin？（同样适用于end,size等）

两者似乎工作方式相同：

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

template<std::ranges::range R>
void printInfo(const R &range)
{
    std::cout << (std::ranges::begin(range) == std::begin(range));
}

template<class T>
struct X
{
    std::vector<T> v;

    auto begin() const { return v.begin(); }
    auto end() const { return v.end(); }
};

int main()
{
    printInfo(std::vector{1, 2, 3, 4});
    printInfo(std::array{1, 2, 3, 4});
    printInfo(X<int>{{1, 2, 3, 4}});

    int oldSchool[]{1, 2, 3, 4};
    printInfo(oldSchool);
}

按预期编译和打印1111。

过时ranges::begin了吗？std::begin还是两者有不同的用例？

4

1 回答 1

23

有一些区别。

首先，ranges::begin(x)适用于所有范围，std::begin(x)而不适用。后者不会在 上进行 ADL 查找begin，因此指定的范围如下：

struct R {
    ...
};
auto begin(R const&);
auto end(R const&);

不会工作，这就是为什么你必须写这样的东西：

using std::begin, std::end;
auto it = begin(r);

您不必使用ranges::begin.

第二，ranges::begin(x)安全一点。Ranges 引入了借用 range的概念，这是一个可以安全保存其迭代器的范围。vector<int>例如不是借用范围-因为一旦vector死亡，数据就会死亡。ranges::begin防止：

auto get_data() -> std::vector<int>;

auto a = std::begin(get_data());    // ok, but now we have a dangling iterator
auto b = ranges::begin(get_data()); // ill-formed

第三，ranges::begin有ranges::end额外的类型检查。ranges::begin(r)需要r.begin()或的结果begin(r)来建模input_or_output_iterator。ranges::end(r)requiresranges::begin(r)是有效的，并且要求要么r.end()要么end(r)建模sentinel_for<decltype(ranges::begin(r))>。那就是 - 无论我们得到什么begin，end实际上都是一个范围。

这意味着，例如：

struct X {
    int begin() const { return 42; }
};

X x;
auto a = std::begin(x);    // ok, a == 42
auto b = ranges::begin(x); // ill-formed, int is not an iterator

虽然更烦人的情况是，您有一个迭代器类型，它可能是可递增的、可取消引用的、可比较的等……但没有默认构造函数。这不符合 C++20 的要求，input_or_output_iterator所以ranges::begin会失败。

第四，ranges::begin是一个函数对象，whilestd::begin是一组重载的函数模板：

auto f = ranges::begin; // ok
auto g = std::begin;    // error: which std::begin did you want?

第五，一些范围自定义点对象除了调用该名称的函数之外还有其他后备行为。std::size(r)总是调用一个名为的函数size（除非r是原始数组）。std::empty(r)总是调用一个名为的函数empty（除非r是一个原始数组，在这种情况下它只是false，或者r是一个initializer_list，在这种情况下r.size() == 0）。但是在某些情况下ranges::size可以执行（如果不存在则作为后备）就像在某些情况下可以执行或.ranges::end(r) - ranges::begin(r)size(r)r.size()ranges::emptyranges::size(r) == 0ranges::begin(r) == ranges::end(r)

于 2020-06-03T22:01:33.490 回答