Я зробив так що: перша для публічного читаня, друга для приватного rw. Це зручно, коли хочеш виводити вміст без ризику перезапису.

Час життя може й не почав, але память під нього вже виділена, значить адресу вже має.
Стосовно само-ініціалізації: загалом так, але в даному випадку я тільки беру адресу, це не заважає процесу ініціалізації.

For an object with a non-trivial constructor, referring to any non-static member or base class of the object before the constructor begins execution results in undefined behavior.

Чому не активний, дуже навіть активний.

leofun01 написав:

Я зробив так що: перша для публічного читаня, друга для приватного rw. Це зручно, коли хочеш виводити вміст без ризику перезапису.

Для цього придумали методи та функції, які набагато простіше писати, читати та використовувати.

leofun01 написав:

Час життя може й не почав, але память під нього вже виділена, значить адресу вже має.
Стосовно само-ініціалізації: загалом так, але в даному випадку я тільки беру адресу, це не заважає процесу ініціалізації.

З однієї сторони я можу погодитись, але з іншої, стандарт чітко говорить:

https://eel.is/c++draft/class.cdtor написав:

For an object with a non-trivial constructor, referring to any non-static member or base class of the object before the constructor begins execution results in undefined behavior.

leofun01 написав:

Чому не активний, дуже навіть активний.

Ні, не активний. Одночасно активним може бути лише один мембер або `o`, або `l`. Обидва не можуть бути активними. Якщо `o` активний, то `l` автоматично стає не активним і навпаки.

leofun01 написав:

Цей struct є trivial

Так, і що?

leofun01 написав:

і цей конструктор не має параметрів

Тут взагалі не зрозумів до чого це?..

leofun01 написав:

тому тут все файно (well defined)

Ну, най тобі буде так

В тебе union має два мембери o та l

, далі див. нижче

https://eel.is/c++draft/class.union#general-2.sentence-2 написав:

In a union, a non-static data member is active if its name refers to an object whose lifetime has begun and has not ended. At most one of the non-static data members of an object of union type can be active at any time, that is, the value of at most one of the non-static data members can be stored in a union at any time.

, потім читаємо далі:

https://eel.is/c++draft/class.union#general-5 написав:

When the left operand of an assignment operator involves a member access expression that nominates a union member, it may begin the lifetime of that union member (ie may make it active) [...]

Тобто, union мембер може стати (не)активним (розпочати / завершити свій lifetime) через конструктор/деструктор або оператор присвоєння форми union.member = [some expression].

struct X { const int a; int b; };
union Y { X x; int k; };
void g() {
  Y y = { { 1, 2 } };   // OK, y.x is active union member ([class.mem])
  int n = y.x.a;
  y.k = 4;              // OK, ends lifetime of y.x, y.k is active member of union
  y.x.b = n;            // undefined behavior: y.x.b modified outside its lifetime,
                        // S(y.x.b) is empty because X's default constructor is deleted,
                        // so union member y.x's lifetime does not implicitly start
}

In a standard-layout union with an active member of struct type T1, it is permitted to read a non-static data member m of another union member of struct type T2 provided m is part of the common initial sequence of T1 and T2; the behavior is as if the corresponding member of T1 were nominated.

struct T1 { int a, b; };
struct T2 { int c; double d; };
union U { T1 t1; T2 t2; };
int f() {
  U u = { { 1, 2 } };   // active member is t1
  return u.t2.c;        // OK, as if u.t1.a were nominated
}