std::ranges::begin

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ begin = /* unspecified */;
}

template< class T >
    requires /* see below */
constexpr std::input_or_output_iterator auto begin( T&& t );

返回指向参数第一个元素的迭代器。

如果参数是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 true，则对 ranges::begin 的调用 表达式等价于：

1. t + 0 如果 t 是数组类型。
   • 如果 std::remove_all_extents_t<std::remove_reference_t<T>> 不完整，则对 ranges::begin 的调用为非良构，无需诊断。
2. 否则，decay-copy(t.begin())(C++23 前)auto(t.begin())(C++23 起)，如果该表达式有效且其类型满足 std::input_or_output_iterator。
3. 否则，decay-copy(begin(t))(C++23 前)auto(begin(t))(C++23 起)，如果 T 是类或枚举类型，该表达式有效且其类型满足 std::input_or_output_iterator，其中 begin 的含义如同仅通过执行 参数依赖查找来确定。

在所有其他情况下，对 ranges::begin 的调用为非良构，这可能导致当调用出现在模板实例化的立即上下文中时发生 替换失败。

定制点对象

名称 ranges::begin 表示一个 定制点对象 ，这是一个字面量 semiregular 类类型的常量 函数对象 。有关详细信息，请参阅 定制点对象 。

注释

若实参为右值（即 T 为对象类型）且 ranges:: enable_borrowed_range < std:: remove_cv_t < T >> 为 false ，则对 ranges::begin 的调用为非良构，同时会导致替换失败。

返回值类型在所有情况下均满足 std::input_or_output_iterator 概念。

C++20 标准要求：若底层的 begin 函数调用返回纯右值，则返回值应从具体化的临时对象进行移动构造。但所有实现都直接返回该纯右值。这一要求已通过后 C++20 提案 P0849R8 进行修正以匹配现有实现。

示例

#include <cassert>
#include <ranges>
#include <vector>
int main() 
{
    std::vector v{3, 1, 4};
    auto vi = std::ranges::begin(v);
    auto vci = std::ranges::cbegin(v);
    assert(*vi == 3 and *vi == *vci);
    ++vi;
    ++vci; // 正常：vci 是可修改对象
    *vi = 42; // 正常：vi 指向可变元素
    // *vci = 13; // 错误：vci 指向不可变元素
    int a[]{-5, 10, 15};
    auto ai = std::ranges::begin(a); // 同样适用于 C 风格数组
    assert(*ai == -5);
    *ai = 42; // 正常
}

缺陷报告

下列行为变更缺陷报告被追溯应用于先前发布的C++标准。

参见