std::experimental::propagate_const<T>::propagate_const

 

C++

Compiler support

Freestanding and hosted

Language

Standard library headers

Named requirements

Feature test macros (C++20)

Language support library

Concepts library (C++20)

Metaprogramming library (C++11)

Diagnostics library

General utilities library

Strings library

Containers library

Iterators library

Ranges library (C++20)

Algorithms library

Numerics library

Localizations library

Input/output library

Filesystem library (C++17)

Regular expressions library (C++11)

Concurrency support library (C++11)

Technical specifications

Symbols index

External libraries

 

Technical specifications

Filesystem library (filesystem TS)

Library fundamentals (library fundamentals TS)

Library fundamentals 2 (library fundamentals TS v2)

Library fundamentals 3 (library fundamentals TS v3)

Extensions for parallelism (parallelism TS)

Extensions for parallelism 2 (parallelism TS v2)

Extensions for concurrency (concurrency TS)

Extensions for concurrency 2 (concurrency TS v2)

Concepts (concepts TS)

Ranges (ranges TS)

Reflection (reflection TS)

Mathematical special functions (special functions TR)

 

Library fundamentals v2

experimental::propagate_const

experimental::not_fn

experimental::observer_ptr

experimental::make_array

experimental::to_array

experimental::ostream_joiner

experimental::gcd

experimental::lcm

experimental::source_location

experimental::randint

detection idiom

uniform container erasure

logical operator type traits

 

std::experimental::propagate_const

Member functions

propagate_const::propagate_const

propagate_const::operator=

propagate_const::swap

Observers

propagate_const::get

propagate_const::operator bool

propagate_const::operator*propagate_const::operator->

propagate_const::operator element_type*propagate_const::operator const element_type*

Non-member functions

operator==operator!=operator<operator>operator<=operator>operator>=

swap

get_underlying

Helper classes

std::hash

std::equal_tostd::not_equal_tostd::lessstd::greaterstd::less_equalstd::greater_equal

 

constexpr propagate_const() = default;	(1)	(library fundamentals TS v2)
constexpr propagate_const( propagate_const&& p ) = default;	(2)	(library fundamentals TS v2)
template<class U> /* see below */ constexpr propagate_const( propagate_const<U>&& pu );	(3)	(library fundamentals TS v2)
template<class U> /* see below */ constexpr propagate_const( U&& u );	(4)	(library fundamentals TS v2)
propagate_const( const propagate_const& ) = delete;	(5)	(library fundamentals TS v2)

Let t_ designate the private data member that is the wrapped pointer-like object.

1) Constructs an propagate_const, default-initializing this->t_.

2) Explicitly defaulted move constructor that move constructs this->t_ from p.t_.

3) Initializes this->t_ as if by direct-non-list-initialization from the expression std::move(pu.t_).
This constructor does not participate in overload resolution unless std::is_constructible<T, U>::value is true, and is explicit if and only if std::is_convertible<U, T>::value is false.

4) Initializes this->t_ as if by direct-non-list-initialization with the expression std::forward<U>(u).
This constructor does not participate in overload resolution unless std::is_constructible<T, U>::value is true and std::decay_t<U> is not a specialization of propagate_const. This constructor is explicit if and only if std::is_convertible<U, T>::value is false.

5) Copy constructor is explicitly deleted. propagate_const is non-copyable.

Parameters

p	-	another propagate_const object to move from
pu	-	another propagate_const object of a different specialization to move from
u	-	another object to initialize the contained pointer with

Notes

In Library Fundamental TS v2 (based on C++14), (4) and (5) are typically implemented in explicit/non-explicit overload pairs. Since Library Fundamental TS v3 (based on C++20), they can be implemented in conditional explicit specifiers.