namespace std::ranges {
  inline namespace /*unspecified*/ {
    inline constexpr /*unspecified*/ cdata = /*unspecified*/;
  }
}

概要

Rangeの要素が格納されたメモリ領域へのポインタを取得する関数オブジェクト。

効果

部分式Eの型をT、Eの評価結果オブジェクトを示す左辺値をtとする。このとき、式ranges::cdata(E)の効果は以下の式と等しい。

• C++20まで
  1. Eがlvalueであれば、ranges::data(static_cast<const T&>(E))
  2. それ以外の場合、ranges::data(static_cast<const T&&>(E))
• C++23から
  1. Eが右辺値であり、enable_borrowed_range<remove_cv_t<T>>がfalseとなる場合、ranges::cdata(E)は不適格
  2. それ以外の場合、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));
}

出力例

array size:4 at 0x7fffb1ad5d70
array size:1 at 0x556ec23ba2b0

バージョン

言語

• C++20

処理系

• Clang: 13.0.0 ✅
• GCC: 10.1.0 ✅
• Visual C++: 2019 Update 10 ✅

参照

• N4861 24 Ranges library
• C++20 ranges
• P2278R4 cbegin should always return a constant iterator
• LWG Issue 3948. possibly-const-range and as-const-pointer should be noexcept