Address complaint in cpp-docs 3554 (#3950)

Author: Colin Robertson

docs/cpp/expressions-with-unary-operators.md

@@ -9,66 +9,63 @@ ms.assetid: 1217685b-b85d-4b48-9ff4-d90f56a26c1b
 
 Unary operators act on only one operand in an expression. The unary operators are as follows:
 
-- [Indirection operator (*)](../cpp/indirection-operator-star.md)
+- [Indirection operator (`*`)](../cpp/indirection-operator-star.md)
 
-- [Address-of operator (&)](../cpp/address-of-operator-amp.md)
+- [Address-of operator (`&`)](../cpp/address-of-operator-amp.md)
 
-- [Unary plus operator (+)](../cpp/unary-plus-and-negation-operators-plus-and.md)
+- [Unary plus operator (`+`)](../cpp/unary-plus-and-negation-operators-plus-and.md)
 
-- [Unary negation operator (-)](../cpp/unary-plus-and-negation-operators-plus-and.md)
+- [Unary negation operator (`-`)](../cpp/unary-plus-and-negation-operators-plus-and.md)
 
-- [Logical negation operator (!)](../cpp/logical-negation-operator-exclpt.md)
+- [Logical negation operator (`!`)](../cpp/logical-negation-operator-exclpt.md)
 
-- [One's complement operator (~)](../cpp/one-s-complement-operator-tilde.md)
+- [One's complement operator (`~`)](../cpp/one-s-complement-operator-tilde.md)
 
-- [Prefix increment operator (++)](../cpp/prefix-increment-and-decrement-operators-increment-and-decrement.md)
+- [Prefix increment operator (`++`)](../cpp/prefix-increment-and-decrement-operators-increment-and-decrement.md)
 
-- [Prefix decrement operator (--)](../cpp/prefix-increment-and-decrement-operators-increment-and-decrement.md)
+- [Prefix decrement operator (`--`)](../cpp/prefix-increment-and-decrement-operators-increment-and-decrement.md)
 
 - [Cast operator ()](../cpp/cast-operator-parens.md)
 
 - [`sizeof` operator](../cpp/sizeof-operator.md)
 
-- [`__uuidof` operator](../cpp/uuidof-operator.md)
-
 - [`alignof` operator](../cpp/alignof-operator.md)
 
+- [`noexcept` expression](../cpp/noexcept-cpp.md)
+
 - [`new` operator](../cpp/new-operator-cpp.md)
 
 - [`delete` operator](../cpp/delete-operator-cpp.md)
 
 These operators have right-to-left associativity. Unary expressions generally involve syntax that precedes a postfix or primary expression.
 
-The following are the possible forms of unary expressions.
-
-- *postfix-expression*
-
-- `++` *unary-expression*
-
-- `--` *unary-expression*
-
-- *unary-operator* *cast-expression*
-
-- **`sizeof`** *unary-expression*
-
-- `sizeof(` *type-name* `)`
-
-- `decltype(` *expression* `)`
-
-- *allocation-expression*
+## Syntax
 
-- *deallocation-expression*
+*`unary-expression`*:\
+  *`postfix-expression`*\
+  **`++`** *`cast-expression`*\
+  **`--`** *`cast-expression`*\
+  *`unary-operator`* *`cast-expression`*\
+  **`sizeof`** *`unary-expression`*\
+  **`sizeof`** **`(`** *`type-id`* **`)`**\
+  **`sizeof`** **`...`** **`(`** *`identifier`* **`)`**\
+  **`alignof`** **`(`** *`type-id`* **`)`**\
+  *`noexcept-expression`*\
+  *`new-expression`*\
+  *`delete-expression`*\
+*`unary-operator`*: one of\
+  **`*`** **`&`** **`+`** **`-`** **`!`** **`~`**
 
-Any *postfix-expression* is considered a *unary-expression*, and because any primary expression is considered a *postfix-expression*, any primary expressions is considered a *unary-expression* also. For more information, see [Postfix Expressions](../cpp/postfix-expressions.md) and [Primary Expressions](../cpp/primary-expressions.md).
+## Remarks
 
-A *unary-operator* consists of one or more of the following symbols: `* & + - ! ~`
+Any *`postfix-expression`* is considered a *`unary-expression`*, and because any *`primary-expression`* is considered a *`postfix-expression`*, any *`primary-expression`* is considered a *`unary-expression`* also. For more information, see [Postfix expressions](../cpp/postfix-expressions.md) and [Primary expressions](../cpp/primary-expressions.md).
 
-The *cast-expression* is a unary expression with an optional cast to change the type. For more information see [Cast Operator: ()](../cpp/cast-operator-parens.md).
+The *`cast-expression`* is a *`unary-expression`* with an optional cast to change the type. For more information, see [Cast operator: `()`](../cpp/cast-operator-parens.md).
 
-An *expression* can be any expression. For more information, see [Expressions](../cpp/expressions-cpp.md).
+The *`noexcept-expression`* is a *`noexcept-specifier`* with a *`constant-expression`* argument. For more information, see [`noexcept`](../cpp/noexcept-cpp.md).
 
-The *allocation-expression* refers to the **`new`** operator. The *deallocation-expression* refers to the **`delete`** operator. For more information, see the links earlier in this topic.
+The *`new-expression`* refers to the **`new`** operator. The *`delete-expression`* refers to the **`delete`** operator. For more information, see [`new` operator](../cpp/new-operator-cpp.md) and [`delete` operator](../cpp/delete-operator-cpp.md).
 
 ## See also
 
-[Types of Expressions](../cpp/types-of-expressions.md)
+[Types of expressions](../cpp/types-of-expressions.md)

docs/cpp/noexcept-cpp.md

@@ -1,30 +1,33 @@
 ---
 description: "Learn more about: noexcept (C++)"
 title: "noexcept (C++)"
-ms.date: "11/19/2019"
+ms.date: 11/30/2021
 f1_keywords: ["noexcept_cpp"]
 ms.assetid: df24edb9-c6a6-4e37-9914-fd5c0c3716a8
 ---
-# noexcept (C++)
+# `noexcept` (C++)
 
 **C++11:** Specifies whether a function might throw exceptions.
 
 ## Syntax
 
-> *noexcept-expression*:\
->     **`noexcept`**\
->     **noexcept(** *constant-expression* **)**
+*`noexcept-specifier`*:\
+  **`noexcept`**\
+  *`noexcept-expression`*\
+  **`throw`** **`(`** **`)`**\
+*`noexcept-expression`*:\
+  **`noexcept`** **`(`** *`constant-expression`* **`)`**
 
 ### Parameters
 
-*constant-expression*<br/>
+*`constant-expression`*\
 A constant expression of type **`bool`** that represents whether the set of potential exception types is empty. The unconditional version is equivalent to `noexcept(true)`.
 
 ## Remarks
 
-A *noexcept expression* is a kind of *exception specification*, a suffix to a function declaration that represents a set of types that might be matched by an exception handler for any exception that exits a function. Unary conditional operator `noexcept(`*constant_expression*`)` where *constant_expression* yields **`true`**, and its unconditional synonym **`noexcept`**, specify that the set of potential exception types that can exit a function is empty. That is, the function never throws an exception and never allows an exception to be propagated outside its scope. The operator `noexcept(`*constant_expression*`)` where *constant_expression* yields **`false`**, or the absence of an exception specification (other than for a destructor or deallocation function), indicates that the set of potential exceptions that can exit the function is the set of all types.
+A *`noexcept-expression`* is a kind of *exception specification*: a suffix to a function declaration that represents a set of types that might be matched by an exception handler for any exception that exits a function. Unary conditional operator `noexcept(constant_expression)` when *`constant_expression`* yields **`true`**, and its unconditional synonym **`noexcept`**, specify that the set of potential exception types that can exit a function is empty. That is, the function never throws an exception and never allows an exception to be propagated outside its scope. The operator `noexcept(constant_expression)` when *`constant_expression`* yields **`false`**, or the absence of an exception specification (other than for a destructor or deallocation function), indicates that the set of potential exceptions that can exit the function is the set of all types.
 
-Mark a function as **`noexcept`** only if all the functions that it calls, either directly or indirectly, are also **`noexcept`** or **`const`**. The compiler does not necessarily check every code path for exceptions that might bubble up to a **`noexcept`** function. If an exception does exit the outer scope of a function marked **`noexcept`**, [std::terminate](../standard-library/exception-functions.md#terminate) is invoked immediately, and there is no guarantee that destructors of any in-scope objects will be invoked. Use **`noexcept`** instead of the dynamic exception specifier `throw()`, which is now deprecated in the standard. We recommended you apply **`noexcept`** to any function that never allows an exception to propagate up the call stack. When a function is declared **`noexcept`**, it enables the compiler to generate more efficient code in several different contexts. For more information, see [Exception specifications](exception-specifications-throw-cpp.md).
+Mark a function as **`noexcept`** only if all the functions that it calls, either directly or indirectly, are also **`noexcept`** or **`const`**. The compiler doesn't necessarily check every code path for exceptions that might bubble up to a **`noexcept`** function. If an exception does exit the outer scope of a function marked **`noexcept`**, [`std::terminate`](../standard-library/exception-functions.md#terminate) is invoked immediately, and there's no guarantee that destructors of any in-scope objects will be invoked. Use **`noexcept`** instead of the dynamic exception specifier `throw()`. The *dynamic exception specification*, or `throw(optional_type_list)` specification, was deprecated in C++11 and removed in C++17, except for `throw()`, which is an alias for `noexcept(true)`. We recommended you apply **`noexcept`** to any function that never allows an exception to propagate up the call stack. When a function is declared **`noexcept`**, it enables the compiler to generate more efficient code in several different contexts. For more information, see [Exception specifications](exception-specifications-throw-cpp.md).
 
 ## Example
 
@@ -42,5 +45,5 @@ T copy_object(const T& obj) noexcept(std::is_pod<T>)
 
 ## See also
 
-[Modern C++ best practices for exceptions and error handling](errors-and-exception-handling-modern-cpp.md)<br/>
-[Exception Specifications (throw, noexcept)](exception-specifications-throw-cpp.md)
+[Modern C++ best practices for exceptions and error handling](errors-and-exception-handling-modern-cpp.md)\
+[Exception specifications (`throw`, `noexcept`)](exception-specifications-throw-cpp.md)