no-throw-input-iterator,no-throw-forward-iterator,no-throw-sentinel-for,no-throw-input-range,no-throw-forward-range

From cppreference.com

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros(C++20)
Language support library
Concepts library(C++20)
Diagnostics library
Memory management library
Metaprogramming library(C++11)
General utilities library
Containers library
Iterators library
Ranges library(C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library(C++17)
Concurrency support library(C++11)
Execution control library(C++26)
Technical specifications
Symbols index
External libraries

[edit]

Memory management library

voidify

(exposition only*)

Allocators

allocator
allocator_traits (C++11)
allocation_result (C++23)
scoped_allocator_adaptor (C++11)
pmr::polymorphic_allocator (C++17)

allocator_arg (C++11)
uses_allocator (C++11)
uses_allocator_construction_args (C++20)
make_obj_using_allocator (C++20)
uninitialized_construct_using_allocator (C++20)

Uninitialized memory algorithms

uninitialized_copy
uninitialized_fill
uninitialized_move (C++17)
uninitialized_copy_n (C++11)
uninitialized_fill_n
uninitialized_move_n (C++17)
construct_at (C++20)

uninitialized_default_construct (C++17)
uninitialized_value_construct (C++17)
destroy (C++17)
uninitialized_default_construct_n (C++17)
uninitialized_value_construct_n (C++17)
destroy_n (C++17)
destroy_at (C++17)

Constrained uninitialized memory algorithms

ranges::uninitialized_copy (C++20)
ranges::uninitialized_fill (C++20)
ranges::uninitialized_move (C++20)
ranges::uninitialized_copy_n (C++20)
ranges::uninitialized_fill_n (C++20)
ranges::uninitialized_move_n (C++20)
ranges::construct_at (C++20)

ranges::uninitialized_default_construct (C++20)
ranges::uninitialized_value_construct (C++20)
ranges::destroy (C++20)
ranges::uninitialized_default_construct_n (C++20)
ranges::uninitialized_value_construct_n (C++20)
ranges::destroy_n (C++20)
ranges::destroy_at (C++20)

Memory resources

pmr::memory_resource (C++17)
pmr::get_default_resource (C++17)
pmr::set_default_resource (C++17)
pmr::new_delete_resource (C++17)
pmr::pool_options (C++17)

pmr::null_memory_resource (C++17)
pmr::synchronized_pool_resource (C++17)
pmr::unsynchronized_pool_resource (C++17)
pmr::monotonic_buffer_resource (C++17)

Explicit lifetime management
start_lifetime_as (C++23)
start_lifetime_as_array (C++23)

Types for composite class design
indirect (C++26)
polymorphic (C++26)

Uninitialized storage(until C++20)

raw_storage_iterator (until C++20*)
get_temporary_buffer (until C++20*)

return_temporary_buffer (until C++20*)

Garbage collector support(until C++23)

declare_reachable (C++11)(until C++23)
declare_no_pointers (C++11)(until C++23)
pointer_safety (C++11)(until C++23)

undeclare_reachable (C++11)(until C++23)
undeclare_no_pointers (C++11)(until C++23)
get_pointer_safety (C++11)(until C++23)

Low level memory
management

operator newoperator new[]

operator deleteoperator delete[]

(C++11)

(C++11)

(C++17)

(C++20)

(C++17)

(C++11)

(C++11)

(C++11)

(until C++17*)

(C++11)

(C++17)

(C++26)

(C++26)

enable_shared_from_this

(C++11)

(C++11)

(C++11)

(C++23)

(C++23)

(C++11)

(C++20)

(C++11)

(C++11)

(C++20)

is_sufficiently_aligned

(C++26)

C Library

malloc
calloc
realloc

free
aligned_alloc (C++17)

[edit]

template<class I> concept no-throw-input-iterator= std::input_iterator<I>&& std::is_lvalue_reference_v<std::iter_reference_t<I>>&& std::same_as<std::remove_cvref_t<std::iter_reference_t<I>>,std::iter_value_t<I>>;	(1)	(exposition only*)
template<class I> concept no-throw-forward-iterator= no-throw-input-iterator<I>&& std::forward_iterator<I>&& no-throw-sentinel-for<I, I>;	(2)	(exposition only*)
template<class S,class I> concept no-throw-sentinel-for=std::sentinel_for<S, I>;	(3)	(exposition only*)
template<class R> concept no-throw-input-range= ranges::range<R>&& no-throw-input-iterator<ranges::iterator_t<R>>&& no-throw-sentinel-for<ranges::sentinel_t<R>,ranges::iterator_t<R>>;	(4)	(exposition only*)
template<class R> concept no-throw-forward-range= no-throw-input-range<R>&& no-throw-forward-iterator<ranges::iterator_t<R>>;	(5)	(exposition only*)

These exposition-only concepts specify that no exceptions are thrown from operations required by algorithms on iterators, sentinels, and ranges.

1) Theno-throw-input-iterator concept requires that dereferencing the iterator yields an lvalue, likecontiguous_iterator andLegacyForwardIterator.

[edit]Semantic requirements

Like all standard concepts, every concept listed here is modeled only if all concepts it subsumes are modeled.

1) A typeI modelsno-throw-input-iterator only if no exceptions are thrown from increment, copy construction, move construction, copy assignment, move assignment, or indirection through valid iterators.

3) TypesS andI modelno-throw-sentinel-for only if no exceptions are thrown from copy construction, move construction, copy assignment, move assignment, or comparisons between valid values of typeI andS.

4) A typeR modelsno-throw-input-range only if no exceptions are thrown from calls toranges::begin andranges::end on an object of typeR.

[edit]Notes

These concepts allow some operations on iterators and sentinels to throw exceptions, e.g. operations on invalid values.

[edit]See also

input_iterator (C++20)	specifies that a type is an input iterator, that is, its referenced values can be read and it can be both pre- and post-incremented (concept)[edit]
forward_iterator (C++20)	specifies that an`input_iterator` is a forward iterator, supporting equality comparison and multi-pass (concept)[edit]
sentinel_for (C++20)	specifies a type is a sentinel for an`input_or_output_iterator` type (concept)[edit]
ranges::input_range (C++20)	specifies a range whose iterator type satisfies`input_iterator` (concept)[edit]
ranges::forward_range (C++20)	specifies a range whose iterator type satisfies`forward_iterator` (concept)[edit]

Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/memory/ranges/nothrow_concepts&oldid=156065"

Movatterモバイル変換

cppreference.com

Namespaces

Variants

Views

Actions

no-throw-input-iterator,no-throw-forward-iterator,no-throw-sentinel-for,no-throw-input-range,no-throw-forward-range

[edit]Semantic requirements

[edit]Notes

[edit]See also

Navigation

Toolbox