Merge pull request #2502 from mikeblome/mb-type-system

itechedit · web-flow · commit 12e6f23df999 · 2019-11-19T14:44:47.000-08:00
moved type system topics out of modern c++
diff --git a/docs/cpp/algorithms-modern-cpp.md b/docs/cpp/algorithms-modern-cpp.md
@@ -69,6 +69,6 @@ It's no secret that the old CRT `rand()` function has many flaws, which have bee
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)<br/>
diff --git a/docs/cpp/containers-modern-cpp.md b/docs/cpp/containers-modern-cpp.md
@@ -34,6 +34,6 @@ For more information about containers, see [C++ Standard Library Containers](../
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/cpp-type-system-modern-cpp.md b/docs/cpp/cpp-type-system-modern-cpp.md
@@ -1,10 +1,10 @@
 ---
-title: "C++ Type System (Modern C++)"
-ms.date: "11/19/2018"
+title: "C++ type system"
+ms.date: "11/19/2019"
 ms.topic: "conceptual"
 ms.assetid: 553c0ed6-77c4-43e9-87b1-c903eec53e80
 ---
-# C++ Type System (Modern C++)
+# C++ type system
 
 The concept of *type* is very important in C++. Every variable, function argument, and function return value must have a type in order to be compiled. Also, every expression (including literal values) is implicitly given a type by the compiler before it is evaluated. Some examples of types include **int** to store integral values, **double** to store floating-point values (also known as *scalar* data types), or the Standard Library class [std::basic_string](../standard-library/basic-string-class.md) to store text. You can create your own type by defining a **class** or **struct**. The type specifies the amount of memory that will be allocated for the variable (or expression result), the kinds of values that may be stored in that variable, how those values (as bit patterns) are interpreted, and the operations that can be performed on it. This article contains an informal overview of the major features of the C++ type system.
 
@@ -162,6 +162,6 @@ For more information about the C++ type system, see the following topics.
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/errors-and-exception-handling-modern-cpp.md b/docs/cpp/errors-and-exception-handling-modern-cpp.md
@@ -94,7 +94,6 @@ Exception specifications were introduced in C++ as a way to specify the exceptio
 
 ## See also
 
-[How to: Interface Between Exceptional and Non-Exceptional Code](how-to-interface-between-exceptional-and-non-exceptional-code.md)<br/>
-[Welcome Back to C++ (Modern C++)](welcome-back-to-cpp-modern-cpp.md)<br/>
-[C++ Language Reference](cpp-language-reference.md)<br/>
+[How to: Interface Between Exceptional and Non-Exceptional Code](../cpp/how-to-interface-between-exceptional-and-non-exceptional-code.md)<br/>
+[C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/object-lifetime-and-resource-management-modern-cpp.md b/docs/cpp/object-lifetime-and-resource-management-modern-cpp.md
@@ -79,6 +79,6 @@ Use static lifetime sparingly (global static, function local static) because pro
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/objects-own-resources-raii.md b/docs/cpp/objects-own-resources-raii.md
@@ -33,6 +33,6 @@ void g() {
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/pimpl-for-compile-time-encapsulation-modern-cpp.md b/docs/cpp/pimpl-for-compile-time-encapsulation-modern-cpp.md
@@ -53,6 +53,6 @@ Consider whether to add support for non-throwing swap specialization.
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/portability-at-abi-boundaries-modern-cpp.md b/docs/cpp/portability-at-abi-boundaries-modern-cpp.md
@@ -28,6 +28,6 @@ extern "C" {        // functions using explicit "this"
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/smart-pointers-modern-cpp.md b/docs/cpp/smart-pointers-modern-cpp.md
@@ -110,6 +110,6 @@ Class that encapsulates methods for manipulating a list of `CAutoPtr` nodes.
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](welcome-back-to-cpp-modern-cpp.md)<br/>
-[C++ Language Reference](cpp-language-reference.md)<br/>
+[Pointers](pointers-cpp.md)<br/>
+[C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/string-and-i-o-formatting-modern-cpp.md b/docs/cpp/string-and-i-o-formatting-modern-cpp.md
@@ -63,7 +63,7 @@ The following code demonstrates some of the Boost formatting features.
 
 ## See also
 
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)<br/>
 [\<iostream>](../standard-library/iostream.md)<br/>
diff --git a/docs/cpp/type-conversions-and-type-safety-modern-cpp.md b/docs/cpp/type-conversions-and-type-safety-modern-cpp.md
@@ -1,10 +1,10 @@
 ---
-title: "Type Conversions and Type Safety (Modern C++)"
-ms.date: "05/07/2019"
+title: "Type conversions and type safety"
+ms.date: "11/19/2019"
 ms.topic: "conceptual"
 ms.assetid: 629b361a-2ce1-4700-8b5d-ab4f57b245d5
 ---
-# Type Conversions and Type Safety (Modern C++)
+# Type conversions and type safety
 
 This document identifies common type conversion problems and describes how you can avoid them in your C++ code.
 
@@ -172,7 +172,7 @@ The C-style cast operator is identical to the call operator () and is therefore
 
 ## See also
 
-[C++ Type System (Modern C++)](../cpp/cpp-type-system-modern-cpp.md)<br/>
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[C++ type system](../cpp/cpp-type-system-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/cpp/value-types-modern-cpp.md b/docs/cpp/value-types-modern-cpp.md
@@ -1,16 +1,12 @@
 ---
-title: "Value Types (Modern C++)"
-ms.date: "05/07/2019"
+title: "C++ classes as value types"
+ms.date: "11/19/2019"
 ms.topic: "conceptual"
 ms.assetid: f63bb62c-60da-40d5-ac14-4366608fe260
 ---
-# Value Types (Modern C++)
+# C++ classes as value types
 
-C++ classes are by default value types. This topic provides an introductory overview of value types and issues relating to their use.
-
-## Value vs. reference types
-
-As previously stated, C++ classes are by default value types. They can be specified as reference types, which enable polymorphic behavior to support object-oriented programming. Value types are sometimes viewed from the perspective of memory and layout control, whereas reference types are about base classes and virtual functions for polymorphic purposes. By default, value types are copyable, which means there is always a copy constructor and a copy assignment operator. For reference types, you make the class non-copyable (disable the copy constructor and copy assignment operator) and use a virtual destructor, which supports their intended polymorphism. Value types are also about the contents, which, when they are copied, always give you two independent values that can be modified separately. Reference types are about identity - what kind of object is it? For this reason, "reference types" are also referred to as "polymorphic types".
+C++ classes are by default value types. They can be specified as reference types, which enable polymorphic behavior to support object-oriented programming. Value types are sometimes viewed from the perspective of memory and layout control, whereas reference types are about base classes and virtual functions for polymorphic purposes. By default, value types are copyable, which means there is always a copy constructor and a copy assignment operator. For reference types, you make the class non-copyable (disable the copy constructor and copy assignment operator) and use a virtual destructor, which supports their intended polymorphism. Value types are also about the contents, which, when they are copied, always give you two independent values that can be modified separately. Reference types are about identity - what kind of object is it? For this reason, "reference types" are also referred to as "polymorphic types".
 
 If you really want a reference-like type (base class, virtual functions), you need to explicitly disable copying, as shown in the `MyRefType` class in the following code.
 
@@ -104,13 +100,9 @@ If you enable copy construction/assignment, also enable move construction/assign
 
 Some *non-value* types are move-only, such as when you can’t clone a resource, only transfer ownership. Example: `unique_ptr`.
 
-## Section
-
-Content
-
 ## See also
 
-[C++ Type System (Modern C++)](../cpp/cpp-type-system-modern-cpp.md)<br/>
-[Welcome Back to C++ (Modern C++)](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
+[C++ type system](../cpp/cpp-type-system-modern-cpp.md)<br/>
+[Welcome back to C++](../cpp/welcome-back-to-cpp-modern-cpp.md)<br/>
 [C++ Language Reference](../cpp/cpp-language-reference.md)<br/>
 [C++ Standard Library](../standard-library/cpp-standard-library-reference.md)
diff --git a/docs/toc.yml b/docs/toc.yml
@@ -3652,15 +3652,6 @@
               items: 
                 - name: Welcome back to C++ (Modern C++)
                   href: cpp/welcome-back-to-cpp-modern-cpp.md
-                - name: Type system (Modern C++)
-                  expanded: false
-                  items: 
-                    - name: Type system (Modern C++)
-                      href: cpp/cpp-type-system-modern-cpp.md
-                    - name: Value types (Modern C++)
-                      href: cpp/value-types-modern-cpp.md
-                    - name: Type conversions and type safety (Modern C++)
-                      href: cpp/type-conversions-and-type-safety-modern-cpp.md
                 - name: Uniform initialization and delegating constructors
                   href: cpp/uniform-initialization-and-delegating-constructors.md
                 - name: Object lifetime and resource management (Modern C++)
@@ -3713,6 +3704,8 @@
                 - name: Declarations and definitions
                   expanded: false
                   items: 
+                    - name: C++ type system
+                      href: cpp/cpp-type-system-modern-cpp.md
                     - name: Declarations and definitions
                       href: cpp/declarations-and-definitions-cpp.md
                     - name: Overview of declarators
@@ -3856,6 +3849,8 @@
                       href: cpp/floating-limits.md
                 - name: Standard conversions
                   href: cpp/standard-conversions.md
+                - name: Type conversions and type safety
+                  href: cpp/type-conversions-and-type-safety-modern-cpp.md
             - name: Built-in operators, precedence, and associativity
               expanded: false
               items: 
@@ -4167,6 +4162,8 @@
                   href: cpp/special-member-functions.md
                 - name: Static members
                   href: cpp/static-members-cpp.md
+                - name: C++ classes as value types
+                  href: cpp/value-types-modern-cpp.md
                 - name: User-defined type conversions
                   href: cpp/user-defined-type-conversions-cpp.md
                 - name: Mutable data members
