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)	계약 지원 라이브러리