inline specifier

El inline especificador, cuando se utiliza en la decl-specifier-seq de una función, declara la función como una función inline .

Una función definida completamente dentro de una definición de clase/struct/union , ya sea una función miembro o una función friend no miembro, es implícitamente una función inline a menos que esté adjunta a un módulo nombrado (desde C++20) .

Explicación

Una función en línea o variable en línea (desde C++17) tiene las siguientes propiedades:

• La definición de una función inline o variable (since C++17) debe ser accesible en la unidad de traducción donde se accede (no necesariamente antes del punto de acceso).
• Una función inline o variable (since C++17) con external linkage (por ejemplo, no declarada static ) tiene las siguientes propiedades adicionales:

• Puede haber más de una definición de una función inline o variable (since C++17) en el programa siempre que cada definición aparezca en una unidad de traducción diferente y (para funciones inline no estáticas y variables (since C++17) ) todas las definiciones sean idénticas. Por ejemplo, una función inline o una variable inline (since C++17) puede definirse en un archivo de cabecera que se incluya en múltiples archivos fuente.
• Debe declararse inline en cada unidad de traducción.
• Tiene la misma dirección en cada unidad de traducción.

En una función en línea,

• Los objetos estáticos locales a función en todas las definiciones de funciones se comparten entre todas las unidades de traducción (todos se refieren al mismo objeto definido en una unidad de traducción).
• Los tipos definidos en todas las definiciones de funciones también son los mismos en todas las unidades de traducción.

La intención original de la palabra clave inline era servir como un indicador para el optimizador de que la sustitución en línea de una función es preferible sobre la llamada a función, es decir, en lugar de ejecutar la instrucción de llamada a función de la CPU para transferir el control al cuerpo de la función, se ejecuta una copia del cuerpo de la función sin generar la llamada. Esto evita la sobrecarga creada por la llamada a función (pasar los argumentos y recuperar el resultado) pero puede resultar en un ejecutable más grande ya que el código de la función tiene que repetirse múltiples veces.

Dado que la sustitución en línea no es observable en la semántica estándar, los compiladores pueden utilizar la sustitución en línea para cualquier función que no esté marcada como inline , y pueden generar llamadas a funciones para cualquier función marcada como inline . Estas decisiones de optimización no cambian las reglas relativas a definiciones múltiples y estáticos compartidos mencionadas anteriormente.

Notas

Si una función en línea o variable (since C++17) con enlace externo se define de manera diferente en distintas unidades de traducción, el programa está mal formado, no se requiere diagnóstico.

El inline especificador no puede ser usado con una función o variable (desde C++17) declarada en ámbito de bloque (dentro de otra función).

El especificador inline no puede redeclarar una función o variable (since C++17) que ya fue definida en la unidad de traducción como no-inline.

Las funciones miembro generadas implícitamente y cualquier función miembro declarada como defaulted en su primera declaración son inline como cualquier otra función definida dentro de una definición de clase.

Si una función en línea se declara en diferentes unidades de traducción, los conjuntos acumulados de argumentos predeterminados deben ser los mismos al final de cada unidad de traducción.

En C, las funciones en línea no tienen que declararse inline en cada unidad de traducción (como máximo una puede ser no- inline o extern inline ), las definiciones de funciones no tienen que ser idénticas (pero el comportamiento del programa no está especificado si depende de cuál se llama), y las variables estáticas locales a la función son distintas entre diferentes definiciones de la misma función.

Palabras clave

inline

Ejemplo

Encabezado "example.h":

#ifndef EXAMPLE_H
#define EXAMPLE_H
#include <atomic>
// las funciones incluidas en múltiples archivos fuente deben ser inline
inline int sum(int a, int b)
{
    return a + b;
}
// las variables con enlace externo incluidas en múltiples archivos fuente deben ser inline
inline std::atomic<int> counter(0);
#endif

Archivo fuente #1:

#include "example.h"
int a()
{
    ++counter;
    return sum(1, 2);
}

Archivo fuente #2:

#include "example.h"
int b()
{
    ++counter;
    return sum(3, 4);
}

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

Véase también