From 94abc175a7f1673d240fd6a8d31a939b8b553eb4 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Thu, 23 Mar 2023 10:55:51 +0800 Subject: [PATCH 1/2] [defns.dynamic.type] Say "most derived object" in the example --- source/intro.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/source/intro.tex b/source/intro.tex index c247ada66b..8e9cadf622 100644 --- a/source/intro.tex +++ b/source/intro.tex @@ -278,8 +278,9 @@ glvalue refers \begin{example} -If a pointer\iref{dcl.ptr} \tcode{p} whose static type is ``pointer to -class \tcode{B}'' is pointing to an object of class \tcode{D}, derived +If a pointer\iref{dcl.ptr} \tcode{p} whose type is ``pointer to +class \tcode{B}'' is pointing to a base class subobject class object +of class \tcode{B}, whose most derived object is of class \tcode{D}, derived from \tcode{B}\iref{class.derived}, the dynamic type of the expression \tcode{*p} is ``\tcode{D}''. References\iref{dcl.ref} are treated similarly. From 810ab5926a2597c8b9c72ace73dbcdc2e84aa751 Mon Sep 17 00:00:00 2001 From: "A. Jiang" Date: Fri, 24 Mar 2023 01:36:30 +0800 Subject: [PATCH 2/2] Fix copy-pasta in source/intro.tex MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: Johel Ernesto Guerrero Peña --- source/intro.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/intro.tex b/source/intro.tex index 8e9cadf622..cb54d600f2 100644 --- a/source/intro.tex +++ b/source/intro.tex @@ -279,7 +279,7 @@ \begin{example} If a pointer\iref{dcl.ptr} \tcode{p} whose type is ``pointer to -class \tcode{B}'' is pointing to a base class subobject class object +class \tcode{B}'' is pointing to a base class subobject of class \tcode{B}, whose most derived object is of class \tcode{D}, derived from \tcode{B}\iref{class.derived}, the dynamic type of the expression \tcode{*p} is ``\tcode{D}''. References\iref{dcl.ref} are