Merge pull request MicrosoftDocs#5097 from MicrosoftDocs/FromPublicMasterBranch

PhilKang0704 · web-flow · commit 94b24fbc048a · 2023-11-16T03:19:32.000+08:00
Confirm merge from FromPublicMasterBranch to main to sync with https://github.com/MicrosoftDocs/cpp-docs (branch main)
diff --git a/docs/build/reference/microsoft-extensions-to-c-and-cpp.md b/docs/build/reference/microsoft-extensions-to-c-and-cpp.md
@@ -205,7 +205,6 @@ The C compiler supports the following data declaration and definition features.
    //     error C2059: syntax error: 'empty declaration'
    ```
 
-
 ## Intrinsic floating-point functions
 
 Both the x86 C++ compiler and C compiler support inline generation of the `atan`, `atan2`, `cos`, `exp`, `log`, `log10`, `sin`, `sqrt`, and `tan` functions when **`/Oi`** is specified. These intrinsics don't conform to the standard, because they don't set the `errno` variable.
diff --git a/docs/c-runtime-library/reference/atoi-atoi-l-wtoi-wtoi-l.md b/docs/c-runtime-library/reference/atoi-atoi-l-wtoi-wtoi-l.md
@@ -53,7 +53,7 @@ These functions convert a character string to an integer value (**`atoi`** and *
 
 The *`str`* argument to **`atoi`** and **`_wtoi`** has the following form:
 
-> [*`whitespace`*] [*`sign`*] [*`digits`*]]
+> [*`whitespace`*] [*`sign`*] [*`digits`*]
 
 A *`whitespace`* consists of space or tab characters, which are ignored; *`sign`* is either plus (+) or minus (-); and *`digits`* are one or more digits.
 
diff --git a/docs/c-runtime-library/reference/atol-atol-l-wtol-wtol-l.md b/docs/c-runtime-library/reference/atol-atol-l-wtol-wtol-l.md
@@ -54,7 +54,7 @@ The input string is a sequence of characters that can be interpreted as a numeri
 
 The *`str`* argument to **`atol`** has the following form:
 
-> [*`whitespace`*] [*`sign`*] [*`digits`*]]
+> [*`whitespace`*] [*`sign`*] [*`digits`*]
 
 A *`whitespace`* consists of space or tab characters, which are ignored; *`sign`* is either plus (`+`) or minus (`-`); and *`digits`* are one or more digits.
 
diff --git a/docs/c-runtime-library/reference/fsopen-wfsopen.md b/docs/c-runtime-library/reference/fsopen-wfsopen.md
@@ -91,7 +91,6 @@ The argument *`shflag`* is a constant expression consisting of one of the follow
 | `_SH_DENYRW` | Denies read and write access to the file. |
 | `_SH_DENYWR` | Denies write access to the file. |
 
-
 By default, this function's global state is scoped to the application. To change this behavior, see [Global state in the CRT](../global-state.md).
 
 ### Generic-text routine mappings
diff --git a/docs/code-quality/c26460.md b/docs/code-quality/c26460.md
@@ -24,7 +24,6 @@ struct MyStruct
     void MemberFn2();
 };
 
-
 void Function1_Helper(const MyStruct&);
 void Function1(MyStruct& myStruct) // C26460, see comments below.
 {
diff --git a/docs/cpp/codesnippet/CPP/smart-pointers-modern-cpp_1.cpp b/docs/cpp/codesnippet/CPP/smart-pointers-modern-cpp_1.cpp
@@ -9,7 +9,6 @@ void UseRawPointer()
     delete pSong;   
 }
 
-
 void UseSmartPointer()
 {
     // Declare a smart pointer on stack and pass it the raw pointer.
diff --git a/docs/cpp/noreturn.md b/docs/cpp/noreturn.md
@@ -10,34 +10,49 @@ ms.assetid: 9c6517e5-22d7-4051-9974-3d2200ae4d1d
 
 **Microsoft Specific**
 
-This **`__declspec`** attribute tells the compiler that a function does not return. As a consequence, the compiler knows that the code following a call to a **`__declspec(noreturn)`** function is unreachable.
+The **`__declspec`** attribute tells the compiler that a function does not return. The compiler then knows that the code following a call to a **`__declspec(noreturn)`** function is unreachable.
 
-If the compiler finds a function with a control path that does not return a value, it generates a warning (C4715) or error message (C2202). If the control path cannot be reached due to a function that never returns, you can use **`__declspec(noreturn)`** to prevent this warning or error.
+If the compiler finds a function with a control path that does not return a value, it generates a warning (C4715) or error message (C2202). If the control path cannot be reached due to a function that never returns, use **`__declspec(noreturn)`** to prevent this warning or error.
 
 > [!NOTE]
 > Adding **`__declspec(noreturn)`** to a function that is expected to return can result in undefined behavior.
 
 ## Example
 
-In the following sample,the **`else`** clause does not contain a return statement.  Declaring `fatal` as **`__declspec(noreturn)`** avoids an error or warning message.
+In the following example, when the argument for `isZeroOrPositive` is negative, `fatal` is called. There isn't a return statement in that control path, which results in warning C4715 that not all control paths return a value. Declaring `fatal` as **`__declspec(noreturn)`** mitigates that warning, which is desirable because there is no point in it since `fatal()` terminates the program.
 
 ```cpp
 // noreturn2.cpp
-__declspec(noreturn) extern void fatal () {}
-
-int main() {
-   if(1)
-     return 1;
-   else if(0)
-     return 0;
-   else
-     fatal();
+#include <exception>
+
+__declspec(noreturn) void fatal()
+{
+   std::terminate();
+}
+
+int isZeroOrPositive(int val)
+{
+   if (val == 0)
+   {
+      return 0;
+   }
+   else if (val > 0)
+   {
+      return 1;
+   }
+   // this function terminates if val is negative
+   fatal();
+}
+
+int main()
+{
+   isZeroOrPositive(123);
 }
 ```
 
 **END Microsoft Specific**
 
 ## See also
 
-[__declspec](../cpp/declspec.md)<br/>
+[__declspec](../cpp/declspec.md)\
 [Keywords](../cpp/keywords-cpp.md)
diff --git a/docs/cpp/raw-pointers.md b/docs/cpp/raw-pointers.md
@@ -81,7 +81,6 @@ void func_B(MyClass mc)
     mc.print(); // "Erika, 21"
 }
 
-
 int main()
 {
     // Use the * operator to declare a pointer type
diff --git a/docs/error-messages/compiler-warnings/c4834.md b/docs/error-messages/compiler-warnings/c4834.md
@@ -40,7 +40,6 @@ This sample generates C4834, and shows four ways to fix it:
 [[nodiscard]]
 int square_of(int i) { return i * i; }
 
-
 int main()
 {
     square_of(42); // warning C4834: discarding return value of function with 'nodiscard' attribute
diff --git a/docs/overview/cpp-conformance-improvements.md b/docs/overview/cpp-conformance-improvements.md
@@ -119,6 +119,111 @@ namespace Gui
 }
 ```
 
+## <a name="improvements_178"></a> Conformance improvements in Visual Studio 2022 version 17.8
+
+Visual Studio 2022 version 17.8 contains the following conformance improvements, bug fixes, and behavior changes in the Microsoft C/C++ compiler.
+
+### /FU issues an error
+
+The C compiler used to accept the `/FU` option, even though it hasn't support managed compilation for some time. It now issues an error. Projects that pass this option need to restrict it to C++/CLI projects only.
+
+### C++ Standard Library
+
+The C++23 named modules `std` and `std.compat` are now available when compiling with `/std:c++20`.
+
+For a broader summary of changes made to the C++ Standard Library, see [STL Changelog VS 2022 17.8](https://github.com/microsoft/STL/wiki/Changelog#vs-2022-178-preview-3).
+
+## <a name="improvements_177"></a> Conformance improvements in Visual Studio 2022 version 17.7
+
+Visual Studio 2022 version 17.7 contains the following highlighted conformance improvements, bug fixes, and behavior changes in the Microsoft C/C++ compiler.
+
+### Added `/std:clatest` to the C compiler
+
+This switch behaves like the `/std:c++latest` switch for the C++ compiler. The switch enables all currently implemented compiler and standard library features proposed for the next draft C standard, as well as some in-progress and experimental features.
+
+### C++ Standard Library
+
+The `<print>` library is now supported. See [P2093R14 Formatted output](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2093r14.html).
+
+Implemented `views::cartesian_product`.
+
+For a broader summary of changes made to the Standard Template Library, see [STL Changelog VS 2022 17.7](https://github.com/microsoft/STL/wiki/Changelog#vs-2022-177).
+
+### `using` conformance
+
+Previously, the `using` directive could cause names from used namespaces to remain visible when they shouldn't. This could cause unqualified name lookup to find a name in a namespace even when there's no `using` directive active.
+
+Here are some examples of the new and old behavior.\
+References in the following comments to "(1)" mean the call to `f<K>(t)` in namespace `A`:
+
+```cpp
+namespace A
+{ 
+    template<typename K, typename T> 
+    auto f2(T t)
+    { 
+        return f<K>(t); // (1) Unqualified lookup should not find anything
+    } 
+} 
+
+namespace B
+{ 
+    template<typename K, typename T> 
+    auto f(T t) noexcept
+    { // Previous behavior: This function was erroneously found during unqualified lookup at (1)
+        return A::f2<K>(t); 
+    } 
+} 
+
+namespace C
+{ 
+    template<typename T> 
+    struct S {}; 
+
+    template<typename, typename U> 
+    U&& f(U&&) noexcept; // New behavior: ADL at (1) correctly finds this function 
+} 
+
+namespace D
+{ 
+    using namespace B; 
+
+    void h()
+    { 
+        D::f<void>(C::S<int>()); 
+    } 
+} 
+```
+
+The same underlying issue can cause code that previously compiled to now be rejected:
+
+```cpp
+#include <memory>
+namespace Addin {}
+namespace Gui
+{
+    using namespace Addin;
+}
+
+namespace Addin
+{
+    using namespace std;
+}
+
+// This previously compiled, but now emits error C2065 for undeclared name 'allocator'.
+// This should be declared as 'std::allocator<T*>' because the using directive nominating
+// 'std' is not active at this point.
+template <class T, class U = allocator<T*>>
+class resource_list
+{
+};
+
+namespace Gui
+{
+    typedef resource_list<int> intlist;
+}
+```
+
 ## <a name="improvements_176"></a> Conformance improvements in Visual Studio 2022 version 17.6
 
 Visual Studio 2022 version 17.6 contains the following conformance improvements, bug fixes, and behavior changes in the Microsoft C/C++ compiler.
diff --git a/docs/overview/what-s-new-for-visual-cpp-in-visual-studio.md b/docs/overview/what-s-new-for-visual-cpp-in-visual-studio.md
@@ -29,6 +29,22 @@ Briefly, some of the new features are:
 For a more comprehensive summary of new C++ features in Visual Studio 17.8, see [What’s New for C++ Developers in Visual Studio 2022 17.8](https://devblogs.microsoft.com/cppblog/whats-new-for-cpp-developers-in-visual-studio-2022-17-8).\
 For a summary of new features in the Visual Studio 17.8 IDE, see [Visual Studio 2022 version 17.8 Release Notes](/visualstudio/releases/2022/release-notes).
 
+## What's new for C++ in Visual Studio version 17.8
+
+Briefly, some of the new features are:
+* C++ structured diagnostics in the Output window and a new problem details window that provides more information about the error. For more information, see [Structured SARIF Output](../build/reference/sarif-output.md) and [Problem Details Window](/visualstudio/ide/reference/problem-details-window).
+* A feature that lets you visualize the size and alignment of your classes, structs, unions, base types, or enums even before the code is compiled. Hover over the identifier and a Quick Info displays the size and alignment information.
+* A feature that suggests when to mark member functions `const` because they don’t modify the object’s state. Hover over a member function and click the light bulb icon to mark the function as `const`.
+* Visual Studio now prompts you to mark global functions as static via a screwdriver icon that will appear by the function name. Click the screwdriver icon to mark the function as static.
+* Unused #include directives are dimmed in the editor. You can hover over a dimmed include and use the light bulb menu to either remove that include or all unused includes. You can also add `#include` directives for entities that are currently indirectly included via other headers. For more information, see [Clean up C/C++ includes in Visual Studio](../ide/include-cleanup-overview.md).
+* More Unreal Engine support:
+    * Unreal Engine Test Adapter lets you discover, run, manage, and debug your Unreal Engine tests without leaving the Visual Studio IDE.
+    * With Unreal Engine Code Snippets, you can find common Unreal Engine constructs as snippets in your member list.
+    * Build Insights is now integrated with Visual Studio 2022 and works with MSBuild and CMake projects using MSVC. You can now see additional information about the compilation of a function such as how long it took to compile and the number of ForceInlines.
+* Remote Linux unit test support now lets you run your CTest and GTest tests on your remote Linux machines from Visual Studio’s Test Explorer, just like your local tests.
+
+For a summary of new features in the Visual Studio 17.8 IDE, see [Visual Studio 2022 version 17.8 Release Notes](/visualstudio/releases/2022/release-notes).
+
 ## What's new for C++ in Visual Studio version 17.7
 
 For a summary of new C++ features in Visual Studio 17.7, see [What’s New for C++ Developers in Visual Studio 2022 17.7](https://devblogs.microsoft.com/cppblog/whats-new-for-c-developers-in-visual-studio-2022-17-7/).
diff --git a/docs/parallel/concrt/codesnippet/CPP/walkthrough-creating-a-dataflow-agent_2.cpp b/docs/parallel/concrt/codesnippet/CPP/walkthrough-creating-a-dataflow-agent_2.cpp
@@ -5,7 +5,6 @@ void run()
    size_t negative_count = 0;
    size_t positive_count = 0;
 
-
    // Write the counts to the message buffers.
    send(_negatives, negative_count);
    send(_positives, positive_count);
diff --git a/docs/standard-library/range-adaptors.md b/docs/standard-library/range-adaptors.md
@@ -724,7 +724,6 @@ The type of the elements to extract from the stream.
 
 A [`basic_istream_view`](basic-istream-view-class.md).
 
-
 This range adaptor is equivalent to `ranges::basic_istream_view<Val, typename U::char_type, typename U::traits_type>(str)`, where `U` is the type of `str`.
 
 ### Example: `istream`

Original file line number	Diff line number	Diff line change
`@@ -24,7 +24,6 @@ struct MyStruct`
`24`	`24`	`void MemberFn2();`
`25`	`25`	`};`
`26`	`26`
`27`		`-`
`28`	`27`	`void Function1_Helper(const MyStruct&);`
`29`	`28`	`void Function1(MyStruct& myStruct) // C26460, see comments below.`
`30`	`29`	`{`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,6 @@ void UseRawPointer()`
`9`	`9`	`delete pSong;`
`10`	`10`	`}`
`11`	`11`
`12`		`-`
`13`	`12`	`void UseSmartPointer()`
`14`	`13`	`{`
`15`	`14`	`// Declare a smart pointer on stack and pass it the raw pointer.`
Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,6 @@ void func_B(MyClass mc)`
`81`	`81`	`mc.print(); // "Erika, 21"`
`82`	`82`	`}`
`83`	`83`
`84`		`-`
`85`	`84`	`int main()`
`86`	`85`	`{`
`87`	`86`	`// Use the * operator to declare a pointer type`
Original file line number	Diff line number	Diff line change
`@@ -40,7 +40,6 @@ This sample generates C4834, and shows four ways to fix it:`
`40`	`40`	`[[nodiscard]]`
`41`	`41`	`int square_of(int i) { return i * i; }`
`42`	`42`
`43`		`-`
`44`	`43`	`int main()`
`45`	`44`	`{`
`46`	`45`	`square_of(42); // warning C4834: discarding return value of function with 'nodiscard' attribute`