[expr] Add missing indexes for definitions, and make others consistent.

Indexes were added for the following definitions:
[expr.const] constant expression
[expr.const] core constant expression
[expr.const] integral constant expression
[expr.const] converted constant expression
[gram.expr] built-in operators
[expr.call] virtual function call
[expr.call] default argument promotion
[expr.new] allocated type
[expr.prim.lambda] implicit capture

Author: Dawn Perchik

source/expressions.tex

@@ -43,8 +43,8 @@
 \pnum
 Clause~\ref{expr} defines the effects of operators when applied to types
 for which they have not been overloaded. Operator overloading shall not
-modify the rules for the \term{built-in operators}, that
-is, for operators applied to types for which they are defined by this
+modify the rules for the \defnx{built-in operators}{operators!built-in},
+that is, for operators applied to types for which they are defined by this
 Standard. However, these built-in operators participate in overload
 resolution, and as part of that process user-defined conversions will be
 considered where necessary to convert the operands to types appropriate
@@ -238,8 +238,7 @@
 and~\ref{expr.ass}.}
 
 \pnum
-\indextext{type!cv-combined}%
-The \term{cv-combined type} of two types \tcode{T1} and \tcode{T2}
+The \defnx{cv-combined type}{type!cv-combined} of two types \tcode{T1} and \tcode{T2}
 is a type \tcode{T3}
 similar to \tcode{T1} whose cv-qualification signature~(\ref{conv.qual}) is:
 \begin{itemize}
@@ -926,7 +925,8 @@
 a variable with automatic storage duration (this excludes any \grammarterm{id-expression}
 that has been found to refer to an \grammarterm{init-capture}{'s} associated
 \indextext{implicit capture!definition of}%
-non-static data member), is said to \term{implicitly capture} the entity (i.e.,
+non-static data member), is said to \defnx{implicitly capture}{capture!implicit}
+the entity (i.e.,
 \tcode{this} or a variable) if the \grammarterm{compound-statement}:
 \begin{itemize}
 \item odr-uses~(\ref{basic.def.odr}) the entity, or
@@ -1021,7 +1021,7 @@
 \exitexample
 
 \pnum
-An entity is \indexdefn{captured!by copy}\term{captured by copy} if it is implicitly captured and the
+An entity is \defnx{captured by copy}{captured!by~copy} if it is implicitly captured and the
 \grammarterm{capture-default} is \tcode{=} or if it is explicitly captured with a
 capture that is not of the form \tcode{\&} \grammarterm{identifier} or
 \tcode{\&} \grammarterm{identifier} \grammarterm{initializer}.
@@ -1034,7 +1034,7 @@
 A member of an anonymous union shall not be captured by copy.
 
 \pnum
-An entity is \indexdefn{captured!by reference}\term{captured by reference} if it is implicitly or explicitly
+An entity is \defnx{captured by reference}{captured!by~reference} if it is implicitly or explicitly
 captured but not captured by copy. It is unspecified whether additional unnamed
 non-static data members are declared in the closure type for entities captured by
 reference. A member of an anonymous union shall not be captured by reference.
@@ -1357,7 +1357,7 @@
 member access expression is a \grammarterm{qualified-id}, that function is
 called. Otherwise, its final overrider~(\ref{class.virtual}) in the dynamic type
 of the object expression is called; such a call is referred to as a
-\term{virtual function call}.
+\defnx{virtual function call}{function!virtual function~call}.
 \enternote 
 the dynamic type is the type of the object referred to by the
 current value of the object expression. \ref{class.cdtor}~describes the
@@ -1491,8 +1491,8 @@
 integral or enumeration type that is subject to the integral
 promotions~(\ref{conv.prom}), or a floating point type that is subject to the floating
 point promotion~(\ref{conv.fpprom}), the value of the argument is converted to the
-promoted type before the call. These promotions are referred to as the \term{default
-argument promotions}.
+promoted type before the call. These promotions are referred to as
+the \defnx{default argument promotions}{promotion!default argument promotion}.
 
 \pnum
 \indextext{evaluation!order~of argument}%
@@ -2371,8 +2371,8 @@
 \tcode{reinterpret_cast<T\&\&>(x)}). \exitnote No
 temporary is created, no copy is made, and
 constructors~(\ref{class.ctor}) or conversion
-functions~(\ref{class.conv}) are not called.\footnote{\indextext{type~pun}This
-is sometimes referred to as a \term{type pun}.}
+functions~(\ref{class.conv}) are not called.\footnote{This
+is sometimes referred to as a \defnx{type pun}{type~pun}.}
 
 \rSec2[expr.const.cast]{Const cast}
 
@@ -2538,9 +2538,8 @@
 \pnum
 \indextext{expression!unary~operator}%
 \indextext{operator!unary}%
-The unary \tcode{*} operator performs \term{indirection}:
+The unary \tcode{*} operator performs \defn{indirection}:
 \indextext{dereferencing|seealso{indirection}}%
-\indextext{indirection}%
 the expression to which it is applied shall be a pointer to an object
 type, or a pointer to a function type and the result is an lvalue
 referring to the object or function to which the expression points. If
@@ -2800,7 +2799,7 @@
 \indextext{\idxcode{new}}%
 The \grammarterm{new-expression} attempts to create an object of the
 \grammarterm{type-id}~(\ref{dcl.name}) or \grammarterm{new-type-id} to which
-it is applied. The type of that object is the \term{allocated type}.
+it is applied. The type of that object is the \defnx{allocated type}{type!allocated}.
 \indextext{type!incomplete}%
 This type shall be a complete object type, but not an abstract class
 type or array
@@ -4651,7 +4650,8 @@
 requirements as detailed in this sub-clause; other contexts have different
 semantics depending on whether or not an expression satisfies these requirements.
 Expressions that satisfy these requirements are called 
-\term{constant expressions}. \enternote Constant expressions can be evaluated
+\indexdefn{expression!constant}%
+\defn{constant expression}{s}. \enternote Constant expressions can be evaluated
 during translation.\exitnote
 
 \begin{bnf}
@@ -4660,7 +4660,8 @@
 \end{bnf}
 
 \pnum
-A \grammarterm{conditional-expression} \tcode{e} is a \term{core constant expression}
+A \grammarterm{conditional-expression} \tcode{e} is a
+\defnx{core constant expression}{expression!core~constant}
 unless the evaluation of \tcode{e}, following the rules of the abstract
 machine~(\ref{intro.execution}), would evaluate one of the following expressions:
 
@@ -4837,7 +4838,8 @@
 \exitexample
 
 \pnum
-An \term{integral constant expression} is an expression of integral or
+An \defnx{integral constant expression}{expression!integral~constant}
+is an expression of integral or
 unscoped enumeration type, implicitly converted to a prvalue, where the converted expression is a core constant expression.
 \enternote
 Such expressions may be
@@ -4848,7 +4850,8 @@
 \exitnote
 
 \pnum
-A \term{converted constant expression} of type \tcode{T} is an
+A \defnx{converted constant expression}{expression!converted~constant}
+of type \tcode{T} is an
 expression, implicitly converted to type \tcode{T}, where
 the converted expression is a constant expression and the
 implicit conversion sequence contains only
@@ -4876,6 +4879,7 @@
 \exitnote
 
 \pnum
+\indextext{expression!constant}%
 A \term{constant expression} is either
 a glvalue core constant expression whose value refers to
 an entity that is a permitted result of a constant expression (as defined below), or
@@ -4894,8 +4898,9 @@
   the address of a function,
   or a null pointer value.
 \end{itemize}
-\indextext{constant expression!permitted result of}%
-An entity is a \term{permitted result of a constant expression} if it is an
+An entity is a
+\defnx{permitted result of a constant expression}{constant expression!permitted result~of}
+if it is an
 object with static storage duration that is either not a temporary object or is
 a temporary object whose value satisfies the above constraints, or it is a
 function.