cppreference.net

Namespaces

Page

Variants

Contract support (C++26)

From cppreference.net

< cpp

Utilities library

Language support

Type support (basic types, RTTI)

Library feature-test macros (C++20)

Program utilities

Variadic functions

initializer_list

(C++11)

is_constant_evaluated

(C++20)

is_within_lifetime

(C++26)

source_location

(C++20)

Coroutine support (C++20)

Contract support (C++26)

Three-way comparison

three_way_comparable three_way_comparable_with

(C++20) (C++20)

strong_ordering

(C++20)

(C++20)

partial_ordering

(C++20)

common_comparison_category

(C++20)

compare_three_way_result

(C++20)

compare_three_way

(C++20)

(C++20)

(C++20)

(C++20)

compare_strong_order_fallback

(C++20)

compare_weak_order_fallback

(C++20)

compare_partial_order_fallback

(C++20)

is_eq is_lt is_lteq

(C++20) (C++20) (C++20)

is_neq is_gt is_gteq

(C++20) (C++20) (C++20)

General utilities

Function objects
Bit manipulation (C++20)
C-style bit manipulation (C++26)
bitset
hash (C++11)

Relational operators (deprecated in C++20)

rel_ops::operator!= rel_ops::operator>

rel_ops::operator<= rel_ops::operator>=

Integer comparison functions

cmp_equal cmp_less cmp_less_than

(C++20) (C++20) (C++20)

cmp_not_equal cmp_greater cmp_greater_than

(C++20) (C++20) (C++20)

(C++20)

Swap and type operations

swap
ranges::swap (C++20)
exchange (C++14)
declval (C++11)
to_underlying (C++23)

forward (C++11)
forward_like (C++23)
move (C++11)
move_if_noexcept (C++11)
as_const (C++17)

Common vocabulary types

pair
tuple (C++11)
optional (C++17)
any (C++17)
variant (C++17)

tuple_size (C++11)
tuple_element (C++11)
apply (C++17)
make_from_tuple (C++17)
expected (C++23)

Contract support

Contract-violation information
contract_violation (C++26)
assertion_kind (C++26)
evaluation_semantic (C++26)
detection_mode (C++26)
Helper functions
invoke_default_contract_violation_handler (C++26)

コントラクトサポートライブラリは、コントラクト違反に関する情報を報告するためのいくつかの型を定義します。

契約違反情報

ヘッダーで定義 `<contracts>`
名前空間で定義 `std::contracts`
contract_violation (C++26)	契約違反情報を保持する型 (クラス)
assertion_kind (C++26)	違反された契約表明の種類 (列挙型)
evaluation_semantic (C++26)	契約違反発生時の評価セマンティクス (列挙型)
detection_mode (C++26)	契約違反の原因となった理由 (列挙型)

ヘルパー関数

ヘッダーで定義 `<contracts>`
名前空間で定義 `std::contracts`
invoke_default_contract_violation_handler (C++26)	デフォルトの契約違反ハンドラーを呼び出す (関数)

注記

機能テストマクロ	値	標準	機能
`__cpp_lib_contracts`	`202502L`	(C++26)	契約サポートライブラリ