Sí puede.
La mayoría de const
los mensajes de correo electrónico son puramente para el beneficio del programador y no ayudan al compilador a optimizar porque es legal desecharlos y, por lo tanto, no le dicen al compilador nada útil para la optimización. Sin embargo, algunos const
mensajes de correo electrónico no se pueden descartar (legalmente) y proporcionan al compilador información útil para la optimización.
Por ejemplo, el acceso a una variable global definida con un const
tipo se puede insertar en línea, mientras que uno sin un const
tipo no se puede insertar en línea porque podría cambiar en tiempo de ejecución.
https://godbolt.org/g/UEX4NB
C ++:
int foo1 = 1;
const int foo2 = 2;
int get_foo1() {
return foo1;
}
int get_foo2() {
return foo2;
}
asm:
foo1:
.long 1
foo2:
.long 2
get_foo1():
push rbp
mov rbp, rsp
mov eax, DWORD PTR foo1[rip] ; foo1 must be accessed by address
pop rbp
ret
get_foo2():
push rbp
mov rbp, rsp
mov eax, 2 ; foo2 has been replaced with an immediate 2
pop rbp
ret
En términos prácticos, tenga en cuenta que, si bien const
puede mejorar el rendimiento, en la mayoría de los casos no lo hará o lo hará, pero el cambio no se notará. La principal utilidad de const
no es la optimización.
Steve Jessop da otro ejemplo en su comentario sobre la pregunta original que trae algo que vale la pena mencionar. En el alcance de un bloque, es posible que un compilador deduzca si una variable se mutará y optimizará en consecuencia, independientemente de const
, porque el compilador puede ver todos los usos de la variable. Por el contrario, en el ejemplo anterior, es imposible predecir si foo1
se mutará, ya que podría modificarse en otras unidades de traducción. Supongo que un ultracompilador inteligente hipotético podría analizar un programa completo y determinar si es válido para acceder en línea foo1
... pero los compiladores reales no pueden.