[definitions] - C++14 → C++17

Files changed (1) hide show

tmp/tmp3jxhtgrj/{from.md → to.md} +58 -101

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

@@ -1,177 +1,134 @@
 ## Definitions <a id="definitions">[[definitions]]</a>
-#### 1 arbitrary-positional stream <a id="defns.arbitrary.stream">[[defns.arbitrary.stream]]</a>
 a stream (described in Clause  [[input.output]]) that can seek to any
 integral position within the length of the stream
-Every arbitrary-positional stream is also a repositional stream.
-#### 2 block <a id="defns.block">[[defns.block]]</a>
-place a thread in the blocked state
-#### 3 blocked thread <a id="defns.blocked">[[defns.blocked]]</a>
-a thread that is waiting for some condition (other than the availability
-of a processor) to be satisfied before it can continue execution[^1]
-#### 4 character <a id="defns.character">[[defns.character]]</a>
-\<Clauses  [[strings]], [[localization]], [[input.output]], and
-[[re]]\> any object which, when treated sequentially, can represent
-text
-The term does not mean only `char`, `char16_t`, `char32_t`, and
-`wchar_t` objects, but any value that can be represented by a type that
-provides the definitions specified in these Clauses.
-#### 5 character container type <a id="defns.character.container">[[defns.character.container]]</a>
 a class or a type used to represent a *character*
-It is used for one of the template parameters of the string, iostream,
-and regular expression class templates. A character container type is a
-POD ([[basic.types]]) type.
-#### 6 comparison function <a id="defns.comparison">[[defns.comparison]]</a>
 an operator function ([[over.oper]]) for any of the equality (
 [[expr.eq]]) or relational ([[expr.rel]]) operators
-#### 7 component <a id="defns.component">[[defns.component]]</a>
 a group of library entities directly related as members, parameters, or
 return types
-For example, the class template `basic_string` and the non-member
-function templates that operate on strings are referred to as the
-*string component*.
-#### 8 deadlock <a id="defns.deadlock">[[defns.deadlock]]</a>
 one or more threads are unable to continue execution because each is
 blocked waiting for one or more of the others to satisfy some condition
-#### 9 default behavior <a id="defns.default.behavior.impl">[[defns.default.behavior.impl]]</a>
-\<implementation\> any specific behavior provided by the implementation,
-within the scope of the *required behavior*
-#### 10 default behavior <a id="defns.default.behavior.func">[[defns.default.behavior.func]]</a>
-\<specification\> a description of *replacement function* and *handler
-function* semantics
-#### 11 handler function <a id="defns.handler">[[defns.handler]]</a>
 a *non-reserved function* whose definition may be provided by a
 C++program
-A C++program may designate a handler function at various points in its
-execution by supplying a pointer to the function when calling any of the
-library functions that install handler functions (Clause
-[[language.support]]).
-#### 12 iostream class templates <a id="defns.iostream.templates">[[defns.iostream.templates]]</a>
 templates, defined in Clause  [[input.output]], that take two template
 arguments
-The arguments are named `charT` and `traits`. The argument `charT` is a
-character container class, and the argument `traits` is a class which
-defines additional characteristics and functions of the character type
-represented by `charT` necessary to implement the iostream class
-templates.
-#### 13 modifier function <a id="defns.modifier">[[defns.modifier]]</a>
 a class member function ([[class.mfct]]) other than a constructor,
 assignment operator, or destructor that alters the state of an object of
 the class
-#### 14 move construction <a id="defns.move.constr">[[defns.move.constr]]</a>
-direct-initialization of an object of some type with an rvalue of the
-same type
-#### 15 move assignment <a id="defns.move.assign">[[defns.move.assign]]</a>
 assignment of an rvalue of some object type to a modifiable lvalue of
 the same type
-#### 16 object state <a id="defns.obj.state">[[defns.obj.state]]</a>
-the current value of all non-static class members of an object (
-[[class.mem]])
-The state of an object can be obtained by using one or more *observer
-functions*.
-#### 17 NTCTS <a id="defns.ntcts">[[defns.ntcts]]</a>
 a sequence of values that have *character type* that precede the
 terminating null character type value `charT()`
-#### 18 observer function <a id="defns.observer">[[defns.observer]]</a>
 a class member function ([[class.mfct]]) that accesses the state of an
 object of the class but does not alter that state
-Observer functions are specified as `const` member functions (
-[[class.this]]).
-#### 19 referenceable type <a id="defns.referenceable">[[defns.referenceable]]</a>
-An object type, a function type that does not have cv-qualifiers or a
-*ref-qualifier*, or a reference type. The term describes a type to which
-a reference can be created, including reference types.
-#### 20 replacement function <a id="defns.replacement">[[defns.replacement]]</a>
 a *non-reserved function* whose definition is provided by a C++program
-Only one definition for such a function is in effect for the duration of
-the program’s execution, as the result of creating the program (
-[[lex.phases]]) and resolving the definitions of all translation units (
-[[basic.link]]).
-#### 21 repositional stream <a id="defns.repositional.stream">[[defns.repositional.stream]]</a>
 a stream (described in Clause  [[input.output]]) that can seek to a
 position that was previously encountered
-#### 22 required behavior <a id="defns.required.behavior">[[defns.required.behavior]]</a>
 a description of *replacement function* and *handler function* semantics
 applicable to both the behavior provided by the implementation and the
 behavior of any such function definition in the program
-If such a function defined in a C++program fails to meet the required
-behavior when it executes, the behavior is undefined.
-#### 23 reserved function <a id="defns.reserved.function">[[defns.reserved.function]]</a>
 a function, specified as part of the C++standard library, that must be
 defined by the implementation
-If a C++program provides a definition for any reserved function, the
-results are undefined.
-#### 24 stable algorithm <a id="defns.stable">[[defns.stable]]</a>
 an algorithm that preserves, as appropriate to the particular algorithm,
 the order of elements
-Requirements for stable algorithms are given in  [[algorithm.stable]].
-#### 25 traits class <a id="defns.traits">[[defns.traits]]</a>
 a class that encapsulates a set of types and functions necessary for
 class templates and function templates to manipulate objects of types
 for which they are instantiated
-Traits classes defined in Clauses  [[strings]], [[localization]] and
-[[input.output]] are *character traits*, which provide the character
-handling support needed by the string and iostream classes.
-#### 26 unblock <a id="defns.unblock">[[defns.unblock]]</a>
-place a thread in the unblocked state
-#### 27 valid but unspecified state <a id="defns.valid">[[defns.valid]]</a>
-an object state that is not specified except that the object’s
 invariants are met and operations on the object behave as specified for
 its type
-If an object `x` of type `std::vector<int>` is in a valid but
-unspecified state, `x.empty()` can be called unconditionally, and
-`x.front()` can be called only if `x.empty()` returns `false`.

 ## Definitions <a id="definitions">[[definitions]]</a>
+[*Note 1*: Clause [[intro.defs]] defines additional terms used
+elsewhere in this International Standard. — *end note*]
 a stream (described in Clause  [[input.output]]) that can seek to any
 integral position within the length of the stream
+[*Note 2*: Every arbitrary-positional stream is also a repositional
+stream. — *end note*]
+\defncontext{Clauses~ [[strings]], [[localization]], [[input.output]], and~ [[re]]}
+any object which, when treated sequentially, can represent text
+[*Note 3*: The term does not mean only `char`, `char16_t`, `char32_t`,
+and `wchar_t` objects, but any value that can be represented by a type
+that provides the definitions specified in these Clauses. — *end note*]
 a class or a type used to represent a *character*
+[*Note 4*: It is used for one of the template parameters of the string,
+iostream, and regular expression class templates. A character container
+type is a POD ([[basic.types]]) type. — *end note*]
 an operator function ([[over.oper]]) for any of the equality (
 [[expr.eq]]) or relational ([[expr.rel]]) operators
 a group of library entities directly related as members, parameters, or
 return types
+[*Note 5*: For example, the class template `basic_string` and the
+non-member function templates that operate on strings are referred to as
+the *string component*. — *end note*]
+an expression whose evaluation as subexpression of a
+*conditional-expression* `CE` ([[expr.cond]]) would not prevent `CE`
+from being a core constant expression ([[expr.const]])
 one or more threads are unable to continue execution because each is
 blocked waiting for one or more of the others to satisfy some condition
+any specific behavior provided by the implementation, within the scope
+of the *required behavior*
+a description of *replacement function* and *handler function* semantics
+a direct-initialization ([[dcl.init]]) that is not
+list-initialization ([[dcl.init.list]])
 a *non-reserved function* whose definition may be provided by a
 C++program
+[*Note 6*: A C++program may designate a handler function at various
+points in its execution by supplying a pointer to the function when
+calling any of the library functions that install handler functions
+(Clause  [[language.support]]). — *end note*]
 templates, defined in Clause  [[input.output]], that take two template
 arguments
+[*Note 7*: The arguments are named `charT` and `traits`. The argument
+`charT` is a character container class, and the argument `traits` is a
+class which defines additional characteristics and functions of the
+character type represented by `charT` necessary to implement the
+iostream class templates. — *end note*]
 a class member function ([[class.mfct]]) other than a constructor,
 assignment operator, or destructor that alters the state of an object of
 the class
 assignment of an rvalue of some object type to a modifiable lvalue of
 the same type
+direct-initialization of an object of some type with an rvalue of the
+same type
 a sequence of values that have *character type* that precede the
 terminating null character type value `charT()`
 a class member function ([[class.mfct]]) that accesses the state of an
 object of the class but does not alter that state
+[*Note 8*: Observer functions are specified as `const` member
+functions ([[class.this]]). — *end note*]
+an object type, a function type that does not have cv-qualifiers or a
+*ref-qualifier*, or a reference type
+[*Note 9*: The term describes a type to which a reference can be
+created, including reference types. — *end note*]
 a *non-reserved function* whose definition is provided by a C++program
+[*Note 10*: Only one definition for such a function is in effect for
+the duration of the program’s execution, as the result of creating the
+program ([[lex.phases]]) and resolving the definitions of all
+translation units ([[basic.link]]). — *end note*]
 a stream (described in Clause  [[input.output]]) that can seek to a
 position that was previously encountered
 a description of *replacement function* and *handler function* semantics
 applicable to both the behavior provided by the implementation and the
 behavior of any such function definition in the program
+[*Note 11*: If such a function defined in a C++program fails to meet
+the required behavior when it executes, the behavior is undefined.
+ — *end note*]
 a function, specified as part of the C++standard library, that must be
 defined by the implementation
+[*Note 12*: If a C++program provides a definition for any reserved
+function, the results are undefined.  — *end note*]
 an algorithm that preserves, as appropriate to the particular algorithm,
 the order of elements
+[*Note 13*: Requirements for stable algorithms are given in
+[[algorithm.stable]]. — *end note*]
 a class that encapsulates a set of types and functions necessary for
 class templates and function templates to manipulate objects of types
 for which they are instantiated
+a value of an object that is not specified except that the object’s
 invariants are met and operations on the object behave as specified for
 its type
+[*Example 1*: If an object `x` of type `std::vector<int>` is in a valid
+but unspecified state, `x.empty()` can be called unconditionally, and
+`x.front()` can be called only if `x.empty()` returns
+`false`. — *end example*]

Diff to HTML by rtfpessoa