std::ranges::views::single, std::ranges::single_view

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

Rangesライブラリ

Rangeアクセス begin cbegin   end cend rbegin crbegin   rend crend size ssize   data cdata reserve_hint (C++26)   empty

Range変換 std::from_range_t std::from_range (C++23)(C++23)     to (C++23)

ダングリングイテレータの扱い dangling borrowed_iterator_t borrowed_subrange_t

Rangeプリミティブ
range_size_trange_difference_trange_value_t elements_of (C++23)	iterator_tconst_iterator_tsentinel_tconst_sentinel_t (C++23)(C++23)	range_reference_trange_const_reference_trange_rvalue_reference_trange_common_reference_t (C++23)

Rangeコンセプト
range borrowed_range    common_range	sized_range viewable_range    view	input_range output_range forward_range	bidirectional_range    random_access_range contiguous_range	approximately_sized_range (C++26) constant_range (C++23)

表示
view_interface	subrange

Rangeファクトリ
empty_viewviews::empty	single_viewviews::single	basic_istream_viewviews::istream	iota_viewviews::iota	repeat_viewviews::repeat (C++23)(C++23)

Rangeアダプタ
views::all_tviews::all as_rvalue_viewviews::as_rvalue (C++23)(C++23)   filter_viewviews::filter transform_viewviews::transform take_viewviews::take take_while_viewviews::take_while common_viewviews::common views::counted to_input_viewviews::to_input (C++26)(C++26)	ref_view drop_viewviews::drop drop_while_viewviews::drop_while lazy_split_viewviews::lazy_split split_viewviews::split join_viewviews::join join_with_viewviews::join_with (C++23)(C++23)   concat_viewviews::concat (C++26)(C++26) cache_latest_viewviews::cache_latest (C++26)(C++26)	owning_view reverse_viewviews::reverse as_const_viewviews::as_const (C++23)(C++23) elements_viewviews::elements keys_viewviews::keys values_viewviews::values enumerate_viewviews::enumerate (C++23)(C++23) zip_viewviews::zip (C++23)(C++23) zip_transform_viewviews::zip_transform (C++23)(C++23)	adjacent_viewviews::adjacent (C++23)(C++23) views::pairwise (C++23) adjacent_transform_viewviews::adjacent_transform (C++23)(C++23) views::pairwise_transform (C++23) chunk_viewviews::chunk (C++23)(C++23) slide_viewviews::slide (C++23)(C++23) chunk_by_viewviews::chunk_by (C++23)(C++23) stride_viewviews::stride (C++23)(C++23) cartesian_product_viewviews::cartesian_product (C++23)(C++23)

Rangeジェネレータ std::generator (C++23)

Rangeアダプタクロージャオブジェクト range_adaptor_closure (C++23)

Rangeアダプタオブジェクト

ヘルパーアイテム
copyable-box movable-box (C++23まで)  (C++23)	simple-view non-propagating-cache

 

ヘッダ <ranges> で定義
	(1)
template< std::copy_constructible T >     requires std::is_object_v<T> class single_view     : public ranges::view_interface<single_view<T>>			(C++20以降) (C++23まで)
template< std::move_constructible T >     requires std::is_object_v<T> class single_view     : public ranges::view_interface<single_view<T>>			(C++23から)
namespace views {     inline constexpr /* 未指定 */ single = /* 未指定 */; }		(2)	(C++20以降)
呼び出しシグネチャ
template< class T >     requires /* 以下を参照 */ constexpr /* 以下参照 */ single( T&& t );			(C++20以降)

1) 指定された値の要素を1つだけ含むviewを生成します。

2) 式 views::single(e) は、任意の適切な部分式 e に対して、single_view<std::decay_t<decltype((e))>>(e) と 式等価です。

要素の生存期間は、親のsingle_viewに束縛されます。single_viewをコピーすると、要素のコピーが作成されます。

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

views::singleという名前は、FunctionObjectであり、LiteralTypeでSemiregularなクラス型のカスタマイズポイントオブジェクトを指します。説明のために、その型のcv修飾されていないバージョンは__single_fnと表記されます。

__single_fnのすべてのインスタンスは等価です。同じ引数に対して異なる__single_fn型のインスタンスを呼び出した場合の効果は、インスタンスを表す式がlvalueかrvalueか、cv修飾されているかどうかにかかわらず同等です（ただし、volatile修飾されたインスタンスは呼び出し可能である必要はありません）。したがって、views::singleは自由にコピーでき、そのコピーは相互に交換可能です。

型のセットArgs...が与えられた場合、std::declval<Args>()... が上記views::singleの引数要件を満たす場合、__single_fnは以下をモデル化します。

• std::invocable<__single_fn, Args...>,
• std::invocable<const __single_fn, Args...>,
• std::invocable<__single_fn&, Args...>, および
• std::invocable<const __single_fn&, Args...>.
  

それ以外の場合、__single_fnの関数呼び出し演算子はオーバーロード解決に参加しません。

データメンバー

メンバ	定義
copyable-box <T> value_ (C++23まで)	ビューの単一要素 (説明用のメンバオブジェクト*)
movable-box <T> value_ (C++23以降)	ビューの単一要素 (説明用のメンバオブジェクト*)

メンバー関数

(コンストラクタ)	single_viewを構築します。 (public member function)
begin	要素へのポインタを返します。 (public member function)
end	要素の次の位置へのポインタを返します。 (public member function)
empty [static]	falseを返します。 (public static member function)
size [static]	1を返します。 (public static member function)
data	要素へのポインタを返します。 (public member function)
std::ranges::view_interface から継承
cbegin (C++23)	範囲の先頭への定数イテレータを返す (std::ranges::view_interface<D> の public メンバ関数)
cend (C++23)	範囲の定数イテレータの番兵を返す (std::ranges::view_interface<D> の public メンバ関数)
operator bool	派生ビューが空でないかどうかを返す。ranges::empty が適用可能な場合にのみ提供される (std::ranges::view_interface<D> の public メンバ関数)
front	派生ビューが forward_range を満たす場合に、派生ビューの最初の要素を返す (std::ranges::view_interface<D> の public メンバ関数)
back	派生ビューが bidirectional_range と common_range の両方を満たす場合にのみ、派生ビューの最後の要素を返す (std::ranges::view_interface<D> の public メンバ関数)
operator[]	派生ビューが random_access_range を満たす場合にのみ、派生ビューの n番目の要素を返す (std::ranges::view_interface<D> の public メンバ関数)

std::ranges::single_view::single_view

single_view() requires std::default_initializable<T> = default;	(1)	(C++20以降)
	(2)
constexpr explicit single_view( const T& t );			(C++20以降) (C++23まで)
constexpr explicit single_view( const T& t )     requires std::copy_constructible<T>;			(C++23から)
constexpr explicit single_view( T&& t );		(3)	(C++20以降)
template< class... Args >     requires std::constructible_from<T, Args...> constexpr explicit single_view( std::in_place_t, Args&&... args );		(4)	(C++20以降)

single_viewを構築します。

1) value_をデフォルト初期化します。これは、その保持する値を値初期化します。

2) value_をtで初期化します。

3) value_をstd::move(t)で初期化します。

4) value_は、value_{std::in_place, std::forward<Args>(args)...}のように初期化されます。

std::ranges::single_view::begin

constexpr T* begin() noexcept; constexpr const T* begin() const noexcept;		(C++20以降)

return data();に相当します。

std::ranges::single_view::end

constexpr T* end() noexcept; constexpr const T* end() const noexcept;		(C++20以降)

return data() + 1;に相当します。

std::ranges::single_view::empty

static constexpr bool empty() noexcept;		(C++20以降)

return false;に相当します。

std::ranges::single_view::size

static constexpr std::size_t size() noexcept;		(C++20以降)

return 1;に相当します。

single_viewをsplit_viewによって要求される/*tiny-range*/モデルにします。

std::ranges::single_view::data

constexpr T* data() noexcept; constexpr const T* data() const noexcept;		(C++20以降)

value_の保持する値へのポインタを返します。value_が値を含まない場合、動作は未定義です。

推論ガイド

template< class T > single_view( T ) -> single_view<T>;		(C++20以降)

注記

single_viewでは、継承されたemptyメンバ関数は常にfalseを返し、継承されたoperator bool変換関数は常にtrueを返します。

例

このコードを実行

#include <iomanip>
#include <iostream>
#include <ranges>
#include <string>
#include <tuple>
 
int main()
{
    constexpr std::ranges::single_view sv1{3.1415}; // uses (const T&) constructor
    static_assert(sv1);
    static_assert(not sv1.empty());
 
    std::cout << "1) *sv1.data(): " << *sv1.data() << '\n'
              << "2) *sv1.begin(): " << *sv1.begin() << '\n'
              << "3)  sv1.size(): " << sv1.size() << '\n'
              << "4)  distance: " << std::distance(sv1.begin(), sv1.end()) << '\n';
 
    std::string str{"C++20"};
    std::cout << "5)  str = " << std::quoted(str) << '\n';
    std::ranges::single_view sv2{std::move(str)}; // uses (T&&) constructor
    std::cout << "6) *sv2.data(): " << std::quoted(*sv2.data()) << '\n'
              << "7)  str = " << std::quoted(str) << '\n';
 
    std::ranges::single_view<std::tuple<int, double, std::string>>
        sv3{std::in_place, 42, 3.14, "😄"}; // uses (std::in_place_t, Args&&... args)
 
    std::cout << "8)  sv3 holds a tuple: { "
              << std::get<0>(sv3[0]) << ", "
              << std::get<1>(sv3[0]) << ", "
              << std::get<2>(sv3[0]) << " }\n";
}

出力

1) *sv1.data(): 3.1415
2) *sv1.begin(): 3.1415
3)  sv1.size(): 1
4)  distance: 1
5)  str = "C++20"
6) *sv2.data(): "C++20"
7)  str = ""
8)  sv3 holds a tuple: { 42, 3.14, 😄 }

不具合報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 3428	C++20	single_viewはstd::in_place_tから変換可能でした	コンストラクタがexplicitになりました
LWG 4035	C++20	single_viewはメンバ関数empty()を提供しませんでした	empty()を提供
P2367R0	C++20	single_viewの推論ガイドは引数をdecayさせませんでした。 views::singleはsingle_viewをコピーしましたが、ラップしませんでした。	decaying guideを提供; 常にラップするように変更

関連項目

optional (C++17)	オブジェクトを保持しているかもしれないし、していないかもしれないラッパー (クラステンプレート)
ranges::empty_viewviews::empty (C++20)	要素を持たない空の view (クラステンプレート) (変数テンプレート)
ranges::split_viewviews::split (C++20)	別のviewを区切り文字で分割して得られる部分rangeに対する view (クラステンプレート) (rangeアダプタオブジェクト)