std::ranges::end

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

template< class T >
    requires /* see below */
constexpr std::sentinel_for<ranges::iterator_t<T>> auto end( T&& t );

返回指示范围结尾的哨位。

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

1. t + std::extent_v<T> 如果 t 具有已知边界的数组类型。
   • 如果 std::remove_all_extents_t<std::remove_reference_t<T>> 不完整，则调用 ranges::end 非良构，无需诊断。
2. 否则，decay-copy(t.end())(C++23 前)auto(t.end())(C++23 起)，如果该表达式合法且其类型满足 std::sentinel_for<ranges::iterator_t<T>>。
3. 否则，decay-copy(end(t))(C++23 前)auto(end(t))(C++23 起)，如果 T 是类或枚举类型，该表达式合法且其转换后的类型满足 std::sentinel_for<ranges::iterator_t<T>>，其中 end 的含义通过仅执行 实参依赖查找确定。

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

定制点对象

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

注释

若实参为右值（即 T 为对象类型）且 ranges:: enable_borrowed_range < std:: remove_cv_t < T >> 为 false ，或其为未知边界数组类型，则对 ranges::end 的调用将导致非良构，同时引发替换失败。

若 ranges :: end ( std:: forward < T > ( t ) ) 有效，则 decltype ( ranges :: end ( std:: forward < T > ( t ) ) ) 与 decltype ( ranges:: begin ( std:: forward < T > ( t ) ) ) 在所有情况下均满足 std::sentinel_for 概念，同时 T 满足 std::ranges::range 概念。

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

示例

#include <algorithm>
#include <iostream>
#include <ranges>
#include <vector>
int main()
{
    std::vector<int> vec{3, 1, 4};
    if (std::ranges::find(vec, 5) != std::ranges::end(vec))
        std::cout << "在向量 vec 中找到了 5！\n";
    int arr[]{5, 10, 15};
    if (std::ranges::find(arr, 5) != std::ranges::end(arr))
        std::cout << "在数组 arr 中找到了 5！\n";
}

在数组 arr 中找到了 5！

缺陷报告

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

参见