[basic.life] - C++11 → C++14

Files changed (1) hide show

tmp/tmpqh2shcna/{from.md → to.md} +11 -13

tmp/tmpqh2shcna/{from.md → to.md} RENAMED Viewed

@@ -44,31 +44,32 @@ the destructor or if a *delete-expression* ([[expr.delete]]) is not
 used to release the storage, the destructor shall not be implicitly
 called and any program that depends on the side effects produced by the
 destructor has undefined behavior.
 Before the lifetime of an object has started but after the storage which
-the object will occupy has been allocated[^14] or, after the lifetime of
 an object has ended and before the storage which the object occupied is
 reused or released, any pointer that refers to the storage location
 where the object will be or was located may be used but only in limited
 ways. For an object under construction or destruction, see
 [[class.cdtor]]. Otherwise, such a pointer refers to allocated storage (
 [[basic.stc.dynamic.deallocation]]), and using the pointer as if the
-pointer were of type `void*`, is well-defined. Such a pointer may be
-dereferenced but the resulting lvalue may only be used in limited ways,
-as described below. The program has undefined behavior if:
 - the object will be or was of a class type with a non-trivial
   destructor and the pointer is used as the operand of a
   *delete-expression*,
 - the pointer is used to access a non-static data member or call a
   non-static member function of the object, or
 - the pointer is implicitly converted ([[conv.ptr]]) to a pointer to a
-  base class type, or
 - the pointer is used as the operand of a `static_cast` (
-  [[expr.static.cast]]) (except when the conversion is to `void*`, or to
-  `void*` and subsequently to `char*`, or `unsigned` `char*`), or
 - the pointer is used as the operand of a `dynamic_cast` (
   [[expr.dynamic.cast]]).
   ``` cpp
   #include <cstdlib>
@@ -110,15 +111,12 @@ undefined behavior if:
 - an lvalue-to-rvalue conversion ([[conv.lval]]) is applied to such a
   glvalue,
 - the glvalue is used to access a non-static data member or call a
   non-static member function of the object, or
-- the glvalue is implicitly converted ([[conv.ptr]]) to a reference to
- a base class type, or
-- the glvalue is used as the operand of a `static_cast` (
-  [[expr.static.cast]]) except when the conversion is ultimately to *cv*
-  `char&` or *cv* `unsigned` `char&`, or
 - the glvalue is used as the operand of a `dynamic_cast` (
   [[expr.dynamic.cast]]) or as the operand of `typeid`.
 If, after the lifetime of an object has ended and before the storage
 which the object occupied is reused or released, a new object is created
@@ -161,11 +159,11 @@ started, can be used to manipulate the new object, if:
   ```
 If a program ends the lifetime of an object of type `T` with static (
 [[basic.stc.static]]), thread ([[basic.stc.thread]]), or automatic (
 [[basic.stc.auto]]) storage duration and if `T` has a non-trivial
-destructor,[^15] the program must ensure that an object of the original
 type occupies that same storage location when the implicit destructor
 call takes place; otherwise the behavior of the program is undefined.
 This is true even if the block is exited with an exception.
 ``` cpp

 used to release the storage, the destructor shall not be implicitly
 called and any program that depends on the side effects produced by the
 destructor has undefined behavior.
 Before the lifetime of an object has started but after the storage which
+the object will occupy has been allocated[^16] or, after the lifetime of
 an object has ended and before the storage which the object occupied is
 reused or released, any pointer that refers to the storage location
 where the object will be or was located may be used but only in limited
 ways. For an object under construction or destruction, see
 [[class.cdtor]]. Otherwise, such a pointer refers to allocated storage (
 [[basic.stc.dynamic.deallocation]]), and using the pointer as if the
+pointer were of type `void*`, is well-defined. Indirection through such
+a pointer is permitted but the resulting lvalue may only be used in
+limited ways, as described below. The program has undefined behavior if:
 - the object will be or was of a class type with a non-trivial
   destructor and the pointer is used as the operand of a
   *delete-expression*,
 - the pointer is used to access a non-static data member or call a
   non-static member function of the object, or
 - the pointer is implicitly converted ([[conv.ptr]]) to a pointer to a
+ virtual base class, or
 - the pointer is used as the operand of a `static_cast` (
+  [[expr.static.cast]]), except when the conversion is to pointer to
+ *cv* `void`, or to pointer to *cv* `void` and subsequently to pointer
+  to either *cv* `char` or *cv* `unsigned char`, or
 - the pointer is used as the operand of a `dynamic_cast` (
   [[expr.dynamic.cast]]).
   ``` cpp
   #include <cstdlib>
 - an lvalue-to-rvalue conversion ([[conv.lval]]) is applied to such a
   glvalue,
 - the glvalue is used to access a non-static data member or call a
   non-static member function of the object, or
+- the glvalue is bound to a reference to a virtual base class (
+ [[dcl.init.ref]]), or
 - the glvalue is used as the operand of a `dynamic_cast` (
   [[expr.dynamic.cast]]) or as the operand of `typeid`.
 If, after the lifetime of an object has ended and before the storage
 which the object occupied is reused or released, a new object is created
   ```
 If a program ends the lifetime of an object of type `T` with static (
 [[basic.stc.static]]), thread ([[basic.stc.thread]]), or automatic (
 [[basic.stc.auto]]) storage duration and if `T` has a non-trivial
+destructor,[^17] the program must ensure that an object of the original
 type occupies that same storage location when the implicit destructor
 call takes place; otherwise the behavior of the program is undefined.
 This is true even if the block is exited with an exception.
 ``` cpp

Diff to HTML by rtfpessoa