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
的调用属于病式构造,不要求诊断。
如果参数是左值或
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
表示一个
定制点对象
,它是一个字面量
semiregular
类类型的常量
函数对象
。详细信息请参阅
定制点对象
。
注释
如果实参是右值(即
T
是对象类型)且
ranges::
enable_borrowed_range
<
std::
remove_cv_t
<
T
>>
为
false
,则对
ranges::data
的调用是非法的,这也会导致替换失败。
如果对于表达式 e , ranges :: data ( 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)
|
获取底层数组的指针
(函数模板) |