• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    customization point object
    <ranges>

    std::ranges::cdata

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

    概要

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

    効果

    部分式Eの型をTEの評価結果オブジェクトを示す左辺値を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

    処理系

    参照