最終更新日時: 2024年06月11日 22時45分38秒 (JST)
Akira Takahashi が更新

履歴 編集

customization point object
<ranges>

# std::ranges::data(C++20)

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

## 概要

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

## 効果

部分式`E`の型を`T`、`t`を`E`を評価した値とする。このとき、式`ranges::data(E)`の効果は以下の通り。

1. `E`がrvalueかつ`enable_borrowed_range<remove_cv_t<T>>`が`false`であれば、呼び出しは不適格。
2. `T`が配列型かつ`remove_all_extents_t<T>`が不完全型であれば、呼び出しは不適格(診断不要)。
3. `decay-copy(t.data())`が有効な式でその型がオブジェクトへのポインタであれば、`decay-copy(t.data())`と等しい。
4. `ranges::begin(t)`が有効な式で、その型が`contiguous_iterator`のモデルであれば、`to_address(ranges::begin(E))`と等しい。

どれにも当てはまらないとき、呼び出しは不適格。

## 戻り値

Rangeの要素が格納されたメモリ領域へのポインタ。

## カスタマイゼーションポイント

3か4の条件を満たすようにする。例えば、ユーザー定義のクラスにメンバ関数`data`を持たせるか、`ranges::begin`を通じてカスタマイズできる。

## 備考

`ranges::data(E)`が有効な式であるとき、その型はオブジェクトへのポインタである。

## 例

    #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::data(arr), std::ranges::size(arr));
      std::vector<int> v { 12 };
      some_c_like_api_function(std::ranges::data(v), std::ranges::size(v));
    }

### 出力例

    array size:4 at 0x7fff28ab1c50
    array size:1 at 0x5596494f02b0

## バージョン

### 言語

- C++20

### 処理系

- Clang: 13.0.0 ✅
- GCC: 10.1.0 ✅
- ICC: ?
- Visual C++: 2019 Update 10 ✅

## 関連項目

- `std::data`

## 参照

- N4861 24 Ranges library
- C++20 ranges