[std] Use \defnadj to improve/add many index entries.

Author: Eelis

source/basic.tex

@@ -1015,7 +1015,7 @@
 \defnx{block scope}{block (statement)!scope}.
 Its potential scope begins at its point of
 declaration\iref{basic.scope.pdecl} and ends at the end of its block.
-A variable declared at block scope is a \defn{local variable}.
+A variable declared at block scope is a \defnadj{local}{variable}.
 
 \pnum
 \indextext{scope!exception declaration}%
@@ -2634,15 +2634,12 @@
 \end{bnf}
 
 \pnum
-\indextext{linkage}%
 \indextext{translation unit}%
-\indextext{linkage!internal}%
-\indextext{linkage!external}%
 A name is said to have \defn{linkage} when it might denote the same
 object, reference, function, type, template, namespace or value as a
 name introduced by a declaration in another scope:
 \begin{itemize}
-\item When a name has \indextext{linkage!external}\defn{external linkage},
+\item When a name has \defnadj{external}{linkage},
 the entity it denotes
 can be referred to by names from scopes of other translation units or
 from other scopes of the same translation unit.
@@ -2652,7 +2649,7 @@
 can be referred to by names from other scopes of the same module unit\iref{module.unit} or
 from scopes of other module units of that same module.
 
-\item When a name has \indextext{linkage!internal}\defn{internal linkage},
+\item When a name has \defnadj{internal}{linkage},
 the entity it denotes
 can be referred to by names from other scopes in the same translation
 unit.
@@ -3399,8 +3396,7 @@
 \indextext{object lifetime|(}%
 The \defn{lifetime} of an object or reference is a runtime property of the
 object or reference.
-\indextext{initialization!vacuous}%
-A variable is said to have \defn{vacuous initialization}
+A variable is said to have \defnadj{vacuous}{initialization}
 if it is default-initialized and,
 if it is of class type or a (possibly multi-dimensional) array thereof,
 that class type has a trivial default constructor.
@@ -4114,7 +4110,7 @@
 \end{itemize}
 
 \pnum
-A pointer value is a \defn{safely-derived pointer} to an object with dynamic storage duration
+A pointer value is a \defnadj{safely-derived}{pointer} to an object with dynamic storage duration
 only if the pointer value has an object pointer type
 and is one of the following:
 \begin{itemize}
@@ -4211,8 +4207,7 @@
 using the alignment specifier\iref{dcl.align}.
 
 \pnum
-\indextext{alignment!fundamental}%
-A \defn{fundamental alignment} is represented by an alignment
+A \defnadj{fundamental}{alignment} is represented by an alignment
 less than or equal to the greatest alignment supported by the implementation in
 all contexts, which is equal to
 \tcode{alignof(std::max_align_t)}\iref{support.types}.
@@ -4234,10 +4229,7 @@
 requirement of the type in the complete-object case.
 
 \pnum
-\indextext{alignment!extended}%
-\indextext{alignment!new-extended}%
-\indextext{over-aligned type|see{type, over-aligned}}%
-An \defn{extended alignment} is represented by an alignment
+An \defnadj{extended}{alignment} is represented by an alignment
 greater than \tcode{alignof(std::max_align_t)}. It is \impldef{support for extended alignments}
 whether any extended alignments are supported and the contexts in which they are
 supported\iref{dcl.align}. A type having an extended alignment
@@ -4246,7 +4238,7 @@
 Every over-aligned type is or contains a class type
 to which extended alignment applies (possibly through a non-static data member).
 \end{note}
-A \defn{new-extended alignment} is represented by
+A \defnadj{new-extended}{alignment} is represented by
 an alignment greater than \mname{STDCPP_DEFAULT_NEW_ALIGNMENT}\iref{cpp.predefined}.
 
 \pnum
@@ -4836,7 +4828,7 @@
 are collectively called \defnadjx{implicit-lifetime}{types}{type}.
 
 \pnum
-A type is a \defn{literal type} if it is:
+A type is a \defnadj{literal}{type} if it is:
 \begin{itemize}
 \item \cv{}~\tcode{void}; or
 \item a scalar type; or
@@ -5001,9 +4993,8 @@
 \defnx{extended integer types}{extended integer type}.
 
 \pnum
-\indextext{underlying type|see{type, underlying}}%
 A fundamental type specified to have
-a signed or unsigned integer type as its \defn{underlying type} has
+a signed or unsigned integer type as its \defnadj{underlying}{type} has
 the same object representation,
 value representation,
 alignment requirements\iref{basic.align}, and
@@ -6537,9 +6528,8 @@
 storage duration\iref{basic.stc.static} or thread storage
 duration\iref{basic.stc.thread} is zero-initialized\iref{dcl.init}.
 Together, zero-initialization and constant initialization are called
-\indextext{initialization!dynamic}%
-\defn{static initialization};
-all other initialization is \defn{dynamic initialization}.
+\defnadj{static}{initialization};
+all other initialization is \defnadj{dynamic}{initialization}.
 All static initialization strongly happens before\iref{intro.races}
 any dynamic initialization.
 \begin{note}

source/classes.tex

@@ -498,7 +498,7 @@
 \indextext{definition!class}%
 The \grammarterm{member-specification} in a class definition declares the
 full set of members of the class; no member can be added elsewhere.
-A \defn{direct member} of a class \tcode{X} is a member of \tcode{X}
+A \defnadj{direct}{member} of a class \tcode{X} is a member of \tcode{X}
 that was first declared within the \grammarterm{member-specification} of \tcode{X},
 including anonymous union objects\iref{class.union.anon} and direct members thereof.
 Members of a class are data members, member
@@ -539,19 +539,16 @@
 The enumerators of an unscoped enumeration\iref{dcl.enum} defined in the class
 are members of the class.
 
-\indextext{member!static}%
-\indextext{member function!static}%
-\indextext{data member!static}%
 \pnum
 A data member or member function
 may be declared \tcode{static} in its \grammarterm{member-declaration},
-in which case it is a \defn{static member} (see~\ref{class.static})
-(a \defn{static data member}\iref{class.static.data} or
-\defn{static member function}\iref{class.static.mfct}, respectively)
+in which case it is a \defnadj{static}{member} (see~\ref{class.static})
+(a \defnadj{static}{data member}\iref{class.static.data} or
+\defnadj{static}{member function}\iref{class.static.mfct}, respectively)
 of the class.
-Any other data member or member function is a \defn{non-static member}
-(a \defn{non-static data member} or
-\defn{non-static member function}~(\ref{class.mfct.non-static}), respectively).
+Any other data member or member function is a \defnadj{non-static}{member}
+(a \defnadj{non-static}{data member} or
+\defnadj{non-static}{member function}~(\ref{class.mfct.non-static}), respectively).
 \begin{note}
 A non-static data member of non-reference
 type is a member subobject of a class object\iref{intro.object}.
@@ -3005,7 +3002,6 @@
 
 \rSec2[class.nest]{Nested class declarations}%
 \indextext{definition!nested class}%
-\indextext{class!nested|see{nested class}}
 
 \pnum
 A class can be declared within another class. A class declared within
@@ -3347,9 +3343,8 @@
 \end{note}
 
 \pnum
-\indextext{class!union-like}%
 \indextext{class!variant member of}%
-A \defn{union-like class} is a union or a class that has an anonymous union as a direct
+A \defnadj{union-like}{class} is a union or a class that has an anonymous union as a direct
 member. A union-like class \tcode{X} has a set of \defnx{variant members}{variant member}.
 If \tcode{X} is a union, a non-static data member of \tcode{X} that is not an anonymous
 union is a variant member of \tcode{X}. In addition, a non-static data member of an

source/declarations.tex

@@ -817,7 +817,7 @@
 declares that function to be
 a \defnx{constexpr function}{specifier!\idxcode{constexpr}!function}.
 A function or constructor declared with the \tcode{consteval} specifier
-is called an \defn{immediate function}.
+is called an \defnadj{immediate}{function}.
 A destructor, an allocation function, or a deallocation function
 shall not be declared with the \tcode{consteval} specifier.
 
@@ -3614,7 +3614,7 @@
 \end{note}
 
 \pnum
-A \term{non-template function} is a function that is not a function template
+A \defnadj{non-template}{function} is a function that is not a function template
 specialization.
 \begin{note}
 A function template is not a function.
@@ -5823,10 +5823,7 @@
 \end{note}
 
 \pnum
-A
-\indextext{narrowing conversion}%
-\indextext{conversion!narrowing}%
-\term{narrowing conversion} is an implicit conversion
+A \defnadj{narrowing}{conversion} is an implicit conversion
 \begin{itemize}
 \item from a floating-point type to an integer type, or
 
@@ -6136,8 +6133,8 @@
 \grammarterm{function-body}
 is of the form
 \tcode{= delete ;}
-is called a \term{deleted definition}. A function with a
-deleted definition is also called a \term{deleted function}.
+is called a \defnadj{deleted}{definition}. A function with a
+deleted definition is also called a \defnadj{deleted}{function}.
 
 \pnum
 A program that refers to a deleted function implicitly or explicitly, other

source/iostreams.tex

@@ -11728,11 +11728,11 @@
 operating system dependent\iref{fs.conform.os}.
 
 \pnum
-An \defn{absolute path} is a path that unambiguously
+An \defnadj{absolute}{path} is a path that unambiguously
 identifies the location of a file without reference to an additional starting
 location. The elements of a path that determine if it is absolute are
 operating system dependent.
-A \defn{relative path} is
+A \defnadj{relative}{path} is
 a path that is not absolute, and as such, only unambiguously
 identifies the location of a file when resolved relative to
 an implied starting location. The elements of a path that determine if it is

source/lib-intro.tex

@@ -2165,7 +2165,7 @@
 or an instantiation
 of a standard library function template.
 Unless \tcode{\placeholder{F}} is designated
-an \defn{addressable function},
+an \defnadj{addressable}{function},
 the behavior of a \Cpp{} program is unspecified (possibly ill-formed)
 if it explicitly or implicitly attempts
 to form a pointer

source/templates.tex

@@ -1608,7 +1608,7 @@
 \rSec3[temp.constr.atomic]{Atomic constraints}
 
 \pnum
-An \defn{atomic constraint} is formed from
+An \defnadj{atomic}{constraint} is formed from
 an expression \tcode{E}
 and a mapping from the template parameters
 that appear within \tcode{E} to

source/threads.tex

@@ -6003,7 +6003,7 @@
 
 \pnum
 An \defn{asynchronous return object} is an object that reads results from a
-shared state. A \defn{waiting function} of an asynchronous return object is one
+shared state. A \defnadj{waiting}{function} of an asynchronous return object is one
 that potentially blocks to wait for the shared state to be made
 ready.
 If a waiting function can return before the state is made ready because of a
@@ -7123,7 +7123,7 @@
 stores \tcode{\placeholdernc{decay-copy}(std::forward<F>(f))} and
 \tcode{\placeholdernc{decay-\brk{}copy}(std::forward<Args>(args))...}
 in the shared state. These copies of \tcode{f} and \tcode{args} constitute
-a \defn{deferred function}. Invocation of the deferred function evaluates
+a \defnadj{deferred}{function}. Invocation of the deferred function evaluates
 \tcode{invoke(std::move(g), std::move(xyz))} where \tcode{g} is the stored value of
 \tcode{\placeholdernc{decay-copy}(std::forward<F>(f))} and \tcode{xyz} is the stored copy of
 \tcode{\placeholdernc{decay-copy}(std::forward<Args>(args))...}.