no-throw-input-iterator、no-throw-forward-iterator、no-throw-sentinel-for、no-throw-input-range、no-throw-forward-range

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

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

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

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

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

コンテナライブラリ

イテレータライブラリ

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

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

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

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

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

メモリ管理ライブラリ

voidify (説明用*) 未初期化メモリのアルゴリズム uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) 制約付き未初期化 メモリアルゴリズム ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)  ranges::uninitialized_value_construct_n (C++20) Cライブラリ malloc calloc realloc aligned_alloc (C++17) free

アロケータ allocator allocator_traits (C++11) allocation_result (C++23) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20)  scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) メモリリソース pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17) pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) ガベージコレクションのサポート declare_reachable (C++11)(C++23まで) undeclare_reachable (C++11)(C++23まで) declare_no_pointers (C++11)(C++23まで) undeclare_no_pointers (C++11)(C++23まで) pointer_safety (C++11)(C++23まで) get_pointer_safety (C++11)(C++23まで) 未初期化ストレージ raw_storage_iterator (C++20まで*) get_temporary_buffer (C++20まで*) return_temporary_buffer (C++20まで*) 明示的な生存期間管理 start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

スマートポインタ unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (C++17まで*) owner_less (C++11) owner_less<void> (C++17) owner_hash (C++26) owner_equal (C++26) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) 低レベルメモリ 管理 operator new operator new[] operator delete operator delete[] get_new_handler (C++11) set_new_handler launder (C++17) bad_alloc bad_array_new_length (C++11) nothrow_t align_val_t (C++17) destroying_delete_t (C++20) new_handler nothrow その他 pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) is_sufficiently_aligned (C++26)

 

template< class I > concept no-throw-input-iterator =     std::input_iterator<I> &&     std::is_lvalue_reference_v<std::iter_reference_t<I>> &&     std::same_as<std::remove_cvref_t<std::iter_reference_t<I>>, std::iter_value_t<I>>;	(1)	(説明用*)
template< class I > concept no-throw-forward-iterator =     no-throw-input-iterator<I> &&     std::forward_iterator<I> &&     no-throw-sentinel-for<I, I>;	(2)	(説明用*)
template< class S, class I > concept no-throw-sentinel-for = std::sentinel_for<S, I>;	(3)	(説明用*)
template< class R > concept no-throw-input-range =     ranges::range<R> &&     no-throw-input-iterator<ranges::iterator_t<R>> &&     no-throw-sentinel-for<ranges::sentinel_t<R>, ranges::iterator_t<R>>;	(4)	(説明用*)
template< class R > concept no-throw-forward-range =     no-throw-input-range<R> &&     no-throw-forward-iterator<ranges::iterator_t<R>>;	(5)	(説明用*)

これらの exposition-only コンセプトは、イテレータ、センチネル、およびレンジに対するアルゴリズムの操作から例外がスローされないことを指定します。

1) no-throw-input-iterator コンセプトは、イテレータのデリファレンスが lvalue を生成することを要求します。これは、contiguous_iterator や LegacyForwardIterator と同様です。

意味上の要件

すべての標準コンセプトと同様に、ここにリストされているすべてのコンセプトは、それが包含するすべてのコンセプトがモデル化されている場合にのみモデル化されます。

1) 型 I は、有効なイテレータに対するインクリメント、コピー構築、ムーブ構築、コピー代入、ムーブ代入、または間接参照から例外がスローされない場合にのみ、no-throw-input-iterator をモデル化します。

3) 型 S と I は、有効な値の型 I と S の間のコピー構築、ムーブ構築、コピー代入、ムーブ代入、または比較から例外がスローされない場合にのみ、no-throw-sentinel-for をモデル化します。

4) 型 R は、型 R のオブジェクトに対する ranges::begin および ranges::end の呼び出しから例外がスローされない場合にのみ、no-throw-input-range をモデル化します。

注記

これらのコンセプトは、イテレータやセンチネルに対する一部の操作が例外をスローすることを許可します。たとえば、無効な値に対する操作などです。

関連項目

input_iterator (C++20)	型が入力イテレータであること、すなわち、参照先の値を読み取ることができ、前置および後置インクリメントの両方が可能であることを規定する (コンセプト)
forward_iterator (C++20)	input_iterator が、等価比較とマルチパスをサポートする前方イテレータであることを規定する (コンセプト)
sentinel_for (C++20)	input_or_output_iterator 型に対する番兵 (sentinel) であることを規定する (コンセプト)
ranges::input_range (C++20)	イテレータ型が input_iterator を満たすrangeを規定する (コンセプト)
ranges::forward_range (C++20)	イテレータ型が forward_iterator を満たすrangeを規定する (コンセプト)