Constexpr y función en línea en C 11

En C 11, la introducción de constexpr como calificador de tipo para funciones generó preguntas sobre su relación con inline, un mecanismo existente para funciones en línea. Este artículo examina las implicaciones de constexpr y cómo interactúa con inline.

Constexpr implica inline

El estándar C 11 establece explícitamente que "las funciones y constructores de constexpr están implícitamente en línea". Esto significa que el uso de constexpr como especificador de función también establece implícitamente el especificador en línea. Por lo tanto, si una función se declara constexpr, se comportará como si tuviera el especificador en línea.

Implicaciones para argumentos no constantes

Esto implica que si se pasa un argumento no constante a una función constexpr, el compilador aún intentará alinear la función como si estuviera declarada en línea. Esto se debe a que las funciones constexpr deben cumplir ciertos criterios que las hacen adecuadas para la inserción en línea, como ser simples y no recursivas.

Una regla de definición

Sin embargo, es crucial tener en cuenta que las funciones en línea El especificador tiene un impacto más significativo en la regla de una definición (ODR) que en la inserción misma. Las funciones con diferentes calificadores en línea pueden tener múltiples definiciones, mientras que las funciones constexpr, al igual que las funciones en línea, deben tener una única definición.

Conclusión

Si bien las funciones constexpr implícitamente implican en línea, el especificador en línea tiene un impacto limitado sobre decisiones en línea. En última instancia, el compilador determina si se debe alinear una función en función de varios factores, incluidos su tamaño y complejidad. Las funciones constexpr se diseñaron inicialmente para ser adecuadas para la inserción en línea, pero las flexibilizaciones posteriores han permitido funciones constexpr más complejas.