auto e static_casts - le buone pratiche

Question

Nel libro di Scott Meyer Effective moderna C++ si legge, che:

std::vector<bool> features(const Widget& w); 
Widget w; 
… 
bool highPriority = features(w)[5]; 
… 
processWidget(w, highPriority); 

e un'opzione con auto

auto highPriority = features(w)[5]; 

che provoca un comportamento indefinito, a causa della Infatti, features() restituisce std::vector<bool>, che utilizza l'oggetto proxy di tipo std::vector<bool>::reference quando restituisce un valore da opearator[].

Come soluzione a questo si consiglia di non interrompere l'utilizzo di auto, ma utilizzando static_casts.

Così Scott Meyers consigli d'uso:

auto highPriority = static_cast<bool>(features(w)[5]); 

invece di:

bool highPriority = features(w)[5]; 

La mia domanda è: Qual è la vera differenza tra i due? Secondo me sono entrambi uguali, perché entrambi i metodi rendono più difficile il refactoring nello stesso modo (cambiare il tipo di valore di ritorno nelle funzioni della funzione non rende la variabile highPriority un tipo diverso) e la seconda è più breve da scrivere.

Answer 1

Se non vi piace l'interfaccia di features, è possibile nascondere la bruttezza in una funzione di supporto

bool is_high_priority(const Widget& w) 
{ return features(w)[5]; } 

e ora i tuoi

auto highPriority = is_high_priority(w); 

funziona come previsto.

Answer 2

Con features una funzione che restituisce un std::vector<bool>,

auto highPriority = features(w)[5]; 

memorizza un riferimento logico. L'oggetto memorizzato si riferisce a un vettore che non esiste più. Usarlo comporta quindi comportamento indefinito.

Invece fanno

bool const highPriority = features(w)[5]; 

o

auto const highPriority = !!features(w)[5]; 

o, come Scott raccomanda – ma è di gran lunga troppo prolisso per i miei gusti – utilizzare un static_cast.

L'oggetto memorizzato è ora bool.

Non c'è alcuna differenza funzionale tra questi tre modi di esprimere la stessa dichiarazione. Le uniche differenze sono non funzionali: a mio avviso la verbosità inutile di static_cast e una possibilità che lo !! possa sopprimere un avvertimento stupido sulle prestazioni, da un compilatore comune.

Answer 3

Quando si utilizza l'auto, lo si deduce automaticamente come il tipo restituito da highPriority che è un riferimento a un valore booleano.Il fatto è che highPriority non restituisce un riferimento a un bool ma a un oggetto di riferimento std :: vector ::. ('reference' è una classe annidata dentro std :: vector). std :: vector :: reference è una "classe proxy", una classe che emula il comportamento di un altro tipo. Non solo è una classe proxy ma una classe proxy "invisibile". Tali classi non funzionano bene con l'auto. Auto non può dedurre correttamente il tipo di una classe proxy invisibile. Ma static_cast impone una conversione ad alta priorità in un bool. Questo evita comportamenti indefiniti.