C++ extern palabra clave en funciones. ¿Por qué no solo incluir el archivo de cabecera?

No, esto significa que la función foo se declara con vinculación externa. Enlace externo significa que name foo se refiere a la misma función en todo el programa. Donde se define la función no importa. Se puede definir en esta unidad de traducción. Se puede definir en otra unidad de traducción.

Usar la palabra clave extern como se muestra en su ejemplo es superfluo. Las funciones siempre tienen enlace externo por defecto. Lo anterior es 100% equivalente a solo

void foo();

En cuanto a el enlazador, cuando el enlazador enlaza el programa, simplemente se ve en todas partes . Revisa todas las definiciones hasta encontrar la definición de foo.

Como otros ya han dicho, la palabra clave extern se usa para indicar que el nombre (una variable o función) tiene enlace externo, lo que significa que el nombre se refiere al mismo objeto en todo el programa. Además, este es el valor predeterminado para las variables y funciones definidas en el ámbito del archivo, por lo que este uso es superfluo.

Hay otro uso de la palabra clave extern que va así:

extern "C" void foo();

Esto significa que la función foo se vinculará usando las convenciones C para el enlace (tal vez porque esto es una función definida en una biblioteca de C o es una función destinada a ser llamada por programas de C).

Ya significa que sin la palabra clave extern. Las funciones tienen enlace externo por defecto, a menos que las declare estáticas.

Usar prototipos de funciones está bien, pero es fácil equivocarse. El error del enlazador que obtendrá no es tan fácil de diagnosticar cuando redefine la implementación de la función. El enlazador no sabe dónde buscar, es su trabajo darle un archivo de objeto que contenga la definición de la función para mantenerlo feliz.

1) No se por qué necesitaría esto para una función. Tal vez alguien más pueda intervenir.

2) El enlazador determina esto revisando todos los archivos objeto y comprobando los símbolos dentro de cada archivo objeto. Supongo que dependiendo de su enlazador, el orden exacto de búsqueda puede variar.

Para GNU binutils ' ld todos los archivos objeto y bibliotecas que aparecen en la línea de comandos del enlazador después del objeto que contiene el símbolo que falta se buscan de izquierda a derecha y el primer símbolo encontrado es elegido.

Ejemplo 1:

• a. o uses usa foo (), bar ()
• liba provides proporciona bar ()
• libb provides proporciona foo ()

> > ld a. o-la-lb

Hará que a.o sea buscado por símbolos indefinidos. A partir de entonces ld irá a través de las libs de izquierda a derecha para buscar estos símbolos y encontrará bar en liba y foo en libb.

Esto puede llevar a problemas extraños en dependencias circulares:

Ejemplo 2:

• a. o uses usa bar ()
• liba provides proporciona bar(), usa foo()
• libb provides proporciona foo (), usa bar ()

Ahora, hay una dependencia circular entre liba y libb y el enlace fallará:

> > ld a. o-la-lb

Porque al buscar a través de los símbolos indefinidos en libb, ld determinará que no hay otro lib a la derecha de-lb que proporcione este símbolo. Esto se puede arreglar de al menos dos maneras:

1) enlace liba dos veces: $> ld a. o-la-lb-la

2) utilice la función de agrupación de ld start > ld a.o start start-group-la-lb {end-group

En el caso 2), la agrupación le dice a ld que busque entre todos los símbolos en todas las libs que pertenecen a este grupo.