¿Por qué vincular una referencia constante a un temporal prolonga la vida útil del temporal?

El lenguaje de programación C permite que las referencias constantes extiendan la vida útil de los objetos temporales. Este comportamiento ha sido objeto de mucho debate, y algunos argumentan que permite un mejor rendimiento y flexibilidad en el diseño de código.

El origen de esta característica del lenguaje se remonta a 1993, cuando se propuso como una solución para una inconsistencia en el manejo de los temporales cuando están vinculados a referencias. En ausencia de optimización del valor de retorno (RVO), prohibir la vinculación de un temporal a una referencia habría impuesto penalizaciones de rendimiento.

Al permitir referencias constantes para extender la vida útil de los temporales, el comité pretendía eliminar esta inconsistencia , preservando al mismo tiempo los posibles beneficios de rendimiento. Esta elección de diseño permitió que las funciones miembro cambiaran sin problemas entre devolver un valor o una referencia constante a un valor interno existente, sin requerir modificaciones en el código del cliente.

Por ejemplo, considere una clase de matriz que puede devolver vectores de fila o columnas. vectores. Para optimizar el rendimiento, se podría devolver uno u otro tipo de vector como referencia, dependiendo de la organización interna de la implementación (almacenamiento de fila principal o de columna principal). Esta flexibilidad permite al escritor de la biblioteca modificar la implementación en el futuro sin afectar el código del cliente, lo que de otro modo requeriría un manejo explícito del tipo de valor de retorno.

Como resultado, la decisión del comité de extender la vida útil de los temporales cuando vinculado a referencias constantes tiene un doble propósito: garantiza la coherencia en el comportamiento de enlace de referencias y permite la implementación de diseños de código optimizados y adaptables.