實驗性庫標頭檔案 <experimental/ranges/concepts>

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

標準庫標頭檔案

語言支援 <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> (until 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
範圍 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
相同	指定型別與另一型別相同 (概念)
DerivedFrom	指定型別派生自另一型別 (概念)
ConvertibleTo	指定型別可隱式轉換為另一型別 (概念)
CommonReference	指定兩種型別共享一個共同的引用型別 (概念)
Common	指定兩種型別共享一個共同的型別 (概念)
Integral	指定型別是整型 (概念)
SignedIntegral	指定型別是帶符號的整型 (概念)
UnsignedIntegral	指定一個型別是無符號的整型 (概念)
Assignable	指定型別可從另一型別賦值 (概念)
SwappableSwappableWith	指定型別可以被交換，或者兩種型別可以互相交換 (概念)

比較概念

定義於名稱空間 std::experimental::ranges
Boolean	指定型別可以在布林上下文中使用 (概念)
WeaklyEqualityComparableWith	指定兩個型別可以使用運算子 == 和 != 進行相等比較 (概念)
EqualityComparableEqualityComparableWith	指定運算子 == 是等價關係 (概念)
StrictTotallyOrderedStrictTotallyOrderedWith	指定型別上的比較運算子產生全序關係 (概念)

物件概念

定義於名稱空間 std::experimental::ranges
Destructible（可析構）	指定該型別的物件可以被銷燬 (概念)
Constructible	指定該型別的變數可以從一組引數型別構造或繫結 (概念)
DefaultConstructible（可預設構造）	指定型別的物件可以預設構造 (概念)
MoveConstructible（可移動構造）	指定型別的物件可以被移動構造 (概念)
CopyConstructible（可複製構造）	指定型別的物件可以被複制構造和移動構造 (概念)
Movable	指定型別的物件可以被移動和交換 (概念)
Copyable	指定型別的物件可以被複制、移動和交換 (概念)
Semiregular	指定型別的物件可以被複制、移動、交換和預設構造 (概念)
Regular	指定一個型別是常規的，即它既是 Semiregular 又是 EqualityComparable (概念)

可呼叫概念

定義於名稱空間 std::experimental::ranges
InvocableRegularInvocable	指定可呼叫型別可以使用給定的一組引數型別進行呼叫 (概念)
Predicate（謂詞）	指定可呼叫型別是布林謂詞 (概念)
Relation	指定可呼叫型別是二元關係 (概念)
StrictWeakOrder	指定一個 Relation 施加嚴格弱序 (概念)

概要

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 */;
 
}}}}