実験的ライブラリヘッダー <experimental/ranges/concepts>

 

C++

コンパイラサポート

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

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

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

言語サポートライブラリ

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

診断ライブラリ

メモリ管理ライブラリ

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

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

コンテナライブラリ

イテレータライブラリ

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

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

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

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

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

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

標準ライブラリヘッダー

言語サポート <cfloat> <climits> <compare> (C++20) <contracts> (C++26) <coroutine> (C++20) <csetjmp> <csignal> <cstdarg> <cstddef> <cstdint> (C++11) <cstdlib> <exception> <initializer_list> (C++11)    <limits> <new> <source_location> (C++20) <stdfloat> (C++23) <typeinfo> <version> (C++20) コンセプト <concepts> (C++20) 診断 <cassert> <cerrno> <debugging> (C++26) <stacktrace> (C++23) <stdexcept> <system_error> (C++11) メモリ管理 <memory> <memory_resource> (C++17) <scoped_allocator> (C++11) メタプログラミング <type_traits> (C++11) <ratio> (C++11)

汎用ユーティリティ <any> (C++17) <bitset> <bit> (C++20) <charconv> (C++17) <expected> (C++23) <format> (C++20) <functional> <optional> (C++17) <tuple> (C++11) <typeindex> (C++11) <utility> <variant> (C++17) コンテナ <array> (C++11) <deque> <flat_map> (C++23) <flat_set> (C++23) <forward_list> (C++11) <hive> (C++26) <inplace_vector> (C++26)    <list> <map> <mdspan> (C++23) <queue> <set> <span> (C++20) <stack> <unordered_map> (C++11) <unordered_set> (C++11) <vector> イテレータ <iterator> Ranges <generator> (C++23) <ranges> (C++20)

アルゴリズム <algorithm> <numeric> 文字列 <cctype> <cstring> <cuchar> (C++11) <cwchar> <cwctype> <string_view> (C++17) <string> テキスト処理 <clocale> <codecvt> (C++11/17/26*) <locale> <regex> (C++11) <text_encoding> (C++26)    数値 <cfenv> (C++11) <cmath> <complex> <linalg> (C++26) <numbers> (C++20) <random> (C++11) <simd> (C++26) <valarray> 時間 <chrono> (C++11) <ctime> C互換 <ccomplex> (C++11/17/20*) <ciso646> (C++20 まで) <cstdalign> (C++11/17/20*) <cstdbool> (C++11/17/20*) <ctgmath> (C++11/17/20*)

入出力 <cinttypes> (C++11) <cstdio> <filesystem> (C++17) <fstream> <iomanip> <iosfwd> <iostream> <ios> <istream> <ostream> <print> (C++23) <spanstream> (C++23) <sstream> <streambuf> <strstream> (C++98/26*) <syncstream> (C++20) 並行性サポート <atomic> (C++11) <barrier> (C++20) <condition_variable> (C++11) <future> (C++11) <hazard_pointer> (C++26) <latch> (C++20) <mutex> (C++11) <rcu> (C++26) <semaphore> (C++20) <shared_mutex> (C++14) <stdatomic.h> (C++23) <stop_token> (C++20) <thread> (C++11) 実行サポート <execution> (C++17)

 

実験的なライブラリヘッダー

実行 P2300
<experimental/execution>
ファイルシステム TS
<experimental/filesystem>
並列処理 TS (v1, v2)
experimental/algorithm experimental/execution_policy experimental/exception_list	experimental/numeric <experimental/simd> experimental/task_block
ライブラリの基礎 TS (v1, v2, v3)
experimental/algorithm <experimental/any> experimental/array experimental/chrono experimental/deque experimental/forward_list <experimental/functional> experimental/future experimental/iterator experimental/list experimental/map experimental/memory <experimental/memory_resource> experimental/numeric <experimental/optional> experimental/propagate_const	experimental/random experimental/ratio experimental/regex experimental/scope experimental/set experimental/source_location experimental/string <experimental/string_view> experimental/system_error experimental/tuple experimental/type_traits experimental/unordered_map experimental/unordered_set experimental/utility experimental/vector
並行処理 TS
experimental/atomic experimental/barrier	experimental/future experimental/latch
Ranges TS
<experimental/ranges/algorithm> <experimental/ranges/concepts> <experimental/ranges/functional>         <experimental/ranges/iterator>	<experimental/ranges/random> <experimental/ranges/tuple> <experimental/ranges/type_traits> <experimental/ranges/utility>
コルーチンTS
experimental/coroutine
ネットワーキングTS
experimental/buffer experimental/executor experimental/internet experimental/io_context	<experimental/net> experimental/netfwd experimental/socket experimental/timer
リフレクションTS
<experimental/reflect>

 

このヘッダーは、ranges ライブラリの一部です。

コア言語コンセプト

std::experimental::ranges 名前空間で定義されます。
同じ	型が別の型と同一であることを規定する (concept)
DerivedFrom	型が別の型から派生していることを規定する (concept)
ConvertibleTo	型が別の型に暗黙的に変換可能であることを規定する (concept)
CommonReference	2つの型が共通の参照型を共有することを規定する (concept)
Common	2つの型が共通の型を共有することを規定する (concept)
Integral	型が整数型であることを規定する (concept)
SignedIntegral	型が符号付き整数型であることを規定する (concept)
UnsignedIntegral	符号なしの整数型であることを指定します (concept)
Assignable	型が別の型から代入可能であることを規定する (concept)
SwappableSwappableWith	型が交換可能であること、または2つの型が互いに交換可能であることを規定する (concept)

比較コンセプト

std::experimental::ranges 名前空間で定義されます。
Boolean	型が真偽値コンテキストで使用可能であることを規定する (concept)
WeaklyEqualityComparableWith	演算子 == および != を使用して等価比較できる2つの型を指定します。 (concept)
EqualityComparableEqualityComparableWith	演算子==が同値関係であることを規定する (concept)
StrictTotallyOrderedStrictTotallyOrderedWith	その型の比較演算子が全順序をもたらすことを規定する (concept)

オブジェクトコンセプト

std::experimental::ranges 名前空間で定義されます。
Destructible	その型のオブジェクトが破棄可能であることを規定する (concept)
Constructible	その型の変数が、一連の引数型から構築可能、または束縛可能であることを規定する (concept)
DefaultConstructible	その型のオブジェクトがデフォルト構築可能であることを規定する (concept)
MoveConstructible	その型のオブジェクトがムーブ構築可能であることを規定する (concept)
CopyConstructible	その型のオブジェクトがコピー構築およびムーブ構築可能であることを規定する (concept)
Movable	その型のオブジェクトがムーブおよび交換可能であることを規定する (concept)
Copyable	その型のオブジェクトがコピー、ムーブ、および交換可能であることを規定する (concept)
Semiregular	その型のオブジェクトがコピー、ムーブ、交換、およびデフォルト構築可能であることを規定する (concept)
Regular	Semiregular かつ EqualityComparable である、つまり、通常の型であることを指定します。 (concept)

呼び出し可能コンセプト

std::experimental::ranges 名前空間で定義されます。
InvocableRegularInvocable	呼び出し可能型が、与えられた一連の引数型で呼び出し可能であることを規定する (concept)
Predicate	呼び出し可能型が真偽値を返す述語 (Boolean predicate) であることを規定する (concept)
Relation	呼び出し可能型が二項関係 (binary relation) であることを規定する (concept)
StrictWeakOrder	Relation が厳密弱順序を課すことを指定します。 (concept)

シノプシス

namespace std { namespace experimental { namespace ranges { inline namespace v1 {
 
template <class T, class U>
concept bool Same = /* see definition */;
 
template <class T, class U>
concept bool DerivedFrom = /* see definition */;
 
template <class T, class U>
concept bool ConvertibleTo = /* see definition */;
 
template <class T, class U>
concept bool CommonReference = /* see definition */;
 
template <class T, class U>
concept bool Common = /* see definition */;
 
template <class T>
concept bool Integral = /* see definition */;
 
template <class T>
concept bool SignedIntegral = /* see definition */;
 
template <class T>
concept bool UnsignedIntegral = /* see definition */;
 
template <class T, class U>
concept bool Assignable = /* see definition */;
 
template <class T>
concept bool Swappable = /* see definition */;
 
template <class T, class U>
concept bool SwappableWith = /* see definition */;
 
template <class T>
concept bool Destructible = /* see definition */;
 
template <class T, class... Args>
concept bool Constructible = /* see definition */;
 
template <class T>
concept bool DefaultConstructible = /* see definition */;
 
template <class T>
concept bool MoveConstructible = /* see definition */;
 
template <class T>
concept bool CopyConstructible = /* see definition */;
 
template <class B>
concept bool Boolean = /* see definition */;
 
template <class T, class U>
concept bool WeaklyEqualityComparableWith = /* see definition */;
 
template <class T>
concept bool EqualityComparable = /* see definition */;
 
template <class T, class U>
concept bool EqualityComparableWith = /* see definition */;
 
template <class T>
concept bool StrictTotallyOrdered = /* see definition */;
 
template <class T, class U>
concept bool StrictTotallyOrderedWith = /* see definition */;
 
template <class T>
concept bool Movable = /* see definition */;
 
template <class T>
concept bool Copyable = /* see definition */;
 
template <class T>
concept bool Semiregular = /* see definition */;
 
template <class T>
concept bool Regular = /* see definition */;
 
template <class F, class... Args>
concept bool Invocable = /* see definition */;
 
template <class F, class... Args>
concept bool RegularInvocable = /* see definition */;
 
template <class F, class... Args>
concept bool Predicate = /* see definition */;
 
template <class R, class T, class U>
concept bool Relation = /* see definition */;
 
template <class R, class T, class U>
concept bool StrictWeakOrder = /* see definition */;
 
}}}}