Невказане неявне створення об'єкта

Оскільки P0593 було прийнято неявне створення об'єктів для маніпулювання об'єктами низького рівня , об'єкти тепер можуть створюватися неявно в C ++ 20.

Зокрема, формулювання, введене пропозицією, дозволяє певним операціям (таким як std::malloc) автоматично створювати та запускати тривалість життя об'єктів певних типів, так званих неявних типів життя , якщо введення таких об'єктів спричиняє наявність програми з інакше невизначеною поведінкою визначена поведінка. Див. [Вступ.об’єкт] / 10 .

Тепер у проекті йдеться про те, що якщо є кілька наборів таких об'єктів, які можна було б створити неявно, щоб надати програмі певну поведінку, не визначено, який із цих наборів створюється. (Відповідне речення, здається, не присутнє в останній редакції пропозицій, до якої я міг отримати доступ, R5, але є в проекті комітету.)

Чи є насправді програма, для якої такий вибір неявно створеного набору об’єктів спостерігається? Іншими словами, чи існує програма з визначеною, але не визначеною поведінкою за допомогою цього нового правила, таким чином, що з висновку можна зробити висновки, які набори типів неявних об'єктів (з більш ніж одного можливого) були створені?

Або це речення було просто призначене для уточнення виконання програми на абстрактній машині (без помітного впливу)?

Візьмемо приклад у стандарті та трохи його змінимо:

#include <cstdlib>
struct X { int a, b; };
X *make_x() {
  // The call to std::malloc implicitly creates an object of type X
  // and its subobjects a and b, and returns a pointer to that X object
  // (or an object that is pointer-interconvertible ([basic.compound]) with it),
  // in order to give the subsequent class member access operations
  // defined behavior.
  X *p = (X*)std::malloc(sizeof(struct X) * 2); // me: added the *2
  p->a = 1;
  p->b = 2;
  return p;
}

Раніше в цьому сховищі існував лише один набір дійсних об'єктів, які можна було неявно створити - він повинен був бути саме одним X. Але тепер у нас є сховище для двох Xs, але записуємо лише в один із них, і нічого в цій програмі ніколи не торкається решти байтів. Отже, існує безліч різних наборів об'єктів, які можна неявно створити - можливо, два Xs, можливо, Xі два ints, можливо, Xі восьми chars, ...

Який набір створено, не помітно, бо якби були фактичні спостереження, це зменшило б можливості лише до тих наборів, які були дійсними. Якщо ми зробили щось подібне, p[1]->a = 3тоді всесвіт можливостей руйнується лише до тієї, що має дві Xс.

Іншими словами, кілька наборів об'єктів, створених неявно, можливо лише тоді, коли в програмі недостатньо спостережень, щоб розрізнити їхню валідність. Якби існував спосіб розрізнити, то за визначенням вони не були б справедливими.