std::ranges:: data

連続した範囲の最初の要素へのポインタを返します。

T が配列型であり、 std:: remove_all_extents_t < std:: remove_reference_t < T >> が不完全型である場合、 ranges::data の呼び出しは不適格であり、診断は要求されない。

引数が左辺値であるか、または ranges:: enable_borrowed_range < std:: remove_cv_t < T >> が true の場合、 ranges::data の呼び出しは 式等価 です：

1. decay-copy ( t. data ( ) ) (C++23まで) auto ( t. data ( ) ) (C++23から) 、その式が有効で、その型がオブジェクト型へのポインタである場合。
2. それ以外の場合、 std:: to_address ( ranges:: begin ( t ) ) 、ただし式 ranges:: begin ( t ) が有効で、その型が std::contiguous_iterator をモデルとする場合。

それ以外のすべての場合において、 ranges::data の呼び出しはill-formedとなり、これはテンプレートのインスタンス化の直接の文脈内で ranges :: data ( e ) が現れた場合に 置換失敗 を引き起こす可能性があります。

カスタマイゼーションポイントオブジェクト

名前 ranges::data は カスタマイゼーションポイントオブジェクト を表し、これは 関数オブジェクト のconstな リテラル semiregular クラス型である。詳細は CustomizationPointObject を参照。

注記

引数が右辺値（すなわち T がオブジェクト型）であり、かつ ranges:: enable_borrowed_range < std:: remove_cv_t < T >> が false の場合、 ranges::data の呼び出しは不適格となり、これは置換失敗も引き起こします。

式 ranges :: data ( e ) が有効な場合、それはオブジェクトへのポインタを返します。

C++20標準では、基となる data 関数呼び出しがprvalueを返す場合、戻り値は具体化された一時オブジェクトからムーブ構築されることが要求されていました。しかし、すべての実装では直接prvalueを返しています。この要件は、実装に合わせるためにポストC++20提案 P0849R8 によって修正されました。

例

#include <cstring>
#include <iostream>
#include <ranges>
#include <string>
int main()
{
    std::string s{"Hello world!\n"};
    char a[20]; // Cスタイル文字列用のストレージ
    std::strcpy(a, std::ranges::data(s));
    // [data(s), data(s) + size(s)] は NTBS であることが保証される
    std::cout << a;
}

Hello world!

関連項目