diff --git a/source/derived.tex b/source/derived.tex index 8ea764d550..87ab9c7f1d 100644 --- a/source/derived.tex +++ b/source/derived.tex @@ -866,7 +866,7 @@ \end{codeblock} Both \tcode{VB1::f} and \tcode{VB2::f} override \tcode{A::f} but there is no overrider of both of them in class \tcode{Error}. This example is -therefore ill-formed. Class \tcode{Okay} is well formed, however, +therefore ill-formed. Class \tcode{Okay} is well-formed, however, because \tcode{Okay::f} is a final overrider. \end{example} diff --git a/source/numerics.tex b/source/numerics.tex index a4cd5ec728..aa7a76e1fa 100644 --- a/source/numerics.tex +++ b/source/numerics.tex @@ -9673,7 +9673,7 @@ \pnum \requires \tcode{T} shall be convertible to \tcode{ForwardIterator}'s value type. The expression \tcode{++val}, where \tcode{val} has type \tcode{T}, shall -be well formed. +be well-formed. \pnum \effects For each element referred to by the iterator \tcode{i} in the range diff --git a/source/special.tex b/source/special.tex index c780f8dd48..e4aa5cd374 100644 --- a/source/special.tex +++ b/source/special.tex @@ -40,7 +40,7 @@ B& operator=(const B &); }; B& B::operator=(const B& s) { - this->A::operator=(s); // well formed + this->A::operator=(s); // well-formed return *this; } \end{codeblock} diff --git a/source/utilities.tex b/source/utilities.tex index 3e1176a7e9..6abe1b51c8 100644 --- a/source/utilities.tex +++ b/source/utilities.tex @@ -4064,7 +4064,7 @@ unless \tcode{is_constructible_v<$\tcode{T}_j$, T>} is \tcode{true}, and unless the expression \tcode{\placeholdernc{FUN}(}\brk\tcode{std::forward(t))} (with \tcode{\placeholdernc{FUN}} -being the above-mentioned set of imaginary functions) is well formed. +being the above-mentioned set of imaginary functions) is well-formed. \pnum \begin{note} @@ -4352,7 +4352,7 @@ \tcode{is_assignable_v<$\tcode{T}_j$\&, T> \&\& is_constructible_v<$\tcode{T}_j$, T>} is \tcode{true}, and unless the expression \tcode{\placeholdernc{FUN}(std::forward(t))} (with \tcode{\placeholdernc{FUN}} being the above-mentioned set of imaginary functions) -is well formed. +is well-formed. \pnum \begin{note} @@ -8369,9 +8369,9 @@ \pnum \requires If \tcode{E} is not a reference type, construction of the deleter from an rvalue of type -\tcode{E} shall be well formed and shall not throw an exception. +\tcode{E} shall be well-formed and shall not throw an exception. Otherwise, \tcode{E} is a reference type and construction of the deleter from an -lvalue of type \tcode{E} shall be well formed and shall not throw an exception. +lvalue of type \tcode{E} shall be well-formed and shall not throw an exception. \pnum \remarks This constructor shall not participate in overload resolution unless: @@ -8407,7 +8407,7 @@ \begin{itemdescr} \pnum -\requires The expression \tcode{get_deleter()(get())} shall be well formed, +\requires The expression \tcode{get_deleter()(get())} shall be well-formed, shall have well-defined behavior, and shall not throw exceptions. \begin{note} The use of \tcode{default_delete} requires \tcode{T} to be a complete type. \end{note} @@ -8578,7 +8578,7 @@ \begin{itemdescr} \pnum -\requires The expression \tcode{get_deleter()(get())} shall be well formed, shall have +\requires The expression \tcode{get_deleter()(get())} shall be well-formed, shall have well-defined behavior, and shall not throw exceptions. \pnum @@ -9654,7 +9654,7 @@ it is unspecified whether this member function is declared. If it is declared, it is unspecified what its return type is, except that the declaration (although not necessarily the -definition) of the function shall be well formed. +definition) of the function shall be well-formed. \end{itemdescr} \indexlibrarymember{operator->}{shared_ptr}% @@ -9671,7 +9671,7 @@ it is unspecified whether this member function is declared. If it is declared, it is unspecified what its return type is, except that the declaration (although not necessarily the definition) -of the function shall be well formed. +of the function shall be well-formed. \end{itemdescr} \indexlibrarymember{operator[]}{shared_ptr}% @@ -9689,7 +9689,7 @@ it is unspecified whether this member function is declared. If it is declared, it is unspecified what its return type is, except that the declaration (although not necessarily the definition) -of the function shall be well formed. +of the function shall be well-formed. \pnum\throws Nothing. \end{itemdescr} @@ -10159,7 +10159,7 @@ \begin{itemdescr} \pnum \requires The expression \tcode{static_cast((U*)nullptr)} shall -be well formed. +be well-formed. \pnum \returns @@ -10185,7 +10185,7 @@ \begin{itemdescr} \pnum \requires The expression \tcode{dynamic_cast((U*)nullptr)} -shall be well formed and shall have well-defined behavior. +shall be well-formed and shall have well-defined behavior. \pnum \returns @@ -10212,7 +10212,7 @@ \begin{itemdescr} \pnum \requires The expression \tcode{const_cast((U*)nullptr)} shall -be well formed. +be well-formed. \pnum \returns @@ -10237,7 +10237,7 @@ \begin{itemdescr} \pnum \requires The expression \tcode{reinterpret_cast((U*)nullptr)} -shall be well formed. +shall be well-formed. \pnum\returns \begin{codeblock} @@ -11254,7 +11254,7 @@ with allocator \tcode{resource()} (see~\ref{allocator.uses.construction}) and constructor arguments \tcode{std::forward(args)...} is well-formed. \begin{note} -Uses-allocator construction is always well formed +Uses-allocator construction is always well-formed for types that do not use allocators.\end{note} \pnum @@ -14371,7 +14371,7 @@ if the expression \tcode{\placeholdernc{INVOKE}(declval(), declval()...)}, considered as an unevaluated operand\iref{expr}, is -well formed\iref{func.require}. +well-formed\iref{func.require}. \pnum The \tcode{function} class template is a call @@ -16266,7 +16266,7 @@ \tcode{template }\br \tcode{struct is_invocable;} & The expression \tcode{\placeholdernc{INVOKE}(declval(), declval()...)} - is well formed when treated as an unevaluated operand & + is well-formed when treated as an unevaluated operand & \tcode{Fn} and all types in the parameter pack \tcode{ArgTypes} shall be complete types, \cv{}~\tcode{void}, or arrays of unknown bound. \\ \rowsep @@ -16275,7 +16275,7 @@ \tcode{template }\br \tcode{struct is_invocable_r;} & The expression \tcode{\placeholdernc{INVOKE}(declval(), declval()...)} - is well formed when treated as an unevaluated operand & + is well-formed when treated as an unevaluated operand & \tcode{Fn}, \tcode{R}, and all types in the parameter pack \tcode{ArgTypes} shall be complete types, \cv{}~\tcode{void}, or arrays of unknown bound. \\ \rowsep @@ -16677,7 +16677,7 @@ \tcode{struct invoke_result;} & If the expression \tcode{\placeholdernc{INVOKE}(declval(), declval()...)} - is well formed when treated as an unevaluated operand\iref{expr}, + is well-formed when treated as an unevaluated operand\iref{expr}, the member typedef \tcode{type} names the type \tcode{decltype(\placeholdernc{INVOKE}(declval(), declval()...))}; otherwise, there shall be no member \tcode{type}. Access checking is