命名空间
变体
操作

std::ranges::cdata

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
 
定义在头文件 <ranges>
定义在头文件 <iterator>
inline namespace /*未指定*/ {

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

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

    requires /*见下文*/

constexpr /*见下文*/ cdata( T&& t );
(自 C++20 起)

返回指向连续范围的第一个元素的指针,该范围由带 const 限定符的(直到 C++23)参数表示。该元素为常量类型(自 C++23 起)

CT

调用 ranges::cdataranges::data(static_cast<CT&&>(t)) 表达式等效

返回类型等效于std::remove_reference_t<ranges::range_reference_t<CT>>*

(直到 C++23)

如果参数是左值或ranges::enable_borrowed_range<std::remove_cv_t<T>>true,则调用 ranges::cdata 与以下表达式等效:

  • /*as-const-pointer*/(ranges::data(/*possibly-const-range*/(t))).

返回类型等效于std::remove_reference_t<ranges::range_const_reference_t<T>>*

在所有其他情况下,调用 ranges::cdata 都是非法的,这会导致替换失败,当调用出现在模板实例化的直接上下文中时。

(自 C++23 起)

如果ranges::cdata(t) 有效,则它返回指向常量类型(自 C++23 起)对象的指针。

自定义点对象

名称 ranges::cdata 表示一个自定义点对象,它是一个常量函数对象,属于字面量 semiregular 类类型。为了说明目的,其类型的 cv 无限定版本表示为 __cdata_fn

所有 __cdata_fn 的实例都是相等的。调用 __cdata_fn 类型的不同实例对相同参数的效果是等效的,无论表示该实例的表达式是左值还是右值,以及是否带 const 限定符(但是,不需要调用带 volatile 限定符的实例)。因此,可以自由复制 ranges::cdata,并且可以使用其副本互换使用。

给定一组类型 Args...,如果std::declval<Args>()... 满足上述 ranges::cdata 参数的要求,则 __cdata_fn 符合以下模型

否则,__cdata_fn 的任何函数调用运算符都不会参与重载解析。

[编辑] 示例

#include <cstring>
#include <iostream>
#include <ranges>
#include <string>
 
int main()
{
    std::string src {"hello world!\n"};
 
//  std::ranges::cdata(src)[0] = 'H'; // error, src.data() is treated as read-only
    std::ranges::data(src)[0] = 'H'; // OK, src.data() is a non-const storage
 
    char dst[20]; // storage for a C-style string
    std::strcpy(dst, std::ranges::cdata(src));
    // [data(src), data(src) + size(src)] is guaranteed to be an NTBS
 
    std::cout << dst;
}

输出

Hello world!

[编辑] 另请参阅

获取指向连续范围开头的指针
(自定义点对象)[编辑]
(C++17)
获取指向底层数组的指针
(函数模板) [编辑]