[lib.types.movedfrom] - C++14 → C++17

Files changed (1) hide show

tmp/tmpf0fmvi4v/{from.md → to.md} +64 -70

tmp/tmpf0fmvi4v/{from.md → to.md} RENAMED Viewed

@@ -8,18 +8,21 @@ objects shall be placed in a valid but unspecified state.
 <!-- Link reference definitions -->
 [alg.c.library]: algorithms.md#alg.c.library
 [alg.sorting]: algorithms.md#alg.sorting
 [algorithm.stable]: #algorithm.stable
 [algorithms]: algorithms.md#algorithms
 [alloc.errors]: language.md#alloc.errors
 [allocator.requirements]: #allocator.requirements
 [allocator.traits]: utilities.md#allocator.traits
 [alt.headers]: #alt.headers
 [atomics]: atomics.md#atomics
 [bad.alloc]: language.md#bad.alloc
 [basic.def.odr]: basic.md#basic.def.odr
 [basic.fundamental]: basic.md#basic.fundamental
 [basic.link]: basic.md#basic.link
 [basic.lookup.argdep]: basic.md#basic.lookup.argdep
 [basic.scope.namespace]: basic.md#basic.scope.namespace
 [basic.start]: basic.md#basic.start
 [basic.stc.dynamic]: basic.md#basic.stc.dynamic
@@ -28,10 +31,11 @@ objects shall be placed in a valid but unspecified state.
 [bitmask.types]: #bitmask.types
 [byte.strings]: #byte.strings
 [c.locales]: localization.md#c.locales
 [c.strings]: strings.md#c.strings
 [character.seq]: #character.seq
 [class.copy]: special.md#class.copy
 [class.ctor]: special.md#class.ctor
 [class.dtor]: special.md#class.dtor
 [class.mem]: class.md#class.mem
 [class.mfct]: class.md#class.mfct
@@ -52,49 +56,50 @@ objects shall be placed in a valid but unspecified state.
 [cstdint]: language.md#cstdint
 [dcl.array]: dcl.md#dcl.array
 [dcl.attr]: dcl.md#dcl.attr
 [dcl.constexpr]: dcl.md#dcl.constexpr
 [dcl.fct.default]: dcl.md#dcl.fct.default
-[dcl.fct.spec]: dcl.md#dcl.fct.spec
 [dcl.init]: dcl.md#dcl.init
 [dcl.link]: dcl.md#dcl.link
 [definitions]: #definitions
-[defns.additional]: #defns.additional
 [depr]: future.md#depr
 [depr.c.headers]: future.md#depr.c.headers
 [derivation]: #derivation
 [derived.classes]: #derived.classes
 [description]: #description
-[destructible]: #destructible
 [diagnostics]: diagnostics.md#diagnostics
 [enumerated.types]: #enumerated.types
-[equalitycomparable]: #equalitycomparable
 [except]: except.md#except
 [expr.delete]: expr.md#expr.delete
 [expr.eq]: expr.md#expr.eq
 [expr.new]: expr.md#expr.new
 [expr.rel]: expr.md#expr.rel
 [extern.names]: #extern.names
 [extern.types]: #extern.types
 [function.objects]: utilities.md#function.objects
 [functions.within.classes]: #functions.within.classes
 [global.functions]: #global.functions
-[global.names]: #global.names
 [handler.functions]: #handler.functions
-[hash]: #hash
 [hash.requirements]: #hash.requirements
 [headers]: #headers
 [input.output]: input.md#input.output
 [intro.compliance]: intro.md#intro.compliance
 [intro.defs]: intro.md#intro.defs
 [intro.multithread]: intro.md#intro.multithread
 [intro.refs]: intro.md#intro.refs
 [iterator.requirements]: iterators.md#iterator.requirements
 [iterators]: iterators.md#iterators
 [language.support]: language.md#language.support
 [lex]: lex.md#lex
-[lex.key]: lex.md#lex.key
 [lex.phases]: lex.md#lex.phases
 [lib.types.movedfrom]: #lib.types.movedfrom
 [library]: #library
 [library.c]: #library.c
 [library.general]: #library.general
@@ -104,25 +109,27 @@ objects shall be placed in a valid but unspecified state.
 [member.functions]: #member.functions
 [meta]: utilities.md#meta
 [multibyte.strings]: #multibyte.strings
 [namespace.constraints]: #namespace.constraints
 [namespace.def]: dcl.md#namespace.def
 [namespace.posix]: #namespace.posix
 [namespace.std]: #namespace.std
 [namespace.udecl]: dcl.md#namespace.udecl
 [new.delete]: language.md#new.delete
 [new.handler]: language.md#new.handler
-[nullablepointer]: #nullablepointer
 [nullablepointer.requirements]: #nullablepointer.requirements
 [numeric.requirements]: numerics.md#numeric.requirements
 [numerics]: numerics.md#numerics
 [objects.within.classes]: #objects.within.classes
 [organization]: #organization
 [ostream.iterator.ops]: iterators.md#ostream.iterator.ops
 [over.match]: over.md#over.match
 [over.oper]: over.md#over.oper
 [protection.within.classes]: #protection.within.classes
 [re]: re.md#re
 [reentrancy]: #reentrancy
 [replacement.functions]: #replacement.functions
 [requirements]: #requirements
 [res.on.arguments]: #res.on.arguments
@@ -153,164 +160,151 @@ objects shall be placed in a valid but unspecified state.
 [support.start.term]: language.md#support.start.term
 [support.types]: language.md#support.types
 [swappable.requirements]: #swappable.requirements
 [syserr]: diagnostics.md#syserr
 [syserr.errcode.overview]: diagnostics.md#syserr.errcode.overview
 [tab:cpp.c.headers]: #tab:cpp.c.headers
 [tab:cpp.headers.freestanding]: #tab:cpp.headers.freestanding
 [tab:cpp.library.headers]: #tab:cpp.library.headers
 [tab:desc.var.def]: #tab:desc.var.def
 [tab:identifiers.special]: lex.md#tab:identifiers.special
 [tab:library.categories]: #tab:library.categories
 [tab:utilities.allocator.requirements]: #tab:utilities.allocator.requirements
 [temp.deduct.call]: temp.md#temp.deduct.call
 [template.bitset]: utilities.md#template.bitset
 [terminate.handler]: language.md#terminate.handler
 [thread]: thread.md#thread
 [type.descriptions]: #type.descriptions
 [type.descriptions.general]: #type.descriptions.general
-[unexpected.handler]: future.md#unexpected.handler
 [using]: #using
 [using.headers]: #using.headers
 [using.linkage]: #using.linkage
 [using.overview]: #using.overview
 [usrlit.suffix]: #usrlit.suffix
 [utilities]: utilities.md#utilities
 [utility]: utilities.md#utility
 [utility.arg.requirements]: #utility.arg.requirements
 [utility.requirements]: #utility.requirements
 [value.error.codes]: #value.error.codes
-[^1]: This definition is taken from POSIX.
-[^2]: To save space, items that do not apply to a Clause are omitted.
     For example, if a Clause does not specify any requirements, there
     will be no “Requirements” subclause.
-[^3]: Although in some cases the code given is unambiguously the optimum
     implementation.
-[^4]: To save space, items that do not apply to a class are omitted. For
     example, if a class does not specify any comparison functions, there
     will be no “Comparison functions” subclause.
-[^5]: To save space, items that do not apply to a function are omitted.
     For example, if a function does not specify any further
-    preconditions, there will be no “Requires” paragraph.
-[^6]: This simplifies the presentation of complexity requirements in
     some cases.
-[^7]: Examples from  [[utility.requirements]] include:
     `EqualityComparable`, `LessThanComparable`, `CopyConstructible`.
     Examples from  [[iterator.requirements]] include: `InputIterator`,
-    `ForwardIterator`, `Function`, `Predicate`.
-[^8]: Such as an integer type, with constant integer values (
     [[basic.fundamental]]).
-[^9]: Note that this definition differs from the definition in ISO C
-    7.1.1.
-[^10]: declared in `<clocale>` ([[c.locales]]).
-[^11]: Many of the objects manipulated by function signatures declared
-    in `<cstring>` ([[c.strings]]) are character sequences or NTBSs.
-    The size of some of these character sequences is limited by a length
     value, maintained separately from the character sequence.
-[^12]: A string literal, such as `"abc"`, is a static NTBS.
-[^13]: An NTBSthat contains characters only from the basic execution
     character set is also an NTMBS. Each multibyte character then
     consists of a single byte.
-[^14]: The C standard library headers (Annex  [[depr.c.headers]]) also
     define names within the global namespace, while the C++headers for C
     library facilities ([[headers]]) may also define names within the
     global namespace.
-[^15]: This gives implementers freedom to use inline namespaces to
     support multiple configurations of the library.
-[^16]: A header is not necessarily a source file, nor are the sequences
     delimited by `<` and `>` in header names necessarily valid source
     file names ([[cpp.include]]).
-[^17]: This disallows the practice, allowed in C, of providing a masking
     macro in addition to the function prototype. The only way to achieve
     equivalent inline behavior in C++is to provide a definition as an
     extern inline function.
-[^18]: In particular, including the standard header `<iso646.h>` or
     `<ciso646>` has no effect.
-[^19]: The `".h"` headers dump all their names into the global
     namespace, whereas the newer forms keep their names in namespace
     `std`. Therefore, the newer forms are the preferred forms for all
     uses except for C++programs which are intended to be strictly
     compatible with C.
-[^20]: This is the same as the Standard C library.
-[^21]: The only reliable way to declare an object or function signature
-    from the Standard C library is by including the header that declares
     it, notwithstanding the latitude granted in 7.1.4 of the C Standard.
-[^22]: Any library code that instantiates other library templates must
     be prepared to work adequately with any user-supplied specialization
-    that meets the minimum requirements of the Standard.
-[^23]: The list of such reserved names includes `errno`, declared or
     defined in `<cerrno>`.
-[^24]: The list of such reserved function signatures with external
     linkage includes `setjmp(jmp_buf)`, declared or defined in
     `<csetjmp>`, and `va_end(va_list)`, declared or defined in
     `<cstdarg>`.
-[^25]: The function signatures declared in `<cuchar>`, `<cwchar>`, and
     `<cwctype>` are always reserved, notwithstanding the restrictions
     imposed in subclause 4.5.1 of Amendment 1 to the C Standard for
     these headers.
-[^26]: These types are `clock_t`, `div_t`, `FILE`, `fpos_t`, `lconv`,
     `ldiv_t`, `mbstate_t`, `ptrdiff_t`, `sig_atomic_t`, `size_t`,
     `time_t`, `tm`, `va_list`, `wctrans_t`, `wctype_t`, and `wint_t`.
-[^27]: A valid C++program always calls the expected library global or
- non-member function. An implementation may also define additional
- global or non-member functions that would otherwise not be called by
-    a valid C++program.
-[^28]: Hence, the address of a member function of a class in the
-    C++standard library has an unspecified type.
-[^29]: A valid C++program always calls the expected library member
-    function, or one with equivalent behavior. An implementation may
-    also define additional member functions that would otherwise not be
-    called by a valid C++program.
-[^30]: There is an implicit exception to this rule for types that are
     described as synonyms for basic integral types, such as `size_t` (
     [[support.types]]) and `streamoff` ([[stream.types]]).
-[^31]: That is, the C library functions can all be treated as if they
     are marked `noexcept`. This allows implementations to make
     performance optimizations based on the absence of exceptions at
     runtime.
-[^32]: The functions `qsort()` and `bsearch()` ([[alg.c.library]]) meet
     this condition.
-[^33]: In particular, they can report a failure to allocate storage by
     throwing an exception of type `bad_alloc`, or a class derived from
-    `bad_alloc` ([[bad.alloc]]). Library implementations should report
-    errors by throwing exceptions of or derived from the standard
-    exception classes ([[bad.alloc]], [[support.exception]],
-    [[std.exceptions]]).
-[^34]: That is, an implementation may provide an explicit
-    *exception-specification* that defines the subset of “any”
-    exceptions thrown by that function. This implies that the
-    implementation may list implementation-defined types in such an
-    *exception-specification*.

 <!-- Link reference definitions -->
 [alg.c.library]: algorithms.md#alg.c.library
 [alg.sorting]: algorithms.md#alg.sorting
 [algorithm.stable]: #algorithm.stable
 [algorithms]: algorithms.md#algorithms
+[algorithms.requirements]: algorithms.md#algorithms.requirements
 [alloc.errors]: language.md#alloc.errors
 [allocator.requirements]: #allocator.requirements
+[allocator.requirements.completeness]: #allocator.requirements.completeness
 [allocator.traits]: utilities.md#allocator.traits
 [alt.headers]: #alt.headers
 [atomics]: atomics.md#atomics
 [bad.alloc]: language.md#bad.alloc
 [basic.def.odr]: basic.md#basic.def.odr
 [basic.fundamental]: basic.md#basic.fundamental
+[basic.life]: basic.md#basic.life
 [basic.link]: basic.md#basic.link
 [basic.lookup.argdep]: basic.md#basic.lookup.argdep
 [basic.scope.namespace]: basic.md#basic.scope.namespace
 [basic.start]: basic.md#basic.start
 [basic.stc.dynamic]: basic.md#basic.stc.dynamic
 [bitmask.types]: #bitmask.types
 [byte.strings]: #byte.strings
 [c.locales]: localization.md#c.locales
 [c.strings]: strings.md#c.strings
 [character.seq]: #character.seq
+[class.conv.ctor]: special.md#class.conv.ctor
 [class.copy]: special.md#class.copy
 [class.ctor]: special.md#class.ctor
 [class.dtor]: special.md#class.dtor
 [class.mem]: class.md#class.mem
 [class.mfct]: class.md#class.mfct
 [cstdint]: language.md#cstdint
 [dcl.array]: dcl.md#dcl.array
 [dcl.attr]: dcl.md#dcl.attr
 [dcl.constexpr]: dcl.md#dcl.constexpr
 [dcl.fct.default]: dcl.md#dcl.fct.default
 [dcl.init]: dcl.md#dcl.init
+[dcl.init.list]: dcl.md#dcl.init.list
+[dcl.inline]: dcl.md#dcl.inline
 [dcl.link]: dcl.md#dcl.link
 [definitions]: #definitions
 [depr]: future.md#depr
 [depr.c.headers]: future.md#depr.c.headers
+[depr.cstdalign.syn]: future.md#depr.cstdalign.syn
+[depr.cstdbool.syn]: future.md#depr.cstdbool.syn
 [derivation]: #derivation
 [derived.classes]: #derived.classes
 [description]: #description
 [diagnostics]: diagnostics.md#diagnostics
 [enumerated.types]: #enumerated.types
 [except]: except.md#except
+[expos.only.types]: #expos.only.types
+[expr.cond]: expr.md#expr.cond
+[expr.const]: expr.md#expr.const
 [expr.delete]: expr.md#expr.delete
 [expr.eq]: expr.md#expr.eq
 [expr.new]: expr.md#expr.new
 [expr.rel]: expr.md#expr.rel
 [extern.names]: #extern.names
 [extern.types]: #extern.types
 [function.objects]: utilities.md#function.objects
 [functions.within.classes]: #functions.within.classes
 [global.functions]: #global.functions
 [handler.functions]: #handler.functions
 [hash.requirements]: #hash.requirements
 [headers]: #headers
 [input.output]: input.md#input.output
 [intro.compliance]: intro.md#intro.compliance
 [intro.defs]: intro.md#intro.defs
 [intro.multithread]: intro.md#intro.multithread
 [intro.refs]: intro.md#intro.refs
 [iterator.requirements]: iterators.md#iterator.requirements
+[iterator.requirements.general]: iterators.md#iterator.requirements.general
 [iterators]: iterators.md#iterators
 [language.support]: language.md#language.support
 [lex]: lex.md#lex
 [lex.phases]: lex.md#lex.phases
 [lib.types.movedfrom]: #lib.types.movedfrom
 [library]: #library
 [library.c]: #library.c
 [library.general]: #library.general
 [member.functions]: #member.functions
 [meta]: utilities.md#meta
 [multibyte.strings]: #multibyte.strings
 [namespace.constraints]: #namespace.constraints
 [namespace.def]: dcl.md#namespace.def
+[namespace.future]: #namespace.future
 [namespace.posix]: #namespace.posix
 [namespace.std]: #namespace.std
 [namespace.udecl]: dcl.md#namespace.udecl
 [new.delete]: language.md#new.delete
 [new.handler]: language.md#new.handler
 [nullablepointer.requirements]: #nullablepointer.requirements
 [numeric.requirements]: numerics.md#numeric.requirements
 [numerics]: numerics.md#numerics
 [objects.within.classes]: #objects.within.classes
 [organization]: #organization
 [ostream.iterator.ops]: iterators.md#ostream.iterator.ops
+[over.literal]: over.md#over.literal
 [over.match]: over.md#over.match
 [over.oper]: over.md#over.oper
 [protection.within.classes]: #protection.within.classes
+[random.access.iterators]: iterators.md#random.access.iterators
 [re]: re.md#re
 [reentrancy]: #reentrancy
 [replacement.functions]: #replacement.functions
 [requirements]: #requirements
 [res.on.arguments]: #res.on.arguments
 [support.start.term]: language.md#support.start.term
 [support.types]: language.md#support.types
 [swappable.requirements]: #swappable.requirements
 [syserr]: diagnostics.md#syserr
 [syserr.errcode.overview]: diagnostics.md#syserr.errcode.overview
+[tab:c.annex.k.names]: #tab:c.annex.k.names
+[tab:copyassignable]: #tab:copyassignable
 [tab:cpp.c.headers]: #tab:cpp.c.headers
 [tab:cpp.headers.freestanding]: #tab:cpp.headers.freestanding
 [tab:cpp.library.headers]: #tab:cpp.library.headers
 [tab:desc.var.def]: #tab:desc.var.def
+[tab:destructible]: #tab:destructible
+[tab:equalitycomparable]: #tab:equalitycomparable
+[tab:hash]: #tab:hash
 [tab:identifiers.special]: lex.md#tab:identifiers.special
 [tab:library.categories]: #tab:library.categories
+[tab:moveassignable]: #tab:moveassignable
+[tab:nullablepointer]: #tab:nullablepointer
 [tab:utilities.allocator.requirements]: #tab:utilities.allocator.requirements
 [temp.deduct.call]: temp.md#temp.deduct.call
 [template.bitset]: utilities.md#template.bitset
 [terminate.handler]: language.md#terminate.handler
 [thread]: thread.md#thread
 [type.descriptions]: #type.descriptions
 [type.descriptions.general]: #type.descriptions.general
 [using]: #using
 [using.headers]: #using.headers
 [using.linkage]: #using.linkage
 [using.overview]: #using.overview
 [usrlit.suffix]: #usrlit.suffix
 [utilities]: utilities.md#utilities
 [utility]: utilities.md#utility
 [utility.arg.requirements]: #utility.arg.requirements
 [utility.requirements]: #utility.requirements
 [value.error.codes]: #value.error.codes
+[zombie.names]: #zombie.names
+[^1]: To save space, items that do not apply to a Clause are omitted.
     For example, if a Clause does not specify any requirements, there
     will be no “Requirements” subclause.
+[^2]: Although in some cases the code given is unambiguously the optimum
     implementation.
+[^3]: To save space, items that do not apply to a class are omitted. For
     example, if a class does not specify any comparison functions, there
     will be no “Comparison functions” subclause.
+[^4]: To save space, items that do not apply to a function are omitted.
     For example, if a function does not specify any further
+    preconditions, there will be no *Requires:* paragraph.
+[^5]: This simplifies the presentation of complexity requirements in
     some cases.
+[^6]: Examples from  [[utility.requirements]] include:
     `EqualityComparable`, `LessThanComparable`, `CopyConstructible`.
     Examples from  [[iterator.requirements]] include: `InputIterator`,
+    `ForwardIterator`.
+[^7]: Such as an integer type, with constant integer values (
     [[basic.fundamental]]).
+[^8]: declared in `<clocale>` ([[c.locales]]).
+[^9]: Many of the objects manipulated by function signatures declared in
+    `<cstring>` ([[c.strings]]) are character sequences or NTBSs. The
+    size of some of these character sequences is limited by a length
     value, maintained separately from the character sequence.
+[^10]: A string literal, such as `"abc"`, is a static NTBS.
+[^11]: An NTBSthat contains characters only from the basic execution
     character set is also an NTMBS. Each multibyte character then
     consists of a single byte.
+[^12]: The C standard library headers (Annex  [[depr.c.headers]]) also
     define names within the global namespace, while the C++headers for C
     library facilities ([[headers]]) may also define names within the
     global namespace.
+[^13]: This gives implementers freedom to use inline namespaces to
     support multiple configurations of the library.
+[^14]: A header is not necessarily a source file, nor are the sequences
     delimited by `<` and `>` in header names necessarily valid source
     file names ([[cpp.include]]).
+[^15]: It is intentional that there is no C++header for any of these C
+    headers: `<stdatomic.h>`, `<stdnoreturn.h>`, `<threads.h>`.
+[^16]: This disallows the practice, allowed in C, of providing a masking
     macro in addition to the function prototype. The only way to achieve
     equivalent inline behavior in C++is to provide a definition as an
     extern inline function.
+[^17]: In particular, including the standard header `<iso646.h>` or
     `<ciso646>` has no effect.
+[^18]: The `".h"` headers dump all their names into the global
     namespace, whereas the newer forms keep their names in namespace
     `std`. Therefore, the newer forms are the preferred forms for all
     uses except for C++programs which are intended to be strictly
     compatible with C.
+[^19]: This is the same as the C standard library.
+[^20]: The only reliable way to declare an object or function signature
+    from the C standard library is by including the header that declares
     it, notwithstanding the latitude granted in 7.1.4 of the C Standard.
+[^21]: Any library code that instantiates other library templates must
     be prepared to work adequately with any user-supplied specialization
+    that meets the minimum requirements of this International Standard.
+[^22]: The list of such reserved names includes `errno`, declared or
     defined in `<cerrno>`.
+[^23]: The list of such reserved function signatures with external
     linkage includes `setjmp(jmp_buf)`, declared or defined in
     `<csetjmp>`, and `va_end(va_list)`, declared or defined in
     `<cstdarg>`.
+[^24]: The function signatures declared in `<cuchar>`, `<cwchar>`, and
     `<cwctype>` are always reserved, notwithstanding the restrictions
     imposed in subclause 4.5.1 of Amendment 1 to the C Standard for
     these headers.
+[^25]: These types are `clock_t`, `div_t`, `FILE`, `fpos_t`, `lconv`,
     `ldiv_t`, `mbstate_t`, `ptrdiff_t`, `sig_atomic_t`, `size_t`,
     `time_t`, `tm`, `va_list`, `wctrans_t`, `wctype_t`, and `wint_t`.
+[^26]: A valid C++program always calls the expected library non-member
+    function. An implementation may also define additional non-member
+    functions that would otherwise not be called by a valid C++program.
+[^27]: There is an implicit exception to this rule for types that are
     described as synonyms for basic integral types, such as `size_t` (
     [[support.types]]) and `streamoff` ([[stream.types]]).
+[^28]: That is, the C library functions can all be treated as if they
     are marked `noexcept`. This allows implementations to make
     performance optimizations based on the absence of exceptions at
     runtime.
+[^29]: The functions `qsort()` and `bsearch()` ([[alg.c.library]]) meet
     this condition.
+[^30]: In particular, they can report a failure to allocate storage by
     throwing an exception of type `bad_alloc`, or a class derived from
+    `bad_alloc` ([[bad.alloc]]).

Diff to HTML by rtfpessoa