[intro.defs] - C++14 → C++17

Files changed (1) hide show

tmp/tmp8hdvfp5d/{from.md → to.md} +81 -109

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

@@ -1,165 +1,137 @@
-## Terms and definitions <a id="intro.defs">[[intro.defs]]</a>
-For the purposes of this document, the following definitions apply.
 [[definitions]] defines additional terms that are used only in Clauses
 [[library]] through  [[thread]] and Annex  [[depr]].
-Terms that are used only in a small portion of this International
-Standard are defined where they are used and italicized where they are
-defined.
-#### 1 argument <a id="defns.argument">[[defns.argument]]</a>
-\<function call expression\> expression in the comma-separated list
-bounded by the parentheses
-#### 2 argument <a id="defns.argument.macro">[[defns.argument.macro]]</a>
-\<function-like macro\> sequence of preprocessing tokens in the
-comma-separated list bounded by the parentheses
-#### 3 argument <a id="defns.argument.throw">[[defns.argument.throw]]</a>
-\<throw expression\> the operand of `throw`
-#### 4 argument <a id="defns.argument.templ">[[defns.argument.templ]]</a>
-\<template instantiation\> expression, *type-id* or *template-name* in
-the comma-separated list bounded by the angle brackets
-#### 5 conditionally-supported <a id="defns.cond.supp">[[defns.cond.supp]]</a>
 program construct that an implementation is not required to support
-Each implementation documents all conditionally-supported constructs
-that it does not support.
-#### 6 diagnostic message <a id="defns.diagnostic">[[defns.diagnostic]]</a>
 message belonging to an *implementation-defined* subset of the
 implementation’s output messages
-#### 7 dynamic type <a id="defns.dynamic.type">[[defns.dynamic.type]]</a>
-\<glvalue\> type of the most derived object ([[intro.object]]) to which
-the glvalue denoted by a glvalue expression refers
-if a pointer ([[dcl.ptr]]) `p` whose static type is “pointer to class
-`B`” is pointing to an object of class `D`, derived from `B` (Clause
-[[class.derived]]), the dynamic type of the expression `*p` is “`D`.”
-References ([[dcl.ref]]) are treated similarly.
-#### 8 dynamic type <a id="defns.dynamic.type.prvalue">[[defns.dynamic.type.prvalue]]</a>
-\<prvalue\> static type of the prvalue expression
-#### 9 ill-formed program <a id="defns.ill.formed">[[defns.ill.formed]]</a>
-program that is not well formed
-#### 10 implementation-defined behavior <a id="defns.impl.defined">[[defns.impl.defined]]</a>
 behavior, for a well-formed program construct and correct data, that
 depends on the implementation and that each implementation documents
-#### 11 implementation limits <a id="defns.impl.limits">[[defns.impl.limits]]</a>
 restrictions imposed upon programs by the implementation
-#### 12 locale-specific behavior <a id="defns.locale.specific">[[defns.locale.specific]]</a>
 behavior that depends on local conventions of nationality, culture, and
 language that each implementation documents
-#### 13 multibyte character <a id="defns.multibyte">[[defns.multibyte]]</a>
 sequence of one or more bytes representing a member of the extended
 character set of either the source or the execution environment
-The extended character set is a superset of the basic character set (
-[[lex.charset]]).
-#### 14 parameter <a id="defns.parameter">[[defns.parameter]]</a>
-\<function or catch clause\> object or reference declared as part of a
-function declaration or definition or in the catch clause of an
-exception handler that acquires a value on entry to the function or
-handler
-#### 15 parameter <a id="defns.parameter.macro">[[defns.parameter.macro]]</a>
-\<function-like macro\> identifier from the comma-separated list bounded
-by the parentheses immediately following the macro name
-#### 16 parameter <a id="defns.parameter.templ">[[defns.parameter.templ]]</a>
-\<template\> *template-parameter*
-#### 17 signature <a id="defns.signature">[[defns.signature]]</a>
-\<function\> name, parameter type list ([[dcl.fct]]), and enclosing
-namespace (if any)
-Signatures are used as a basis for name mangling and linking.
-#### 18 signature <a id="defns.signature.templ">[[defns.signature.templ]]</a>
-\<function template\> name, parameter type list ([[dcl.fct]]),
-enclosing namespace (if any), return type, and template parameter list
-#### 19 signature <a id="defns.signature.spec">[[defns.signature.spec]]</a>
-\<function template specialization\> signature of the template of which
-it is a specialization and its template arguments (whether explicitly
-specified or deduced)
-#### 20 signature <a id="defns.signature.member">[[defns.signature.member]]</a>
-\<class member function\> name, parameter type list ([[dcl.fct]]),
-class of which the function is a member, cv-qualifiers (if any), and
-*ref-qualifier* (if any)
-#### 21 signature <a id="defns.signature.member.templ">[[defns.signature.member.templ]]</a>
-\<class member function template\> name, parameter type list (
-[[dcl.fct]]), class of which the function is a member, cv-qualifiers (if
-any), *ref-qualifier* (if any), return type, and template parameter list
-#### 22 signature <a id="defns.signature.member.spec">[[defns.signature.member.spec]]</a>
-\<class member function template specialization\> signature of the
-member function template of which it is a specialization and its
 template arguments (whether explicitly specified or deduced)
-#### 23 static type <a id="defns.static.type">[[defns.static.type]]</a>
 type of an expression ([[basic.types]]) resulting from analysis of the
 program without considering execution semantics
-The static type of an expression depends only on the form of the program
-in which the expression appears, and does not change while the program
-is executing.
-#### 24 undefined behavior <a id="defns.undefined">[[defns.undefined]]</a>
 behavior for which this International Standard imposes no requirements
-Undefined behavior may be expected when this International Standard
-omits any explicit definition of behavior or when a program uses an
-erroneous construct or erroneous data. Permissible undefined behavior
-ranges from ignoring the situation completely with unpredictable
-results, to behaving during translation or program execution in a
-documented manner characteristic of the environment (with or without the
-issuance of a diagnostic message), to terminating a translation or
-execution (with the issuance of a diagnostic message). Many erroneous
-program constructs do not engender undefined behavior; they are required
-to be diagnosed.
-#### 25 unspecified behavior <a id="defns.unspecified">[[defns.unspecified]]</a>
 behavior, for a well-formed program construct and correct data, that
 depends on the implementation
-The implementation is not required to document which behavior occurs.
-The range of possible behaviors is usually delineated by this
-International Standard.
-#### 26 well-formed program <a id="defns.well.formed">[[defns.well.formed]]</a>
 C++program constructed according to the syntax rules, diagnosable
-semantic rules, and the One Definition Rule ([[basic.def.odr]]).

+# Terms and definitions <a id="intro.defs">[[intro.defs]]</a>
+For the purposes of this document, the terms and definitions given in
+ISO/IEC 2382-1:1993, the terms, definitions, and symbols given in ISO
+80000-2:2009, and the following apply.
+ISO and IEC maintain terminological databases for use in standardization
+at the following addresses:
+- IEC Electropedia: available at <http://www.electropedia.org/>
+- ISO Online browsing platform: available at <http://www.iso.org/obp>
 [[definitions]] defines additional terms that are used only in Clauses
 [[library]] through  [[thread]] and Annex  [[depr]].
+Terms that are used only in a small portion of this document are defined
+where they are used and italicized where they are defined.
+to read or modify the value of an object
+expression in the comma-separated list bounded by the parentheses (
+[[expr.call]])
+sequence of preprocessing tokens in the comma-separated list bounded by
+the parentheses ([[cpp.replace]])
+the operand of `throw` ([[expr.throw]])
+*constant-expression*, *type-id*, or *id-expression* in the
+comma-separated list bounded by the angle brackets ([[temp.arg]])
+a thread of execution that blocks is waiting for some condition (other
+than for the implementation to execute its execution steps) to be
+satisfied before it can continue execution past the blocking operation
 program construct that an implementation is not required to support
+[*Note 1*: Each implementation documents all conditionally-supported
+constructs that it does not support. — *end note*]
 message belonging to an *implementation-defined* subset of the
 implementation’s output messages
+type of the most derived object ([[intro.object]]) to which the glvalue
+refers
+[*Example 1*: If a pointer ([[dcl.ptr]]) `p` whose static type is
+“pointer to class `B`” is pointing to an object of class `D`, derived
+from `B` (Clause  [[class.derived]]), the dynamic type of the expression
+`*p` is “`D`”. References ([[dcl.ref]]) are treated
+similarly. — *end example*]
+static type of the prvalue expression
+program that is not well-formed ([[defns.well.formed]])
 behavior, for a well-formed program construct and correct data, that
 depends on the implementation and that each implementation documents
 restrictions imposed upon programs by the implementation
 behavior that depends on local conventions of nationality, culture, and
 language that each implementation documents
 sequence of one or more bytes representing a member of the extended
 character set of either the source or the execution environment
+[*Note 2*: The extended character set is a superset of the basic
+character set ([[lex.charset]]). — *end note*]
+object or reference declared as part of a function declaration or
+definition or in the catch clause of an exception handler that acquires
+a value on entry to the function or handler
+identifier from the comma-separated list bounded by the parentheses
+immediately following the macro name
+member of a *template-parameter-list*
+name, parameter type list ([[dcl.fct]]), and enclosing namespace (if
+any)
+[*Note 3*: Signatures are used as a basis for name mangling and
+linking. — *end note*]
+name, parameter type list ([[dcl.fct]]), enclosing namespace (if any),
+return type, and template parameter list
+signature of the template of which it is a specialization and its
 template arguments (whether explicitly specified or deduced)
+name, parameter type list ([[dcl.fct]]), class of which the function is
+a member, cv-qualifiers (if any), and *ref-qualifier* (if any)
+name, parameter type list ([[dcl.fct]]), class of which the function is
+a member, cv-qualifiers (if any), *ref-qualifier* (if any), return type
+(if any), and template parameter list
+signature of the member function template of which it is a
+specialization and its template arguments (whether explicitly specified
+or deduced)
 type of an expression ([[basic.types]]) resulting from analysis of the
 program without considering execution semantics
+[*Note 4*: The static type of an expression depends only on the form of
+the program in which the expression appears, and does not change while
+the program is executing. — *end note*]
+satisfy a condition that one or more blocked threads of execution are
+waiting for
 behavior for which this International Standard imposes no requirements
+[*Note 5*: Undefined behavior may be expected when this International
+Standard omits any explicit definition of behavior or when a program
+uses an erroneous construct or erroneous data. Permissible undefined
+behavior ranges from ignoring the situation completely with
+unpredictable results, to behaving during translation or program
+execution in a documented manner characteristic of the environment (with
+or without the issuance of a diagnostic message), to terminating a
+translation or execution (with the issuance of a diagnostic message).
+Many erroneous program constructs do not engender undefined behavior;
+they are required to be diagnosed. Evaluation of a constant expression
+never exhibits behavior explicitly specified as undefined (
+[[expr.const]]). — *end note*]
 behavior, for a well-formed program construct and correct data, that
 depends on the implementation
+[*Note 6*: The implementation is not required to document which
+behavior occurs. The range of possible behaviors is usually delineated
+by this International Standard. — *end note*]
 C++program constructed according to the syntax rules, diagnosable
+semantic rules, and the one-definition rule ([[basic.def.odr]]).

Diff to HTML by rtfpessoa