std::ranges::data
在标头 <ranges> 定义
|
||
在标头 <iterator> 定义
|
||
inline namespace /* 未指定 */ { inline constexpr /* 未指定 */ data = /* 未指定 */; |
(C++20 起) (定制点对象) |
|
调用签名 |
||
template< class T > requires /* 见下文 */ |
(C++20 起) | |
返回指向连续范围首元素的指针。
如果 T
是数组类型且 std::remove_all_extents_t<std::remove_reference_t<T>> 不完整,那么 ranges::data(std::forward<T>(t)) 非良构,不要求诊断。
如果实参是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 true,那么对 ranges::data
的调用表达式等价于:
- decay-copy(t.data()) (C++23 前)auto(t.data()) (C++23 起),如果表达式合法且它的类型是指向对象的指针类型。
- 否则,如果表达式 ranges::begin(std::forward<T>(t)) 合法且它的类型实现 std::contiguous_iterator,则是 std::to_address(ranges::begin(std::forward<T>(t)))。
所有其他情况下,对 ranges::data
的调用非良构,这能在 ranges::data(e) 出现于模板实例化的立即语境时导致代换失败。
定制点对象
名字 ranges::data
代表一个定制点对象,它是某个字面 semiregular
类类型的 const 函数对象。为阐述目的,以 __data_fn
表示它的类型的 cv 无限定版本。
__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
的函数调用运算符不会参与重载决议。
注解
如果实参是右值(即 T
是对象类型)且 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 false,那么调用 ranges::data
非良构,这也会导致代换失败。
如果 ranges::data(e) 对表达式 e 合法,那么它返回指向对象的指针。
C++20 标准要求在底层 data
函数调用返回纯右值时,从实质化的临时对象移动构造其返回值。但所有实现均直接返回纯右值。C++20 后的提案 P0849R8 更正了该要求以匹配实现。
示例
#include <cstring> #include <iostream> #include <ranges> #include <string> int main() { std::string s {"Hello world!\n"}; char a[20]; // C 风格字符串的存储 std::strcpy(a, std::ranges::data(s)); // [data(s), data(s) + size(s)] 保证是 NTBS(空中止字节字符串) std::cout << a; }
输出:
Hello world!
参阅
(C++20) |
获得指向只读连续范围的起始的指针 (定制点对象) |
(C++20) |
返回指向范围起始的迭代器 (定制点对象) |
(C++17) |
获得指向底层数组的指针 (函数模板) |