Namespaces
Variants

std::ranges:: data

From cppreference.net
Ranges library
Range adaptors
定义于头文件 <ranges>
定义于头文件 <iterator>
inline namespace /* 未指定 */ {

inline constexpr /* 未指定 */ data = /* 未指定 */ ;

}
(C++20 起)
(定制点对象)
调用签名
template < class T >

requires /* 见下文 */
constexpr std:: remove_reference_t <

ranges:: range_reference_t < T >> * data ( T && t ) ;
(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 的调用 表达式等价 于:

  1. decay-copy ( t. data ( ) ) (C++23 前) auto ( t. data ( ) ) (C++23 起) ,若该表达式有效且其类型为指向对象类型的指针。
  2. 否则, 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++17)
获取底层数组的指针
(函数模板)