Por qué las marcas Const mejoran los beneficios de las funciones Constexpr

C 11 introdujo el especificador constexpr, que permite utilizar funciones en expresiones constantes. A pesar de imponer requisitos estrictos sobre el comportamiento de la función, presenta un beneficio crucial.

Prevención de dependencias inesperadas

Considere un escenario donde una función de biblioteca inicialmente devuelve una constante, como se ilustra en awesome_lib.hpp:

inline int f() { return 4; }

En ausencia de constexpr, el código del cliente podría usar esta función para fines que requieran constantes en tiempo de compilación, como argumentos de plantilla o dimensiones de matriz.

#include 
#include 

std::array;   // needs CT template arg
int my_c_array[f()];             // needs CT array dimension

Sin embargo, si la implementación de f() cambiara para recuperar su valor de un archivo de configuración, este código de cliente se rompería. Este cambio alteraría efectivamente el uso de la interfaz sin el conocimiento del codificador del cliente.

Al marcar la función como constexpr, el programador reconoce que el código del cliente puede esperar razonablemente su naturaleza constante. Esto garantiza que el uso de la función de la biblioteca no se vea comprometido por los cambios de implementación. El compilador impone esta expectativa, garantizando que el código del cliente no dependa de funciones no constantes.

Comparación con el especificador const de función miembro

Similar al especificador const para funciones miembro, el especificador constexpr evita que el código del cliente dependa de funciones que pueden no estar disponibles en el futuro. Sin embargo, difieren en sus mecanismos de aplicación.

El especificador const garantiza que otras funciones miembro dentro de una función miembro constante también sean constantes, mientras que constexpr no aplica resultados constantes en tiempo de compilación para todos sus usos. Esta flexibilidad permite funciones híbridas que pueden devolver resultados en tiempo de compilación cuando sea posible, pero volver a cálculos en tiempo de ejecución en contextos que no sean constexpr.