Por que vincular uma referência Const a um temporário prolonga a vida útil do temporário?

A linguagem de programação C permite referências const para estender a vida útil de objetos temporários. Esse comportamento tem sido objeto de muito debate, com alguns argumentando que ele permite melhor desempenho e flexibilidade no design de código.

A origem desse recurso de linguagem remonta a 1993, quando foi proposto como uma solução para uma inconsistência no tratamento de temporários quando vinculados a referências. Na ausência de otimização do valor de retorno (RVO), proibir a vinculação de um temporário a uma referência teria imposto penalidades de desempenho.

Ao permitir referências const para estender a vida útil dos temporários, o comitê teve como objetivo eliminar esta inconsistência , preservando os benefícios potenciais de desempenho. Essa escolha de design permitiu que funções-membro alternassem perfeitamente entre retornar um valor ou uma referência const para um valor interno existente, sem exigir modificações no código do cliente.

Por exemplo, considere uma classe de matriz que pode retornar vetores de linha ou coluna vetores. Para otimizar o desempenho, um ou outro tipo de vetor pode ser retornado como referência, dependendo da organização interna da implementação (armazenamento de linha principal ou coluna principal). Essa flexibilidade permite que o escritor da biblioteca modifique a implementação no futuro sem afetar o código do cliente, o que de outra forma exigiria o tratamento explícito do tipo do valor de retorno.

Como resultado, a decisão do comitê de estender a vida útil dos temporários quando vinculado a referências const tem um propósito duplo: garante consistência no comportamento de vinculação de referência e permite a implementação de designs de código otimizados e adaptáveis.