Merge pull request #4730 from MicrosoftDocs/main

12/21 AM Publish

Author: huypub

docs/overview/cpp-conformance-improvements-2019.md

@@ -66,7 +66,16 @@ To avoid the errors, insert a space in the offending line before the final angle
 
 ### References to types with mismatched cv-qualifiers
 
-Previously, MSVC allowed direct binding of a reference from a type with mismatched cv-qualifiers below the top level. This binding could allow modification of supposedly const data referred to by the reference. The compiler now creates a temporary, as required by the standard. In Visual Studio 2017, the following code compiles without warnings. In Visual Studio 2019, the compiler raises warning C4172:
+>[!Note]
+> This change only affects Visual Studio 2019 versions 16.0 through 16.8. It was reverted starting in Visual Studio 2019 version 16.9
+
+Previously, MSVC allowed direct binding of a reference from a type with mismatched cv-qualifiers below the top level. This binding could allow modification of supposedly const data referred to by the reference.
+
+The compiler for Visual Studio 2019 versions 16.0 through 16.8 instead creates a temporary, as was required by the standard at that time. Later, the standard retroactively changed making the previous behavior of Visual Studio 2017 and earlier correct, and the behavior of Visual Studio 2019 version 16.0 through 16.8 wrong. Consequently, this change was reverted starting in Visual Studio 2019 version 16.9.
+
+See [Similar types and reference binding](#similar-types-and-reference-binding) for a related change.
+
+As an example, in Visual Studio 2017, the following code compiles without warnings. In Visual Studio 2019 versions 16.0 through 16.8, the compiler raises warning C4172. Starting with Visual Studio 2019 version 16.9, the code once again compiles without warnings:
 
 ```cpp
 struct X
@@ -2067,10 +2076,14 @@ With this change, a destructor is also potentially throwing if it has a virtual
 
 ### Similar types and reference binding
 
-Core Working Group issue [CWG 2352](https://wg21.link/cwg2352) deals with an inconsistency between the reference binding rules and changes to type similarity. The inconsistency was introduced in earlier Defect Reports (such as [CWG 330](https://wg21.link/cwg330)). With this change, code that previously bound a reference to a temporary may now bind directly when the types involved differ only by cv-qualifiers.
+Core Working Group issue [CWG 2352](https://wg21.link/cwg2352) deals with an inconsistency between the reference binding rules and changes to type similarity. The inconsistency was introduced in earlier Defect Reports (such as [CWG 330](https://wg21.link/cwg330)). This affected Visual Studio 2019 versions 16.0 through 16.8.
+
+With this change, starting in Visual Studio 2019 version 16.9, code that previously bound a reference to a temporary in Visual Studio 2019 version 16.0 throught 16.8 may now bind directly when the types involved differ only by cv-qualifiers.
 
 Visual Studio 2019 version 16.9 implements the changed behavior in all **`/std`** compiler modes. It's potentially a source breaking change.
 
+See [References to types with mismatched cv-qualifiers](#references-to-types-with-mismatched-cv-qualifiers) for a related change.
+
 This sample shows the changed behavior:
 
 ```cpp

docs/standard-library/common-view-class.md

@@ -32,7 +32,7 @@ For a description of the following entries, see [View class characteristics](vie
 | **Range adaptor** | [`views::common`](range-adaptors.md#common) |
 | **Underlying range** | Must satisfy [`forward_range`](range-concepts.md#forward_range) or higher |
 | **Element type** | Same as the underlying range |
-| **View iterator category** | Supports `forward_range` or [`random_access_range`](range-concepts.md#random_access_range) when the underlying range satisfies `random_access_range` and [`sized_range`](range-concepts.md#sized_range) |
+| **View iterator category** | `forward_range` or [`random_access_range`](range-concepts.md#random_access_range) when the underlying range satisfies `random_access_range` and [`sized_range`](range-concepts.md#sized_range) |
 | **Sized** | Only if the underlying range satisfies [`sized_range`](range-concepts.md#sized_range) |
 | **Is `const`-iterable** | Only if the underlying range is `const` iterable |
 | **Common range** | Yes |

docs/standard-library/drop-while-view-class.md

@@ -36,7 +36,7 @@ For a description of the following entries, see [View class characteristics](vie
 | Characteristic | Description |
 |--|--|
 | **Range adaptor** | [`views::drop_while`](range-adaptors.md#drop_while) |
-| **Underlying range** | Must satisfy [`forward_range`](range-concepts.md#forward_range) or higher and the underlying range's iterators must model `sized_sentinel_for` |
+| **Underlying range** | Must satisfy [`forward_range`](range-concepts.md#forward_range) or higher and the underlying range's iterators must model [`sized_sentinel_for`](iterator-concepts.md#sized_sentinel_for) |
 | **Element type** | Same as the underlying range |
 | **View iterator category** | Same as the underlying range |
 | **Sized** | Only if the underlying range satisfies [`random_access_range`](range-concepts.md#random_access_range) |

docs/standard-library/empty-view-class.md

@@ -32,7 +32,7 @@ For a description of the following entries, see [View class characteristics](vie
 | **Range adaptor** | [`views::empty`](range-adaptors.md#empty) |
 | **Underlying range** | None |
 | **Element type** | As specified when the `empty_view` is created |
-| **View iterator category** | Supports `contiguous_range` |
+| **View iterator category** | `contiguous_range` |
 | **Sized** | Yes. Always returns 0 |
 | **Is `const`-iterable** | Yes |
 | **Common range** | Yes |
@@ -82,7 +82,7 @@ inline constexpr empty_view<T> empty{};
 ### Parameters
 
 *`T`*\
- The type of the underlying element, of which there are none.
+ The type of the underlying element, of which there is none.
 
 ### Remarks
 

docs/standard-library/filter-view-class.md

@@ -35,7 +35,7 @@ For a description of the following entries, see [View class characteristics](vie
 | **Range adaptor** | [`views::filter`](range-adaptors.md#filter) |
 | **Underlying range** | Must satisfy [`input_range`](range-concepts.md#input_range) or higher |
 | **Element type** | Same as the underlying range |
-| **View iterator category** | Supports `input_range`, [`forward_range`](range-concepts.md#forward_range), or [`bidirectional_range`](range-concepts.md#bidirectional_range) depending on the underlying range |
+| **View iterator category** | `input_range`, [`forward_range`](range-concepts.md#forward_range), or [`bidirectional_range`](range-concepts.md#bidirectional_range) depending on the underlying range |
 | **Sized** | No |
 | **Is `const`-iterable** | No |
 | **Common range** | Only if the underlying range satisfies [`common_range`](range-concepts.md#common_range) |