Extensión de la vida útil de Rvalue mediante referencias constantes

En C, las referencias constantes no solo sirven como alias inmutables sino que también extienden la vida útil de los temporales. ¿Por qué el comité C decidió implementar este comportamiento?

Una de las razones para esta característica es ocultar los detalles de implementación de las clases y funciones. Considere una clase de matriz que puede devolver vectores de fila o vectores de columna. Para optimizar el rendimiento, la clase puede optar por devolver una referencia a un valor interno en función de su organización de fila principal o columna principal. Al exigir a los clientes que acepten valores de retorno como referencias constantes, la clase puede cambiar entre referencias y valores sin problemas, protegiendo a los clientes de los detalles de implementación.

Históricamente, la decisión de extender la vida útil de rvalue surgió del deseo de abordar las inconsistencias en cómo Las referencias manejaban temporales en 1993. En ese momento, RVO (optimización del valor de retorno) no existía. Prohibir la vinculación de los temporales a las referencias habría penalizado significativamente el desempeño. Por lo tanto, el comité optó por una solución que permitía la encuadernación y al mismo tiempo extendía la vida útil de los temporales para garantizar su disponibilidad durante el uso de referencia.

Este fundamento está documentado en la propuesta N0345.pdf, presentada al comité de estándares C en 1993. Al extender la vida útil de los valores, las referencias constantes facilitan una mejor abstracción, mantienen la flexibilidad del código y optimizan el rendimiento al devolver objetos desde funciones.