std::ranges::cdata
定义在头文件 <ranges> 中 |
||
定义在头文件 <iterator> 中 |
||
inline namespace /*未指定*/ { inline constexpr /*未指定*/ cdata = /*未指定*/; |
(自 C++20 起) (自定义点对象) |
|
调用签名 |
||
template< class T > requires /*见下文*/ |
(自 C++20 起) | |
返回指向连续范围的第一个元素的指针,该范围由带 const 限定符的(直到 C++23)参数表示。该元素为常量类型(自 C++23 起)
令
调用 返回类型等效于std::remove_reference_t<ranges::range_reference_t<CT>>*。 |
(直到 C++23) |
如果参数是左值或ranges::enable_borrowed_range<std::remove_cv_t<T>> 为true,则调用
返回类型等效于std::remove_reference_t<ranges::range_const_reference_t<T>>*。 在所有其他情况下,调用 |
(自 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
符合以下模型
- std::invocable<__cdata_fn, Args...>,
- std::invocable<const __cdata_fn, Args...>,
- std::invocable<__cdata_fn&, Args...>,以及
- std::invocable<const __cdata_fn&, Args...>.
否则,__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++20) |
获取指向连续范围开头的指针 (自定义点对象) |
(C++17) |
获取指向底层数组的指针 (函数模板) |