A RetroSearch Logo

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Search Query:

Showing content from https://cplusplus.github.io/LWG/issue2196 below:

Specification of is_*[copy/move]_[constructible/assignable] unclear for non-referencable types

Template Condition Preconditions template <class T>
struct is_copy_constructible; For a referenceable type T, the same result as
is_constructible<T,
const T&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_move_constructible; For a referenceable type T, the same result as
is_constructible<T,
T&&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_copy_assignable; For a referenceable type T, the same result as
is_assignable<T&,
const T&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_move_assignable; For a referenceable type T, the same result as
is_assignable<T&,
T&&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_trivially_copy_constructible; For a referenceable type T, the same result as
is_trivially_constructible<T,
const T&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_trivially_move_constructible; For a referenceable type T, the same result as
is_trivially_constructible<T,
T&&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_trivially_copy_assignable; For a referenceable type T, the same result as
is_trivially_assignable<T&,
const T&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_trivially_move_assignable; For a referenceable type T, the same result as
is_trivially_assignable<T&,
T&&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_nothrow_copy_constructible; For a referenceable type T, the same result as
is_nothrow_constructible<T,
const T&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_nothrow_move_constructible; For a referenceable type T, the same result as
is_nothrow_constructible<T,
T&&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_nothrow_copy_assignable; For a referenceable type T, the same result as
is_nothrow_assignable<T&,
const T&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound. template <class T>
struct is_nothrow_move_assignable; For a referenceable type T, the same result as
is_nothrow_assignable<T&,
T&&>::value is true , otherwise false. T shall be a complete type,
(possibly cv-qualified) void, or an
array of unknown bound.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4