std::ranges::data
定义在头文件 <ranges> 中 |
||
定义在头文件 <iterator> 中 |
||
inline namespace /* unspecified */ { inline constexpr /* unspecified */ data = /* unspecified */; |
(自 C++20 起) (定制点对象) |
|
调用签名 |
||
template< class T > requires /* see below */ |
(自 C++20 起) | |
返回指向连续范围的第一个元素的指针。
如果 T
是数组类型,并且 std::remove_all_extents_t<std::remove_reference_t<T>> 是不完整的,则对 ranges::data
的调用将是非法的,不需要诊断。
如果参数是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 true,则对 ranges::data
的调用与以下表达式等效:
- decay-copy(t.data())(直到 C++23)auto(t.data())(自 C++23 起),如果该表达式有效且其类型是指向对象类型的指针。
- 否则,std::to_address(ranges::begin(t)),如果表达式 ranges::begin(t) 有效且其类型模拟 std::contiguous_iterator。
在所有其他情况下,对 ranges::data
的调用是非法的,当 ranges::data(e) 出现在模板实例化的直接上下文中时,这会导致 替换失败。
内容 |
定制点对象
名称 ranges::data
表示一个定制点对象,它是一个 const 函数对象,属于 字面量 semiregular
类类型。为了说明目的,其类型的 cv 无限定版本表示为 __data_fn
。
所有 __data_fn
的实例都是相等的。调用相同参数上的不同类型 __data_fn
实例的效果是等效的,无论表示实例的表达式是左值还是右值,以及是否具有 const 限定(但是,不需要调用具有 volatile 限定的实例)。因此,可以自由复制 ranges::data
,并且其副本可以互换使用。
给定一组类型 Args...
,如果 std::declval<Args>()... 满足上面对 ranges::data
的参数的要求,则 __data_fn
模拟
- std::invocable<__data_fn, Args...>,
- std::invocable<const __data_fn, Args...>,
- std::invocable<__data_fn&, Args...>,以及
- std::invocable<const __data_fn&, Args...>.
否则,__data_fn
的任何函数调用运算符都不会参与重载解析。
[edit] 注意事项
如果参数是右值(即 T
是对象类型)并且 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 false,则对 ranges::data
的调用是非法的,这也导致替换失败。
如果 ranges::data(e) 对表达式 e 有效,则它返回指向对象的指针。
C++20 标准要求,如果底层的 data
函数调用返回右值,则返回值将从物化的临时对象中移动构造。所有实现都直接返回右值,而不是这样。该要求通过 C++20 之后的提案 P0849R8 进行了修正,以匹配实现。
[edit] 示例
#include <cstring> #include <iostream> #include <ranges> #include <string> int main() { std::string s{"Hello world!\n"}; char a[20]; // storage for a C-style string std::strcpy(a, std::ranges::data(s)); // [data(s), data(s) + size(s)] is guaranteed to be an NTBS std::cout << a; }
输出
Hello world!
[edit] 另请参阅
(C++20) |
获取指向只读连续范围开头的指针 (自定义点对象) |
(C++20) |
返回指向范围开头的迭代器 (自定义点对象) |
(C++17) |
获取指向底层数组的指针 (函数模板) |