new content for extended aggregate initialization

Author: mikeblome

docs/cpp/constructors-cpp.md

@@ -1,6 +1,6 @@
 ---
 title: "Constructors (C++)"
-ms.date: "11/19/2019"
+ms.date: "12/27/2019"
 helpviewer_keywords: ["constructors [C++]", "objects [C++], creating", "instance constructors"]
 ms.assetid: 3e9f7211-313a-4a92-9584-337452e061a9
 ---
@@ -469,6 +469,52 @@ If a constructor throws an exception, the order of destruction is the reverse of
 
 1. If the constructor is non-delegating, all fully-constructed base class objects and members are destroyed. However, because the object itself is not fully constructed, the destructor is not run.
 
+## <a name="extended_aggregate"></a> Derived constructors and extended aggregate initialization
+
+If the constructor of a base class is non-public, but accessible to a derived class, then under **/std:c++17** mode in Visual Studio 2017 version 15.7 and later you can't use empty braces to initialize an object of the derived type.
+
+The following example shows C++14 conformant behavior:
+
+```cpp
+struct Derived;
+
+struct Base {
+    friend struct Derived;
+private:
+    Base() {}
+};
+
+struct Derived : Base {};
+
+Derived d1; // OK. No aggregate init involved.
+Derived d2 {}; // OK in C++14: Calls Derived::Derived()
+               // which can call Base ctor.
+```
+
+In C++17, `Derived` is now considered an aggregate type. It means that the initialization of `Base` via the private default constructor happens directly, as part of the extended aggregate initialization rule. Previously, the `Base` private constructor was called via the `Derived` constructor, and it succeeded because of the friend declaration.
+
+The following example shows C++17 behavior in Visual Studio 2017 version 15.7 in **/std:c++17** mode:
+
+```cpp
+struct Derived;
+
+struct Base {
+    friend struct Derived;
+private:
+    Base() {}
+};
+
+struct Derived : Base {
+    Derived() {} // add user-defined constructor
+                 // to call with {} initialization
+};
+
+Derived d1; // OK. No aggregate init involved.
+
+Derived d2 {}; // error C2248: 'Base::Base': cannot access
+               // private member declared in class 'Base'
+```
+
 ### Constructors for classes that have multiple inheritance
 
 If a class is derived from multiple base classes, the base class constructors are invoked in the order in which they are listed in the declaration of the derived class:

docs/cpp/initializing-classes-and-structs-without-constructors-cpp.md

@@ -131,6 +131,8 @@ kr->add_d({ 4.5 });
 return { 4.5 };
 ```
 
+In **/std:c++17** mode, the rules for empty brace initialization are slightly more restrictive. See [Derived constructors and extended aggregate initialization](constructors-cpp.md#extended_aggregate).
+
 ## initializer_list constructors
 
 The [initializer_list Class](../standard-library/initializer-list-class.md) represents a list of objects of a specified type that can be used in a constructor, and in other contexts. You can construct an initializer_list by using brace initialization:

docs/overview/cpp-conformance-improvements.md

@@ -1235,49 +1235,6 @@ For more information, see [Constructors](../cpp/constructors-cpp.md#inheriting_c
 
 [P0017R1](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/p0017r1.html)
 
-If the constructor of a base class is non-public, but accessible to a derived class, then under **/std:c++17** mode in Visual Studio version 15.7 you can no longer use empty braces to initialize an object of the derived type.
-
-The following example shows C++14 conformant behavior:
-
-```cpp
-struct Derived;
-
-struct Base {
-    friend struct Derived;
-private:
-    Base() {}
-};
-
-struct Derived : Base {};
-
-Derived d1; // OK. No aggregate init involved.
-Derived d2 {}; // OK in C++14: Calls Derived::Derived()
-               // which can call Base ctor.
-```
-
-In C++17, `Derived` is now considered an aggregate type. It means that the initialization of `Base` via the private default constructor happens directly, as part of the extended aggregate initialization rule. Previously, the `Base` private constructor was called via the `Derived` constructor, and it succeeded because of the friend declaration.
-
-The following example shows C++17 behavior in Visual Studio version 15.7 in **/std:c++17** mode:
-
-```cpp
-struct Derived;
-
-struct Base {
-    friend struct Derived;
-private:
-    Base() {}
-};
-
-struct Derived : Base {
-    Derived() {} // add user-defined constructor
-                 // to call with {} initialization
-};
-
-Derived d1; // OK. No aggregate init involved.
-
-Derived d2 {}; // error C2248: 'Base::Base': cannot access
-               // private member declared in class 'Base'
-```
 
 ### C++17: Declaring non-type template parameters with auto