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)	契约支持库