Las funciones en línea externas deben tener la misma dirección en todas las unidades de traducción. ¿Cómo diablos es eso logrado?

Question

Según el estándar, las funciones en línea externas deben tener la misma dirección en todas las unidades de traducción.

¿Cómo se logra esto en el compilador? Quiero decir, cuando estoy compilando alguna unidad de traducción, no tengo idea de cómo será la otra unidad de traducción. Entonces, ¿cómo puedo tener la misma dirección en todas partes?

Answer 1

Eso depende de la implementación, pero generalmente es resuelto por el vinculador. Cada unidad de traducción compilada producirá un archivo objeto que contiene una copia de la función, marcada de alguna manera para que el vinculador sepa que debe esperar (y aceptar) duplicados. El enlazador incluirá uno de ellos, descartará los otros y resolverá cualquier referencia a la función.

Answer 2

Estrategia simple: cada vez que se define una función como inline, compilarla al tiempo del objeto como si fuera una función normal. Luego, en el momento del enlace, detectar funciones duplicadas y eliminarlas, dejando una copia de cada una. Así es como funcionaban los compiladores de C++ (también frente a las plantillas) hace unos 10 años. No estoy seguro de cómo lo hacen hoy en día.