oracular (3) std::experimental::_Optional_base.3cxx.gz
NAME
std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor > - Class template that
holds the necessary state for Optional values and that has the responsibility for
construction and the special members.
SYNOPSIS
#include <optional>
Inherited by std::experimental::optional< _Tp > [private].
Public Member Functions
_Optional_base (_Optional_base &&__other) noexcept(is_nothrow_move_constructible< _Tp >())
_Optional_base (const _Optional_base &__other)
template<typename... _Args> constexpr _Optional_base (in_place_t, _Args &&... __args)
template<typename _Up , typename... _Args, enable_if_t< is_constructible< _Tp,
initializer_list< _Up > &, _Args &&... >::value, int > ...> constexpr _Optional_base
(in_place_t, initializer_list< _Up > __il, _Args &&... __args)
constexpr _Optional_base (nullopt_t) noexcept
_Optional_base & operator= (_Optional_base &&__other) noexcept(__and_<
is_nothrow_move_constructible< _Tp >, is_nothrow_move_assignable< _Tp > >())
_Optional_base & operator= (const _Optional_base &__other)
Protected Member Functions
template<typename... _Args> void _M_construct (_Args &&... __args)
noexcept(is_nothrow_constructible< _Stored_type, _Args... >())
void _M_destruct ()
constexpr const _Tp & _M_get () const noexcept
constexpr _Tp & _M_get () noexcept
constexpr bool _M_is_engaged () const noexcept
void _M_reset ()
Detailed Description
template<typename _Tp, bool _ShouldProvideDestructor = !is_trivially_destructible<_Tp>::value>
class std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor >"Class template
that holds the necessary state for Optional values and that has the responsibility for
construction and the special members.
Such a separate base class template is necessary in order to conditionally enable the
special members (e.g. copy/move constructors). Note that this means that _Optional_base
implements the functionality for copy and move assignment, but not for converting
assignment.
See also
optional, _Enable_special_members
Definition at line 202 of file optional.
Constructor & Destructor Documentation
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> constexpr std::experimental::_Optional_base< _Tp,
_ShouldProvideDestructor >::_Optional_base () [inline], [constexpr], [noexcept]
Definition at line 214 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> constexpr std::experimental::_Optional_base< _Tp,
_ShouldProvideDestructor >::_Optional_base (nullopt_t) [inline], [constexpr], [noexcept]
Definition at line 217 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> template<typename... _Args> constexpr
std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor >::_Optional_base
(in_place_t, _Args &&... __args) [inline], [explicit], [constexpr]
Definition at line 222 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> template<typename _Up , typename... _Args,
enable_if_t< is_constructible< _Tp, initializer_list< _Up > &, _Args &&... >::value, int >
...> constexpr std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor
>::_Optional_base (in_place_t, initializer_list< _Up > __il, _Args &&... __args) [inline],
[explicit], [constexpr]
Definition at line 230 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> std::experimental::_Optional_base< _Tp,
_ShouldProvideDestructor >::_Optional_base (const _Optional_base< _Tp,
_ShouldProvideDestructor > & __other) [inline]
Definition at line 237 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> std::experimental::_Optional_base< _Tp,
_ShouldProvideDestructor >::_Optional_base (_Optional_base< _Tp, _ShouldProvideDestructor
> && __other) [inline], [noexcept]
Definition at line 243 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> std::experimental::_Optional_base< _Tp,
_ShouldProvideDestructor >::~_Optional_base () [inline]
Definition at line 285 of file optional.
Member Function Documentation
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> template<typename... _Args> void
std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor >::_M_construct (_Args
&&... __args) [inline], [protected], [noexcept]
Definition at line 310 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> void std::experimental::_Optional_base< _Tp,
_ShouldProvideDestructor >::_M_destruct () [inline], [protected]
Definition at line 319 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> constexpr const _Tp &
std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor >::_M_get () const
[inline], [constexpr], [protected], [noexcept]
Definition at line 303 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> constexpr _Tp & std::experimental::_Optional_base<
_Tp, _ShouldProvideDestructor >::_M_get () [inline], [constexpr], [protected],
[noexcept]
Definition at line 299 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> constexpr bool std::experimental::_Optional_base<
_Tp, _ShouldProvideDestructor >::_M_is_engaged () const [inline], [constexpr],
[protected], [noexcept]
Definition at line 294 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> void std::experimental::_Optional_base< _Tp,
_ShouldProvideDestructor >::_M_reset () [inline], [protected]
Definition at line 327 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> _Optional_base &
std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor >::operator=
(_Optional_base< _Tp, _ShouldProvideDestructor > && __other) [inline], [noexcept]
Definition at line 268 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> _Optional_base &
std::experimental::_Optional_base< _Tp, _ShouldProvideDestructor >::operator= (const
_Optional_base< _Tp, _ShouldProvideDestructor > & __other) [inline]
Definition at line 252 of file optional.
Member Data Documentation
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> _Empty_byte std::experimental::_Optional_base<
_Tp, _ShouldProvideDestructor >::_M_empty
Definition at line 336 of file optional.
template<typename _Tp , bool _ShouldProvideDestructor =
!is_trivially_destructible<_Tp>::value> _Stored_type std::experimental::_Optional_base<
_Tp, _ShouldProvideDestructor >::_M_payload
Definition at line 337 of file optional.
Author
Generated automatically by Doxygen for libstdc++ from the source code.
std::experimental::lOptional_base< _Tp, _ShouldProvideDestructor >(3cxx)