namespace std::ranges {
inline namespace /*unspecified*/ {
inline constexpr /*unspecified*/ cdata = /*unspecified*/;
}
}
概要
Rangeの要素が格納されたメモリ領域へのポインタを取得する関数オブジェクト。
効果
部分式E
の型をT
、E
の評価結果オブジェクトを示す左辺値をt
とする。このとき、式ranges::cdata(E)
の効果は以下の式と等しい。
- C++20まで
E
がlvalueであれば、ranges::data(static_cast<const T&>(E))
- それ以外の場合、
ranges::data(static_cast<const T&&>(E))
- C++23から
E
が右辺値であり、enable_borrowed_range<remove_cv_t<T>>
がfalse
となる場合、ranges::cdata(E)
は不適格- それ以外の場合、
as-const-pointer(ranges::data(possibly-const-range(t)))
as-const-pointer
は次のような説明専用関数テンプレートである
template<class T> constexpr auto as-const-pointer(const T* p) noexcept { return p; }
戻り値
Rangeの要素が格納されたメモリ領域へのポインタ。
カスタマイゼーションポイント
Rangeがconst
な場合についてranges::data
をカスタマイズすることで、ranges::cdata
をカスタマイズできる。
備考
ranges::cdata(E)
が有効な式であるとき、その型はオブジェクトへのポインタである(C++23以降、このポインタは定数ポインタである)。
例
#include <vector>
#include <iostream>
#include <ranges>
void some_c_like_api_function(const int* arr, std::size_t arr_size)
{
std::cout << "array size:" << arr_size << " at " << static_cast<const void*>(arr) << std::endl;
}
int main()
{
int arr[4] = {};
some_c_like_api_function(std::ranges::cdata(arr), std::ranges::size(arr));
std::vector<int> v { 12 };
some_c_like_api_function(std::ranges::cdata(v), std::ranges::size(v));
}
17
#include <vector>
#include <iostream>
#include <ranges>
void some_c_like_api_function(const int* arr, std::size_t arr_size)
{
std::cout << "array size:" << arr_size << " at " << static_cast<const void*>(arr) << std::endl;
}
int main()
{
int arr[4] = {};
some_c_like_api_function(std::ranges::cdata(arr), std::ranges::size(arr));
std::vector<int> v { 12 };
some_c_like_api_function(std::ranges::cdata(v), std::ranges::size(v));
}
出力例
array size:4 at 0x7fffb1ad5d70
array size:1 at 0x556ec23ba2b0
バージョン
言語
- C++20
処理系
- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅