Clarify functions, member functions, and constructors

source/compatibility.tex

@@ -1511,7 +1511,7 @@
 Remove deprecated type traits.
 \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
+trait provided no way to detect which subset of member
 functions of a type were declared \keyword{constexpr}. The \tcode{result_of}
 trait had a surprising syntax that did not directly support function types.
 It has been superseded by the \tcode{invoke_result} trait.

source/containers.tex

@@ -641,7 +641,7 @@
 allocator argument, then the allocator type must support value-initialization.
 \end{note}
 A copy of this allocator is used for any memory allocation and element construction
-performed, by these constructors and by all member functions,
+performed, by these constructors and by all other member functions,
 during the lifetime of each container object
 or until the allocator is replaced. The allocator may be replaced only via assignment or
 \tcode{swap()}. Allocator replacement is performed by
@@ -17058,7 +17058,7 @@
 containers of different sizes is undefined.
 
 \pnum
-The effect of calling a constructor or member function
+The effect of calling a member function
 that takes a \tcode{sorted_unique_t} argument with
 a container, containers, or range
 that is not sorted with respect to \tcode{key_comp()}, or
@@ -18255,7 +18255,7 @@
 with containers of different sizes is undefined.
 
 \pnum
-The effect of calling a constructor or member function
+The effect of calling a member function
 that takes a \tcode{sorted_equivalent_t} argument
 with a container, containers, or range
 that are not sorted with respect to \tcode{key_comp()} is undefined.
@@ -18887,7 +18887,7 @@
 as \tcode{KeyContainer::value_type}.
 
 \pnum
-The effect of calling a constructor or member function
+The effect of calling a member function
 that takes a \tcode{sorted_unique_t} argument
 with a range that is not sorted with respect to \tcode{key_comp()}, or
 that contains equal elements, is undefined.
@@ -19557,7 +19557,7 @@
 as \tcode{KeyContainer::value_type}.
 
 \pnum
-The effect of calling a constructor or member function
+The effect of calling a member function
 that takes a \tcode{sorted_equivalent_t} argument with a range
 that is not sorted with respect to \tcode{key_comp()} is undefined.
 

source/declarations.tex

@@ -906,7 +906,7 @@
 declares that function to be
 a \defnx{constexpr function}{specifier!\idxcode{constexpr}!function}.
 \begin{note}
-A function or constructor declared with the \keyword{consteval} specifier
+A function declared with the \keyword{consteval} specifier
 is an immediate function\iref{expr.const}.
 \end{note}
 A destructor, an allocation function, or a deallocation function
@@ -5372,7 +5372,7 @@
 \end{itemize}
 \begin{note}
 Aggregate initialization does not allow accessing
-protected and private base class' members or constructors.
+protected and private base class' members, including constructors.
 \end{note}
 
 \pnum

source/expressions.tex

@@ -3535,7 +3535,7 @@
 \grammarterm{initializer-clause}{s} which
 constitute the arguments to the function.
 \begin{note}
-If the postfix expression is a function or member function name,
+If the postfix expression is a function name,
 the appropriate function and the validity of the call
 are determined according to the rules in~\ref{over.match}.
 \end{note}
@@ -3564,7 +3564,7 @@
 
 \pnum
 \begin{note}
-If a function or member function name is used, and name
+If a function name is used, and name
 lookup\iref{basic.lookup} does not find a declaration of that name,
 the program is ill-formed. No function is implicitly declared by such a
 call.
@@ -8601,7 +8601,7 @@
 in an immediate-escalating function.
 
 \pnum
-An \defnadj{immediate}{function} is a function or constructor that is
+An \defnadj{immediate}{function} is a function that is
 \begin{itemize}
 \item
 declared with the \keyword{consteval} specifier, or

source/lib-intro.tex

@@ -3732,7 +3732,7 @@
 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.
+functions an implementation shall provide corresponding definitions.
 
 \rSec3[algorithm.stable]{Requirements for stable algorithms}
 

source/templates.tex

@@ -6184,10 +6184,8 @@
 a member of a class template, or a class member template,
 the variable or class that is explicitly specialized
 shall be specified with a \grammarterm{simple-template-id}.
-In the explicit specialization declaration for a function template or
-a member function template,
-the function or member function explicitly specialized may be specified
-using a \grammarterm{template-id}.
+In the explicit specialization declaration for a function template,
+the function explicitly specialized may be specified using a \grammarterm{template-id}.
 \begin{example}
 \begin{codeblock}
 template<class T = int> struct A {
@@ -6555,7 +6553,7 @@
 \end{example}
 
 \pnum
-If a function template or a member function template specialization is used in
+If a function template specialization is used in
 a way that involves overload resolution,
 a declaration of the specialization is implicitly instantiated\iref{temp.over}.
 

source/utilities.tex

@@ -805,7 +805,7 @@
 \end{codeblock}
 
 \pnum
-Constructors and member functions of \tcode{pair} do not throw exceptions unless one of
+Member functions of \tcode{pair} do not throw exceptions unless one of
 the element-wise operations specified to be called for that operation
 throws an exception.