Dlaczego połączenie składające się z const-qualified variant members powoduje brak domyślnego domyślnego konstruktora?

Question

Standardowy projekt jak z N4567 sugeruje, że defaulted konstruktor domyślny jest zdefiniowany jako usunięte if-według 12.1, pkt 4:

X jest unia i wszystko jej członków wariancie const -kwalifikowany typ (lub jego tablica),

Innymi słowy, jest równoznaczne z powiedzeniem, że jeśli jeden z jego wariantów nie ma uprawnień warunkowych, powyższa zasada nie ma zastosowania. Moje pytanie brzmi:

• Co jest takiego specjalnego o konieczności wszystkie swoich członków const kwalifikowaną (w porównaniu do sytuacji odwrotnej, gdy co najmniej jeden z nich nie jest const kwalifikowaną), iw jakiej perspektywy jest to głęboko związane z domyślnym konstruktorem domyślnym?

Answer 1

Załóżmy, że masz związek z tylko const członków:

union Foo { 
    const int x; 
    const double y; 
} 

domyślny konstruktor będzie musiał zdecydować, który z członków zainicjować i stać się aktywnym członkiem. Raz utworzony nie można zmienić wartości dowolnego elementu (wszystkie są const), więc nie można również zmienić, który jest aktywnym członkiem. Tak więc taka konstrukcja byłaby raczej bezużyteczna jako związek.

Z drugiej strony, jeśli ktoś nie jest członkiem const:

union Bar { 
    int x; 
    const double y; 
    Bar() : y(10.0) {} 
} 

domyślny konstruktor mogłoby mieć sens, ponieważ nadal można później zmienić aktywny członek poprzez

Bar b; 
b.x = 10;