Могу ли я безопасно указывать данные переназначенного boost :: optional?

Question

Учитывая следующий код:

boost::optional<int> opt; 
opt = 12; 
int* p(&*opt); 
opt = 24; 
assert(p == &*opt); 

Есть ли гарантия того, что утверждают всегда будет действовать?

Answer 1

да это гарантия. T из boost::optional<T> является логически частным членом необязательного.

приведенный выше код логически эквивалентен:

bool opt_constructed = false; 
int opt_i; // not constructed 

new int (&opt_i)(12); opt_constructed = true; // in-place constructed 

int*p = &opt_i; 

opt_i = 24; 

assert(p == &opt_i); 

// destuctor 
if (opt_constructed) { 
    // call opt_i's destructor if it has one 
}