Mettendo da parte tutti i problemi di manutenibilità e di lettura, queste righe di codice possono generare un comportamento non definito?Utilizzo dell'operatore ternario per inizializzare una variabile di riferimento?
float a = 0, b = 0;
float& x = some_condition()? a : b;
x = 5;
cout << a << ", " << b;
No, va bene. Non creerebbe un comportamento indefinito in questo codice. Cambierete il valore di a o b a 5, a seconda delle condizioni.
Questo è assolutamente bene, a patto che entrambi i lati della condizionale sono espressioni che possono essere utilizzati per inizializzare un riferimento (ad esempio variabili, dereferenziazioni di puntatori, ecc)
float& x = some_condition()? a : *(&b); // This is OK - it is the same as your code
float& x = some_condition()? a : b+1; // This will not compile, because you cannot take reference of b+1
Beh, l'incapacità di compilare è un comportamento perfettamente definito, non è vero? –
Probabilmente, sì, un programma mal formato mostra un comportamento definito: niente. – Puppy
Errore veloce, errore precoce. –
potrebbe essere ancora più semplice: '(some_condition()? a: b) = 5; ' – Slava