dejando de lado todos los problemas de mantenimiento y lectura, ¿pueden estas líneas de código generar un comportamiento indefinido?¿Usar el operador ternario para inicializar una variable de referencia?
float a = 0, b = 0;
float& x = some_condition()? a : b;
x = 5;
cout << a << ", " << b;
No, está bien. No crearía un comportamiento indefinido en este código. Simplemente cambiará el valor de aob a 5, de acuerdo con la condición.
Esto es absolutamente bien, siempre y cuando ambos lados de la condicional son expresiones que se pueden utilizar para inicializar una referencia (por ejemplo, variables, desreferencias puntero, etc.)
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
Bueno, la incapacidad de compilar es un comportamiento perfectamente definido, ¿no? –
Discutible, sí, un programa mal formado exhibe un comportamiento definido, nada. – Puppy
Falló rápido, falló temprano. –
podrían ser aún más simple: '(some_condition()? a: b) = 5; ' – Slava