std::ranges::cend
定義於標頭檔案 <ranges> |
||
定義於標頭檔案 <iterator> |
||
inline namespace /* 未指定 */ { inline constexpr /* 未指定 */ cend = /* 未指定 */; |
(C++20 起) (定製點物件) |
|
呼叫簽名 (Call signature) |
||
template< class T > requires /* 見下文 */ |
(C++20 起) | |
返回一個指示 const-qualified(C++23 前) 範圍末尾的哨兵,用於常量迭代器(C++23 起)。
令
對 |
(直至 C++23) |
如果引數是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 為 true,則對
在所有其他情況下,對 |
(C++23 起) |
如果 ranges::cend(e) 對於表示式 e 有效,其中 decltype((e)) 是 T
,那麼 CT
建模 std::ranges::range,且(C++23 前) 在所有情況下 std::sentinel_for<S, I> 為 true,其中 S
是 decltype(ranges::cend(e)),I
是 decltype(ranges::cbegin(e))。此外,如果 S
建模 input_iterator
,則 S
建模 constant-iterator
。(C++23 起)
自定義點物件
名稱 ranges::cend
表示一個定製點物件,它是一個 const 函式物件,其型別為 字面量 semiregular
類型別。為了解釋目的,其型別的 cv-unqualified 版本表示為 __cend_fn
。
__cend_fn
的所有例項都相等。在相同引數上呼叫型別為 __cend_fn
的不同例項的效果是等價的,無論表示該例項的表示式是左值還是右值,以及是否 const-qualified(但是,volatile-qualified 例項不要求可呼叫)。因此,ranges::cend
可以自由複製,並且其副本可以互換使用。
給定一組型別 Args...
,如果 std::declval<Args>()... 滿足上述 ranges::cend
引數的要求,則 __cend_fn
建模:
- std::invocable<__cend_fn, Args...>,
- std::invocable<const __cend_fn, Args...>,
- std::invocable<__cend_fn&, Args...>,以及
- std::invocable<const __cend_fn&, Args...>.
否則,__cend_fn
的任何函式呼叫運算子都不參與過載決議。
[編輯] 示例
#include <algorithm> #include <cassert> #include <ranges> #include <vector> int main() { std::vector vec{3, 1, 4}; int arr[]{5, 10, 15}; assert(std::ranges::find(vec, 5) == std::ranges::cend(vec)); assert(std::ranges::find(arr, 5) != std::ranges::cend(arr)); }
[編輯] 參閱
(C++20) |
返回指示範圍末尾的哨兵 (定製點物件) |
(C++11)(C++14) |
返回指向容器或陣列末尾的迭代器 (函式模板) |