std::ranges::data

inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ data = /* unspecified */;
}

template< class T >
    requires /* see below */
constexpr std::remove_reference_t<
    ranges::range_reference_t<T>>* data( T&& t );

返回一个指向连续范围首元素的指针。

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

参见