[lib.types.movedfrom] - C++23 → Trunk

Files changed (1) hide show

tmp/tmpym_0p6h5/{from.md → to.md} +52 -16

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

@@ -1,56 +1,65 @@
 #### Moved-from state of library types <a id="lib.types.movedfrom">[[lib.types.movedfrom]]</a>
 Objects of types defined in the C++ standard library may be moved from
 [[class.copy.ctor]]. Move operations may be explicitly specified or
 implicitly generated. Unless otherwise specified, such moved-from
-objects shall be placed in a valid but unspecified state.
 An object of a type defined in the C++ standard library may be
 move-assigned [[class.copy.assign]] to itself. Unless otherwise
 specified, such an assignment places the object 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
 [algorithms.requirements]: algorithms.md#algorithms.requirements
 [alloc.errors]: support.md#alloc.errors
 [allocator.requirements]: #allocator.requirements
 [allocator.requirements.completeness]: #allocator.requirements.completeness
 [allocator.requirements.general]: #allocator.requirements.general
 [allocator.traits]: mem.md#allocator.traits
 [alt.headers]: #alt.headers
 [array.creation]: containers.md#array.creation
 [atomics]: thread.md#atomics
 [bad.alloc]: support.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.lookup.qual]: basic.md#basic.lookup.qual
 [basic.lookup.unqual]: basic.md#basic.lookup.unqual
 [basic.scope.namespace]: basic.md#basic.scope.namespace
-[basic.start]: basic.md#basic.start
 [basic.stc.dynamic]: basic.md#basic.stc.dynamic
 [bit]: utilities.md#bit
 [bitmask.types]: #bitmask.types
 [byte.strings]: #byte.strings
 [c.annex.k.names]: #c.annex.k.names
 [cassert.syn]: diagnostics.md#cassert.syn
 [cerrno.syn]: diagnostics.md#cerrno.syn
 [character.seq]: #character.seq
 [character.seq.general]: #character.seq.general
 [class.copy.assign]: class.md#class.copy.assign
 [class.copy.ctor]: class.md#class.copy.ctor
 [class.dtor]: class.md#class.dtor
 [class.mem]: class.md#class.mem
 [class.virtual]: class.md#class.virtual
-[clocale.syn]: localization.md#clocale.syn
 [cmp]: support.md#cmp
 [compliance]: #compliance
 [concept.destructible]: concepts.md#concept.destructible
 [concept.invocable]: concepts.md#concept.invocable
 [concept.totallyordered]: concepts.md#concept.totallyordered
@@ -68,40 +77,51 @@ unspecified state.
 [conv]: expr.md#conv
 [conv.func]: expr.md#conv.func
 [conventions]: #conventions
 [conventions.general]: #conventions.general
 [cpp.include]: cpp.md#cpp.include
-[cpp.replace]: cpp.md#cpp.replace
 [cpp17.copyassignable]: #cpp17.copyassignable
 [cpp17.copyconstructible]: #cpp17.copyconstructible
 [cpp17.destructible]: #cpp17.destructible
 [cpp17.hash]: #cpp17.hash
 [cpp17.moveassignable]: #cpp17.moveassignable
 [cpp17.nullablepointer]: #cpp17.nullablepointer
 [cstdarg.syn]: support.md#cstdarg.syn
 [cstddef.syn]: support.md#cstddef.syn
 [cstdint.syn]: support.md#cstdint.syn
 [customization.point.object]: #customization.point.object
 [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.inline]: dcl.md#dcl.inline
 [dcl.link]: dcl.md#dcl.link
 [dcl.pre]: dcl.md#dcl.pre
 [dcl.typedef]: dcl.md#dcl.typedef
 [defns.nonconst.libcall]: intro.md#defns.nonconst.libcall
 [depr]: future.md#depr
 [derivation]: #derivation
 [derived.classes]: #derived.classes
 [description]: #description
 [description.general]: #description.general
 [diagnostics]: diagnostics.md#diagnostics
 [enumerated.types]: #enumerated.types
 [except]: except.md#except
 [expos.only.entity]: #expos.only.entity
 [expr.delete]: expr.md#expr.delete
 [expr.new]: expr.md#expr.new
 [expr.unary.op]: expr.md#expr.unary.op
 [extern.names]: #extern.names
 [extern.types]: #extern.types
@@ -114,28 +134,29 @@ unspecified state.
 [headers]: #headers
 [headers.cpp]: #headers.cpp
 [headers.cpp.c]: #headers.cpp.c
 [headers.cpp.fs]: #headers.cpp.fs
 [hidden.friends]: #hidden.friends
 [input.output]: input.md#input.output
 [intro.compliance]: intro.md#intro.compliance
 [intro.multithread]: basic.md#intro.multithread
 [intro.refs]: intro.md#intro.refs
 [iterator.requirements]: iterators.md#iterator.requirements
 [iterators]: iterators.md#iterators
 [lex.charset]: lex.md#lex.charset
 [lex.name]: lex.md#lex.name
-[lex.name.special]: #lex.name.special
 [lex.phases]: lex.md#lex.phases
 [lex.separate]: lex.md#lex.separate
 [lib.types.movedfrom]: #lib.types.movedfrom
 [library]: #library
 [library.c]: #library.c
 [library.categories]: #library.categories
 [library.general]: #library.general
-[locales]: localization.md#locales
-[localization]: localization.md#localization
 [macro.names]: #macro.names
 [mem]: mem.md#mem
 [member.functions]: #member.functions
 [memory]: mem.md#memory
 [meta]: meta.md#meta
@@ -145,32 +166,34 @@ unspecified state.
 [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]: support.md#new.delete
 [new.handler]: support.md#new.handler
-[new.syn]: support.md#new.syn
 [nullablepointer.requirements]: #nullablepointer.requirements
 [numeric.requirements]: numerics.md#numeric.requirements
 [numerics]: numerics.md#numerics
 [objects.within.classes]: #objects.within.classes
 [organization]: #organization
 [organization.general]: #organization.general
 [ostream.iterator.ops]: iterators.md#ostream.iterator.ops
 [over.literal]: over.md#over.literal
 [over.match]: over.md#over.match
 [over.match.oper]: over.md#over.match.oper
 [protection.within.classes]: #protection.within.classes
 [random.access.iterators]: iterators.md#random.access.iterators
 [ranges]: ranges.md#ranges
 [ratio]: meta.md#ratio
-[re]: re.md#re
 [reentrancy]: #reentrancy
 [replacement.functions]: #replacement.functions
 [requirements]: #requirements
 [requirements.general]: #requirements.general
 [res.on.arguments]: #res.on.arguments
 [res.on.data.races]: #res.on.data.races
 [res.on.exception.handling]: #res.on.exception.handling
 [res.on.functions]: #res.on.functions
 [res.on.headers]: #res.on.headers
@@ -180,31 +203,34 @@ unspecified state.
 [reserved.names]: #reserved.names
 [reserved.names.general]: #reserved.names.general
 [specialized.addressof]: mem.md#specialized.addressof
 [std.exceptions]: diagnostics.md#std.exceptions
 [std.modules]: #std.modules
 [stmt.return]: stmt.md#stmt.return
 [stream.types]: input.md#stream.types
 [strings]: strings.md#strings
 [structure]: #structure
 [structure.elements]: #structure.elements
 [structure.requirements]: #structure.requirements
 [structure.see.also]: #structure.see.also
 [structure.specifications]: #structure.specifications
 [structure.summary]: #structure.summary
 [support]: support.md#support
 [support.c.headers]: support.md#support.c.headers
 [support.c.headers.other]: support.md#support.c.headers.other
 [support.coroutine]: support.md#support.coroutine
 [support.dynamic]: support.md#support.dynamic
 [support.exception]: support.md#support.exception
 [support.initlist]: support.md#support.initlist
 [support.limits]: support.md#support.limits
 [support.rtti]: support.md#support.rtti
 [support.runtime]: support.md#support.runtime
 [support.srcloc]: support.md#support.srcloc
-[support.start.term]: support.md#support.start.term
 [support.types]: support.md#support.types
 [swappable.requirements]: #swappable.requirements
 [syserr]: diagnostics.md#syserr
 [syserr.errcode.overview]: diagnostics.md#syserr.errcode.overview
 [tab:cpp17.destructible]: #tab:cpp17.destructible
@@ -214,11 +240,13 @@ unspecified state.
 [temp.constr.decl]: temp.md#temp.constr.decl
 [temp.deduct.call]: temp.md#temp.deduct.call
 [template.bitset]: utilities.md#template.bitset
 [term.incomplete.type]: basic.md#term.incomplete.type
 [term.object.type]: basic.md#term.object.type
 [terminate.handler]: support.md#terminate.handler
 [thread]: thread.md#thread
 [time]: time.md#time
 [tuple]: utilities.md#tuple
 [type.descriptions]: #type.descriptions
 [type.descriptions.general]: #type.descriptions.general
@@ -232,13 +260,20 @@ unspecified state.
 [utility]: utilities.md#utility
 [utility.arg.requirements]: #utility.arg.requirements
 [utility.requirements]: #utility.requirements
 [utility.requirements.general]: #utility.requirements.general
 [value.error.codes]: #value.error.codes
 [zombie.names]: #zombie.names
-[^1]: See also ISO/IEC 9899:2018 section 7.6.
 [^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.
@@ -307,11 +342,12 @@ unspecified state.
 [^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 document.
@@ -330,12 +366,12 @@ unspecified state.
 [^25]: A valid C++ program always calls the expected library non-member
     function. An implementation can also define additional non-member
     functions that would otherwise not be called by a valid C++ program.
-[^26]: 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.
 [^27]: The functions `qsort()` and `bsearch()` [[alg.c.library]] meet
     this condition.

 #### Moved-from state of library types <a id="lib.types.movedfrom">[[lib.types.movedfrom]]</a>
 Objects of types defined in the C++ standard library may be moved from
 [[class.copy.ctor]]. Move operations may be explicitly specified or
 implicitly generated. Unless otherwise specified, such moved-from
+objects shall be placed in a valid but unspecified state
+[[defns.valid]].
 An object of a type defined in the C++ standard library may be
 move-assigned [[class.copy.assign]] to itself. Unless otherwise
 specified, such an assignment places the object in a valid but
 unspecified state.
 <!-- Link reference definitions -->
 [alg.c.library]: algorithms.md#alg.c.library
+[alg.func.obj]: #alg.func.obj
 [alg.sorting]: algorithms.md#alg.sorting
 [algorithm.stable]: #algorithm.stable
 [algorithms]: algorithms.md#algorithms
 [algorithms.requirements]: algorithms.md#algorithms.requirements
 [alloc.errors]: support.md#alloc.errors
 [allocator.requirements]: #allocator.requirements
 [allocator.requirements.completeness]: #allocator.requirements.completeness
 [allocator.requirements.general]: #allocator.requirements.general
 [allocator.traits]: mem.md#allocator.traits
 [alt.headers]: #alt.headers
+[array]: containers.md#array
 [array.creation]: containers.md#array.creation
 [atomics]: thread.md#atomics
 [bad.alloc]: support.md#bad.alloc
+[basic.contract]: basic.md#basic.contract
+[basic.contract.eval]: basic.md#basic.contract.eval
 [basic.def.odr]: basic.md#basic.def.odr
 [basic.fundamental]: basic.md#basic.fundamental
+[basic.indet]: basic.md#basic.indet
 [basic.life]: basic.md#basic.life
 [basic.link]: basic.md#basic.link
 [basic.lookup.argdep]: basic.md#basic.lookup.argdep
 [basic.lookup.qual]: basic.md#basic.lookup.qual
 [basic.lookup.unqual]: basic.md#basic.lookup.unqual
 [basic.scope.namespace]: basic.md#basic.scope.namespace
 [basic.stc.dynamic]: basic.md#basic.stc.dynamic
 [bit]: utilities.md#bit
 [bitmask.types]: #bitmask.types
 [byte.strings]: #byte.strings
 [c.annex.k.names]: #c.annex.k.names
+[c.math]: numerics.md#c.math
+[c.strings]: strings.md#c.strings
 [cassert.syn]: diagnostics.md#cassert.syn
 [cerrno.syn]: diagnostics.md#cerrno.syn
 [character.seq]: #character.seq
 [character.seq.general]: #character.seq.general
+[charconv]: text.md#charconv
 [class.copy.assign]: class.md#class.copy.assign
 [class.copy.ctor]: class.md#class.copy.ctor
 [class.dtor]: class.md#class.dtor
 [class.mem]: class.md#class.mem
+[class.prop]: class.md#class.prop
 [class.virtual]: class.md#class.virtual
+[clocale.syn]: text.md#clocale.syn
 [cmp]: support.md#cmp
 [compliance]: #compliance
 [concept.destructible]: concepts.md#concept.destructible
 [concept.invocable]: concepts.md#concept.invocable
 [concept.totallyordered]: concepts.md#concept.totallyordered
 [conv]: expr.md#conv
 [conv.func]: expr.md#conv.func
 [conventions]: #conventions
 [conventions.general]: #conventions.general
 [cpp.include]: cpp.md#cpp.include
 [cpp17.copyassignable]: #cpp17.copyassignable
 [cpp17.copyconstructible]: #cpp17.copyconstructible
 [cpp17.destructible]: #cpp17.destructible
 [cpp17.hash]: #cpp17.hash
 [cpp17.moveassignable]: #cpp17.moveassignable
 [cpp17.nullablepointer]: #cpp17.nullablepointer
 [cstdarg.syn]: support.md#cstdarg.syn
 [cstddef.syn]: support.md#cstddef.syn
 [cstdint.syn]: support.md#cstdint.syn
+[cstdlib.syn]: support.md#cstdlib.syn
 [customization.point.object]: #customization.point.object
 [dcl.array]: dcl.md#dcl.array
 [dcl.constexpr]: dcl.md#dcl.constexpr
+[dcl.contract.func]: dcl.md#dcl.contract.func
+[dcl.fct.def.delete]: dcl.md#dcl.fct.def.delete
 [dcl.fct.default]: dcl.md#dcl.fct.default
 [dcl.init]: dcl.md#dcl.init
 [dcl.inline]: dcl.md#dcl.inline
 [dcl.link]: dcl.md#dcl.link
 [dcl.pre]: dcl.md#dcl.pre
 [dcl.typedef]: dcl.md#dcl.typedef
+[debugging]: diagnostics.md#debugging
+[defns.const.subexpr]: intro.md#defns.const.subexpr
 [defns.nonconst.libcall]: intro.md#defns.nonconst.libcall
+[defns.valid]: intro.md#defns.valid
 [depr]: future.md#depr
 [derivation]: #derivation
 [derived.classes]: #derived.classes
 [description]: #description
 [description.general]: #description.general
 [diagnostics]: diagnostics.md#diagnostics
 [enumerated.types]: #enumerated.types
+[errno]: diagnostics.md#errno
 [except]: except.md#except
+[except.handle]: except.md#except.handle
+[except.spec]: except.md#except.spec
+[exec]: exec.md#exec
+[execpol]: algorithms.md#execpol
+[expected]: utilities.md#expected
 [expos.only.entity]: #expos.only.entity
+[expr.call]: expr.md#expr.call
 [expr.delete]: expr.md#expr.delete
 [expr.new]: expr.md#expr.new
 [expr.unary.op]: expr.md#expr.unary.op
 [extern.names]: #extern.names
 [extern.types]: #extern.types
 [headers]: #headers
 [headers.cpp]: #headers.cpp
 [headers.cpp.c]: #headers.cpp.c
 [headers.cpp.fs]: #headers.cpp.fs
 [hidden.friends]: #hidden.friends
+[inplace.vector]: containers.md#inplace.vector
 [input.output]: input.md#input.output
 [intro.compliance]: intro.md#intro.compliance
 [intro.multithread]: basic.md#intro.multithread
+[intro.races]: basic.md#intro.races
 [intro.refs]: intro.md#intro.refs
 [iterator.requirements]: iterators.md#iterator.requirements
 [iterators]: iterators.md#iterators
 [lex.charset]: lex.md#lex.charset
 [lex.name]: lex.md#lex.name
 [lex.phases]: lex.md#lex.phases
 [lex.separate]: lex.md#lex.separate
 [lib.types.movedfrom]: #lib.types.movedfrom
 [library]: #library
 [library.c]: #library.c
 [library.categories]: #library.categories
+[library.class.props]: #library.class.props
 [library.general]: #library.general
+[locales]: text.md#locales
 [macro.names]: #macro.names
 [mem]: mem.md#mem
 [member.functions]: #member.functions
 [memory]: mem.md#memory
 [meta]: meta.md#meta
 [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.handler]: support.md#new.handler
 [nullablepointer.requirements]: #nullablepointer.requirements
 [numeric.requirements]: numerics.md#numeric.requirements
 [numerics]: numerics.md#numerics
+[obj.lifetime]: mem.md#obj.lifetime
 [objects.within.classes]: #objects.within.classes
+[optional]: utilities.md#optional
 [organization]: #organization
 [organization.general]: #organization.general
 [ostream.iterator.ops]: iterators.md#ostream.iterator.ops
 [over.literal]: over.md#over.literal
 [over.match]: over.md#over.match
 [over.match.oper]: over.md#over.match.oper
 [protection.within.classes]: #protection.within.classes
+[rand]: numerics.md#rand
 [random.access.iterators]: iterators.md#random.access.iterators
 [ranges]: ranges.md#ranges
 [ratio]: meta.md#ratio
+[re]: text.md#re
 [reentrancy]: #reentrancy
 [replacement.functions]: #replacement.functions
 [requirements]: #requirements
 [requirements.general]: #requirements.general
+[res.contract.assertions]: #res.contract.assertions
 [res.on.arguments]: #res.on.arguments
 [res.on.data.races]: #res.on.data.races
 [res.on.exception.handling]: #res.on.exception.handling
 [res.on.functions]: #res.on.functions
 [res.on.headers]: #res.on.headers
 [reserved.names]: #reserved.names
 [reserved.names.general]: #reserved.names.general
 [specialized.addressof]: mem.md#specialized.addressof
 [std.exceptions]: diagnostics.md#std.exceptions
 [std.modules]: #std.modules
+[stdbit.h.syn]: utilities.md#stdbit.h.syn
 [stmt.return]: stmt.md#stmt.return
 [stream.types]: input.md#stream.types
+[string.classes]: strings.md#string.classes
+[string.view]: strings.md#string.view
 [strings]: strings.md#strings
 [structure]: #structure
 [structure.elements]: #structure.elements
 [structure.requirements]: #structure.requirements
 [structure.see.also]: #structure.see.also
 [structure.specifications]: #structure.specifications
 [structure.summary]: #structure.summary
 [support]: support.md#support
 [support.c.headers]: support.md#support.c.headers
 [support.c.headers.other]: support.md#support.c.headers.other
+[support.contract]: support.md#support.contract
 [support.coroutine]: support.md#support.coroutine
 [support.dynamic]: support.md#support.dynamic
 [support.exception]: support.md#support.exception
 [support.initlist]: support.md#support.initlist
 [support.limits]: support.md#support.limits
 [support.rtti]: support.md#support.rtti
 [support.runtime]: support.md#support.runtime
 [support.srcloc]: support.md#support.srcloc
 [support.types]: support.md#support.types
 [swappable.requirements]: #swappable.requirements
 [syserr]: diagnostics.md#syserr
 [syserr.errcode.overview]: diagnostics.md#syserr.errcode.overview
 [tab:cpp17.destructible]: #tab:cpp17.destructible
 [temp.constr.decl]: temp.md#temp.constr.decl
 [temp.deduct.call]: temp.md#temp.deduct.call
 [template.bitset]: utilities.md#template.bitset
 [term.incomplete.type]: basic.md#term.incomplete.type
 [term.object.type]: basic.md#term.object.type
+[term.replaceable.function]: dcl.md#term.replaceable.function
 [terminate.handler]: support.md#terminate.handler
+[text]: text.md#text
 [thread]: thread.md#thread
 [time]: time.md#time
 [tuple]: utilities.md#tuple
 [type.descriptions]: #type.descriptions
 [type.descriptions.general]: #type.descriptions.general
 [utility]: utilities.md#utility
 [utility.arg.requirements]: #utility.arg.requirements
 [utility.requirements]: #utility.requirements
 [utility.requirements.general]: #utility.requirements.general
 [value.error.codes]: #value.error.codes
+[variant]: utilities.md#variant
+[views.contiguous]: containers.md#views.contiguous
+[views.multidim]: containers.md#views.multidim
 [zombie.names]: #zombie.names
+[zombie.names.fnmacro]: #zombie.names.fnmacro
+[zombie.names.header]: #zombie.names.header
+[zombie.names.objmacro]: #zombie.names.objmacro
+[zombie.names.std]: #zombie.names.std
+[^1]: See also ISO/IEC 9899:2018 (C), 7.6.
 [^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.
 [^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 ISO/IEC 9899:2018 (C),
+    7.1.4.
 [^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 document.
 [^25]: A valid C++ program always calls the expected library non-member
     function. An implementation can also define additional non-member
     functions that would otherwise not be called by a valid C++ program.
+[^26]: That is, the C standard 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.
 [^27]: The functions `qsort()` and `bsearch()` [[alg.c.library]] meet
     this condition.

Diff to HTML by rtfpessoa