Skip to content

Latest commit

 

History

History
84 lines (70 loc) · 3 KB

cdata.md

File metadata and controls

84 lines (70 loc) · 3 KB

cdata

  • ranges[meta header]
  • std::ranges[meta namespace]
  • cpo[meta id-type]
  • cpp20[meta cpp]
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));
}
  • std::ranges::cdata[color ff0000]
  • std::ranges::size[link size.md]

出力例

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

バージョン

言語

  • C++20

処理系

  • Clang: 13.0.0 [mark verified]
  • GCC: 10.1.0 [mark verified]
  • ICC: ?
  • Visual C++: 2019 Update 10 [mark verified]

参照