[std] Use \keyword for 'consteval', 'constexpr', 'constinit'.

Author: jensmaurer

source/classes.tex

@@ -866,7 +866,7 @@
 it is inline\iref{dcl.inline}.
 \begin{note}
 A member function is also inline if it is declared
-\tcode{inline}, \tcode{constexpr}, or \tcode{consteval}.
+\tcode{inline}, \keyword{constexpr}, or \keyword{consteval}.
 \end{note}
 
 \pnum
@@ -1142,7 +1142,7 @@
 Constructors do not have names.
 In a constructor declaration, each \grammarterm{decl-specifier} in the optional
 \grammarterm{decl-specifier-seq} shall be \tcode{friend}, \tcode{inline},
-\tcode{constexpr}, or an \grammarterm{explicit-specifier}.
+\keyword{constexpr}, or an \grammarterm{explicit-specifier}.
 \begin{example}
 \begin{codeblock}
 struct S {
@@ -1317,7 +1317,7 @@
 the program is ill-formed.
 If that user-written default constructor would satisfy the requirements
 of a constexpr constructor\iref{dcl.constexpr}, the implicitly-defined
-default constructor is \tcode{constexpr}.
+default constructor is \keyword{constexpr}.
 Before the defaulted default constructor for a class is
 implicitly defined,
 all the non-user-provided default constructors for its base classes and
@@ -1621,7 +1621,7 @@
 \end{note}
 If the implicitly-defined constructor would satisfy the requirements of a
 constexpr constructor\iref{dcl.constexpr}, the implicitly-defined
-constructor is \tcode{constexpr}.
+constructor is \keyword{constexpr}.
 
 \pnum
 Before the defaulted copy/move constructor for a class is
@@ -1920,7 +1920,7 @@
 to assign to an object of its class type),
 when it is needed for constant evaluation\iref{expr.const}, or
 when it is explicitly defaulted after its first declaration.
-The implicitly-defined copy/move assignment operator is \tcode{constexpr} if
+The implicitly-defined copy/move assignment operator is \keyword{constexpr} if
 \begin{itemize}
 \item
 \tcode{X} is a literal type, and
@@ -2039,8 +2039,8 @@
 \tcode{friend},
 \tcode{inline},
 \tcode{virtual},
-\tcode{constexpr}, or
-\tcode{consteval}.
+\keyword{constexpr}, or
+\keyword{consteval}.
 
 \pnum
 \indextext{generated destructor|see{destructor, default}}%
@@ -2749,7 +2749,7 @@
 namespace scope definition shall not contain an \grammarterm{initializer}.
 The declaration of an inline static data member (which is a definition)
 may specify a \grammarterm{brace-or-equal-initializer}. If the
-member is declared with the \tcode{constexpr} specifier, it may be
+member is declared with the \keyword{constexpr} specifier, it may be
 redeclared in namespace scope with no initializer (this usage is
 deprecated; see \ref{depr.static.constexpr}). Declarations of other
 static data members shall not specify a \grammarterm{brace-or-equal-initializer}.
@@ -3940,10 +3940,10 @@
 \indextext{function!virtual|)}
 
 \pnum
-A \tcode{consteval} virtual function shall not override
-a virtual function that is not \tcode{consteval}.
-A \tcode{consteval} virtual function shall not be overridden by
-a virtual function that is not \tcode{consteval}.
+A \keyword{consteval} virtual function shall not override
+a virtual function that is not \keyword{consteval}.
+A \keyword{consteval} virtual function shall not be overridden by
+a virtual function that is not \keyword{consteval}.
 
 \rSec2[class.abstract]{Abstract classes}%
 
@@ -6380,8 +6380,8 @@
 has the same \grammarterm{parameter-declaration-clause} and
 trailing \grammarterm{requires-clause} as
 the respective three-way comparison operator.
-It is declared with \tcode{friend}, \tcode{virtual}, \tcode{constexpr},
-or \tcode{consteval} if
+It is declared with \tcode{friend}, \tcode{virtual}, \keyword{constexpr},
+or \keyword{consteval} if
 the three-way comparison operator function is so declared.
 If the three-way comparison operator function
 has no \grammarterm{noexcept-specifier},

source/compatibility.tex

@@ -75,7 +75,7 @@
 The \tcode{concept} keyword is
 added to enable the definition of concepts\iref{temp.concept}.
 \item
-The \tcode{consteval} keyword is added to
+The \keyword{consteval} keyword is added to
 declare immediate functions\iref{dcl.constexpr}.
 \item
 The \keyword{constinit} keyword is added to
@@ -92,8 +92,8 @@
 Valid \CppXVII{} code using
 \keyword{char8_t},
 \tcode{concept},
-\tcode{consteval},
-\tcode{constinit},
+\keyword{consteval},
+\keyword{constinit},
 \tcode{co_await}, \tcode{co_yield}, \tcode{co_return},
 or \tcode{requires}
 as an identifier is not valid in this revision of \Cpp{}.
@@ -704,7 +704,7 @@
 \rationale
 The traits had unreliable or awkward interfaces. The \tcode{is_literal_type}
 trait provided no way to detect which subset of constructors and member
-functions of a type were declared \tcode{constexpr}. The \tcode{result_of}
+functions of a type were declared \keyword{constexpr}. The \tcode{result_of}
 trait had a surprising syntax that could not report the result of a regular
 function type. It has been superseded by the \tcode{invoke_result} trait.
 \effect
@@ -1165,10 +1165,10 @@
 
 \diffref{dcl.constexpr}
 \change
-\tcode{constexpr} non-static member functions are not implicitly
+\keyword{constexpr} non-static member functions are not implicitly
 \tcode{const} member functions.
 \rationale
-Necessary to allow \tcode{constexpr} member functions to mutate
+Necessary to allow \keyword{constexpr} member functions to mutate
 the object.
 \effect
 Valid \CppXI{} code may fail to compile in this revision of \Cpp{}.
@@ -1285,7 +1285,7 @@
 \tcode{alignof},
 \keyword{char16_t},
 \keyword{char32_t},
-\tcode{constexpr},
+\keyword{constexpr},
 \tcode{decltype},
 \tcode{noexcept},
 \tcode{nullptr},

source/declarations.tex

@@ -701,23 +701,23 @@
 \indextext{specifier!\idxcode{consteval}}
 
 \pnum
-The \tcode{constexpr} specifier shall be applied only to
+The \keyword{constexpr} specifier shall be applied only to
 the definition of a variable or variable template or
 the declaration of a function or function template.
-The \tcode{consteval} specifier shall be applied only to
+The \keyword{consteval} specifier shall be applied only to
 the declaration of a function or function template.
 A function or static data member
-declared with the \tcode{constexpr} or \tcode{consteval} specifier
+declared with the \keyword{constexpr} or \keyword{consteval} specifier
 is implicitly an inline function or variable\iref{dcl.inline}.
 If any declaration of a function or function template has
-a \tcode{constexpr} or \tcode{consteval} specifier,
+a \keyword{constexpr} or \keyword{consteval} specifier,
 then all its declarations shall contain the same specifier.
 \begin{note}
 An explicit specialization can differ from the template declaration
-with respect to the \tcode{constexpr} or \tcode{consteval} specifier.
+with respect to the \keyword{constexpr} or \keyword{consteval} specifier.
 \end{note}
 \begin{note}
-Function parameters cannot be declared \tcode{constexpr}.
+Function parameters cannot be declared \keyword{constexpr}.
 \end{note}
 \begin{example}
 \begin{codeblock}
@@ -732,7 +732,7 @@
   : x(a), y(x)                  // OK: definition
   { square(x); }
 constexpr pixel small(2);       // error: \tcode{square} not defined, so \tcode{small(2)}
-                                // not constant\iref{expr.const} so \tcode{constexpr} not satisfied
+                                // not constant\iref{expr.const} so \keyword{constexpr} not satisfied
 
 constexpr void square(int &x) { // OK: definition
   x *= x;
@@ -746,14 +746,14 @@
 \end{example}
 
 \pnum
-A \tcode{constexpr} or \tcode{consteval} specifier
+A \keyword{constexpr} or \keyword{consteval} specifier
 used in the declaration of a function
 declares that function to be
 a \defnx{constexpr function}{specifier!\idxcode{constexpr}!function}.
-A function or constructor declared with the \tcode{consteval} specifier
+A function or constructor declared with the \keyword{consteval} specifier
 is called an \defnadj{immediate}{function}.
 A destructor, an allocation function, or a deallocation function
-shall not be declared with the \tcode{consteval} specifier.
+shall not be declared with the \keyword{consteval} specifier.
 
 \pnum
 \indextext{specifier!\idxcode{constexpr}!function}%
@@ -917,7 +917,7 @@
 \end{note}
 
 \pnum
-The \tcode{constexpr} and \tcode{consteval} specifiers have no
+The \keyword{constexpr} and \keyword{consteval} specifiers have no
 effect on the type of a constexpr function.
 \begin{example}
 \begin{codeblock}
@@ -930,15 +930,15 @@
 \end{example}
 
 \pnum
-A \tcode{constexpr} specifier used in an object declaration
+A \keyword{constexpr} specifier used in an object declaration
 declares the object as const.
 Such an object
 shall have literal type and
 shall be initialized.
-In any \tcode{constexpr} variable declaration,
+In any \keyword{constexpr} variable declaration,
 the full-expression of the initialization
 shall be a constant expression\iref{expr.const}.
-A \tcode{constexpr} variable shall have constant destruction.
+A \keyword{constexpr} variable shall have constant destruction.
 \begin{example}
 \begin{codeblock}
 struct pixel {
@@ -2615,7 +2615,7 @@
 \tcode{friend},
 \tcode{inline},
 \tcode{virtual},
-\tcode{constexpr},
+\keyword{constexpr},
 or
 \tcode{typedef}
 specifier
@@ -4223,7 +4223,7 @@
 \end{note}
 
 \pnum
-Except for objects declared with the \tcode{constexpr} specifier, for which see~\ref{dcl.constexpr},
+Except for objects declared with the \keyword{constexpr} specifier, for which see~\ref{dcl.constexpr},
 an \grammarterm{initializer} in the definition of a variable can consist of
 arbitrary expressions involving literals and previously declared
 variables and functions,
@@ -6134,7 +6134,7 @@
 
 \pnum
 An explicitly-defaulted function that is not defined as deleted may be declared
-\tcode{constexpr} or \tcode{consteval} only
+\keyword{constexpr} or \keyword{consteval} only
 if it is constexpr-compatible (\ref{special}, \ref{class.compare.default}).
 A function explicitly defaulted on its first declaration
 is implicitly inline\iref{dcl.inline},
@@ -6144,7 +6144,7 @@
 \begin{example}
 \begin{codeblock}
 struct S {
-  constexpr S() = default;              // error: implicit \tcode{S()} is not \tcode{constexpr}
+  constexpr S() = default;              // error: implicit \tcode{S()} is not \keyword{constexpr}
   S(int a = 0) = default;               // error: default argument
   void operator=(const S&) = default;   // error: non-matching return type
   ~S() noexcept(false) = default;       // OK, despite mismatched exception specification

source/expressions.tex

@@ -1680,7 +1680,7 @@
 \pnum
 In the \grammarterm{decl-specifier-seq} of the \grammarterm{lambda-declarator},
 each \grammarterm{decl-specifier}
-shall be one of \tcode{mutable}, \tcode{constexpr}, or \tcode{consteval}.
+shall be one of \tcode{mutable}, \keyword{constexpr}, or \keyword{consteval}.
 \begin{note}
 The trailing \grammarterm{requires-clause} is described in \ref{dcl.decl}.
 \end{note}
@@ -1801,11 +1801,11 @@
 is a constexpr function if either
 the corresponding \grammarterm{lambda-expression}{'s}
 \grammarterm{parameter-declaration-clause}
-is followed by \tcode{constexpr} or \tcode{consteval}, or
+is followed by \keyword{constexpr} or \keyword{consteval}, or
 it satisfies the requirements for a constexpr function\iref{dcl.constexpr}.
 It is an immediate function\iref{dcl.constexpr}
 if the corresponding \grammarterm{lambda-expression}{'s}
-\grammarterm{parameter-declaration-clause} is followed by \tcode{consteval}.
+\grammarterm{parameter-declaration-clause} is followed by \keyword{consteval}.
 \begin{example}
 \begin{codeblock}
 auto ID = [](auto a) { return a; };
@@ -1837,7 +1837,7 @@
 constexpr auto one = monoid(1);
 static_assert(add(one)(zero)() == one());       // OK
 
-// Since \tcode{two} below is not declared \tcode{constexpr}, an evaluation of its \tcode{constexpr} member function call operator
+// Since \tcode{two} below is not declared \keyword{constexpr}, an evaluation of its \tcode{constexpr} member function call operator
 // cannot perform an lvalue-to-rvalue conversion on one of its subobjects (that represents its capture)
 // in a constant expression.
 auto two = monoid(2);
@@ -7260,7 +7260,7 @@
 }
 constexpr int f2(int k) {
   int x = k;                        // OK: not required to be a constant expression
-                                    // because \tcode{x} is not \tcode{constexpr}
+                                    // because \tcode{x} is not \keyword{constexpr}
   return x;
 }
 

source/future.tex

@@ -160,7 +160,7 @@
 \rSec1[depr.static.constexpr]{Redeclaration of \tcode{static constexpr} data members}
 
 \pnum
-For compatibility with prior revisions of \Cpp{}, a \tcode{constexpr}
+For compatibility with prior revisions of \Cpp{}, a \keyword{constexpr}
 static data member may be redundantly redeclared outside the class with no initializer.
 This usage is deprecated.
 \begin{example}

source/iterators.tex

@@ -4638,7 +4638,7 @@
 \effects
 Value-initializes \tcode{last}.
 If \tcode{is_trivially_default_constructible_v<S>} is \tcode{true},
-then this constructor is a \tcode{constexpr} constructor.
+then this constructor is a \keyword{constexpr} constructor.
 \end{itemdescr}
 
 \indexlibraryctor{move_sentinel}%
@@ -5846,7 +5846,7 @@
 \remarks
 If the initializer \tcode{T()} in the declaration \tcode{auto x = T();}
 is a constant initializer\iref{expr.const},
-then these constructors are \tcode{constexpr} constructors.
+then these constructors are \keyword{constexpr} constructors.
 \end{itemdescr}
 
 
@@ -6140,7 +6140,7 @@
 both construct an end-of-stream iterator object suitable for use
 as an end-of-range.
 All specializations of \tcode{istreambuf_iterator} shall have a trivial copy
-constructor, a \tcode{constexpr} default constructor, and a trivial destructor.
+constructor, a \keyword{constexpr} default constructor, and a trivial destructor.
 
 \pnum
 The result of

source/lib-intro.tex

@@ -2931,8 +2931,8 @@
 
 \pnum
 This document explicitly requires that certain standard library functions are
-\tcode{constexpr}\iref{dcl.constexpr}. An implementation shall not declare
-any standard library function signature as \tcode{constexpr} except for those where
+\keyword{constexpr}\iref{dcl.constexpr}. An implementation shall not declare
+any standard library function signature as \keyword{constexpr} except for those where
 it is explicitly required.
 Within any header that provides any non-defining declarations of constexpr
 functions or constructors an implementation shall provide corresponding definitions.

source/numerics.tex

@@ -1198,7 +1198,7 @@
 conj                  proj
 imag                  real
 \end{codeblock}
-where \tcode{norm}, \tcode{conj}, \tcode{imag}, and \tcode{real} are \tcode{constexpr} overloads.
+where \tcode{norm}, \tcode{conj}, \tcode{imag}, and \tcode{real} are \keyword{constexpr} overloads.
 
 \pnum
 \indextext{overloads!floating-point}%
@@ -1358,7 +1358,7 @@
 
 \pnum
 \remarks
-This function is \tcode{constexpr} if and only if
+This function is \keyword{constexpr} if and only if
 \tcode{To}, \tcode{From}, and the types of all subobjects
 of \tcode{To} and \tcode{From} are types \tcode{T} such that:
 \begin{itemize}

source/overloading.tex

@@ -3826,7 +3826,7 @@
 the constraints described above, they are ordinary namespace-scope functions and
 function templates. In particular, they are looked up like ordinary functions
 and function templates and they follow the same overload resolution rules. Also,
-they can be declared \tcode{inline} or \tcode{constexpr},
+they can be declared \tcode{inline} or \keyword{constexpr},
 they can have internal, module, or external linkage,
 they can be called explicitly, their addresses can be
 taken, etc.

source/statements.tex

@@ -114,7 +114,7 @@
 \pnum
 In the \grammarterm{decl-specifier-seq} of a \grammarterm{condition}, each
 \grammarterm{decl-specifier} shall be either a \grammarterm{type-specifier}
-or \tcode{constexpr}.
+or \keyword{constexpr}.
 
 \rSec1[stmt.label]{Labeled statement}%
 \indextext{statement!labeled}
@@ -626,7 +626,7 @@
 \pnum
 In the \grammarterm{decl-specifier-seq} of a \grammarterm{for-range-declaration},
 each \grammarterm{decl-specifier} shall be either a \grammarterm{type-specifier}
-or \tcode{constexpr}. The \grammarterm{decl-specifier-seq} shall not define a
+or \keyword{constexpr}. The \grammarterm{decl-specifier-seq} shall not define a
 class or enumeration.%
 \indextext{statement!iteration|)}