命名空间
变体
操作

std::ranges::data

来自 cppreference.cn
< cpp‎ | ranges
 
 
范围库 (Ranges library)
范围适配器 (Range adaptors)
 
定义于头文件 <ranges>
定义于头文件 <iterator>
inline namespace /* 未指定 */ {

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

}
(C++20 起)
(定制点对象)
调用签名 (Call signature)
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 类类型的 const 函数对象。为了说明目的,其类型中 cv-unqualified 版本表示为 __data_fn

__data_fn 的所有实例均相等。在相同参数上调用不同类型为 __data_fn 的实例的效果是等价的,无论表示该实例的表达式是左值还是右值,以及是否为 const 限定(然而,不要求 volatile 限定的实例可调用)。因此,ranges::data 可以自由复制,并且其副本可以互换使用。

给定一组类型 Args...,如果 std::declval<Args>()... 满足上述 ranges::data 的参数要求,则 __data_fn 模型

否则,__data_fn 的任何函数调用运算符都不参与重载决议。

[编辑] 注意

如果参数是右值(即 T 是对象类型)且 ranges::enable_borrowed_range<std::remove_cv_t<T>>false,则对 ranges::data 的调用是非良构的,这也会导致替换失败。

如果 ranges::data(e) 对表达式 e 有效,则它返回一个指向对象的指针。

C++20 标准要求,如果底层 data 函数调用返回一个纯右值 (prvalue),则返回值是从具象化临时对象移动构造的。所有实现都直接返回纯右值。后 C++20 提案 P0849R8 纠正了此要求以与实现匹配。

[编辑] 示例

#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!

[编辑] 参阅

获取指向只读连续范围开头的指针
(定制点对象)[编辑]
返回指向范围开头的迭代器
(定制点对象)[编辑]
(C++17)
获取指向底层数组的指针
(函数模板) [编辑]