Zero-reinizializzazione una struct in C++

Question

A POD struct può essere zero-inizializzati in C++ 11 come segue:

SomeStruct s{}; 

Tuttavia, cosa faccio se ho già un'istanza della struct e vuoi inizializzarlo di nuovo a zero? Quanto segue sembra funzionare:

s = {}; 

Qualcuno può indicare la standardese rilevante? Presumo questo è ciò che sta accadendo:

1. Viene creata una nuova istanza inizializzata a zero.
2. La nuova istanza viene assegnata all'istanza esistente, richiamando l'operatore di assegnazione implicita.

Answer 1

Quello che state cercando è in [expr.ass]

A rinforzato-init-list può apparire sul lato destro della

• l'incarico di uno scalare, nel qual caso l'elenco di inizializzazione deve avere al massimo un singolo elemento. Il significato di x={v}, dove T è il tipo scalare dell'espressione x, è quello di x=T{v}. Il significato di x={} è x=T{}.
• un'assegnazione a un oggetto di tipo classe, nel qual caso l'elenco di inizializzazione viene passato come argomento a la funzione dell'operatore di assegnazione selezionata dalla risoluzione di sovraccarico (13.5.3, 13.3).

Quindi la tua ipotesi è corretta. Il compilatore può essere in grado di ottimizzare le cose, ma puoi pensarci come creare un temporaneo inizializzato a zero e passarlo allo operator=.

Answer 2

s = {}; non è sicuro.

Il problema è che si si spera diventa s = SomeStruct{};. Tuttavia, se s ha un altro sovraccarico per operator=then that may be preferred by overload resolution.

Quindi questo è un anti-pattern, davvero. Come suggerito in altro thread, è meglio scrivere una funzione, ad es .:

template<typename T> void reset(T &t) { t = T{}; } 

Credo che si potrebbe anche scrivere s = decltype(s){};, purché s non era un punto di riferimento.