Enlace (software)

En programación, el enlace describe cómo los nombres pueden o no referirse a la misma entidad a lo largo de todo el programa o de una única unidad de traducción .

La staticpalabra clave `namespace` se usa en C para restringir la visibilidad de una función o variable a su unidad de traducción. Esto también es válido en C++ . C++98 y C++03 desaconsejaron este uso en favor de los espacios de nombres anónimos , pero ya no está desaconsejado en C++11 . Además, C++ trata implícitamente cualquier constvariable con ámbito de espacio de nombres como si tuviera enlace interno a menos que se declare explícitamente extern, a diferencia de C.

El enlace de un nombre está relacionado con su ámbito , pero es distinto . El ámbito de un nombre es la parte de una unidad de traducción donde es visible. Por ejemplo, un nombre con ámbito global (que es lo mismo que el ámbito de archivo en C y el ámbito de espacio de nombres global en C++) es visible en cualquier parte del archivo. Su ámbito terminará al final de la unidad de traducción, independientemente de si ese nombre tiene un enlace externo o interno.

Si el nombre tiene enlace externo, la entidad que denota ese nombre puede ser referenciada desde otra unidad de traducción usando una declaración distinta para ese mismo nombre, y desde otros ámbitos dentro de la misma unidad de traducción usando declaraciones distintas. Si el nombre tuviera enlace interno, dicha declaración denotaría una entidad distinta, aunque usando el mismo nombre, pero su entidad podría ser referenciada por declaraciones distintas dentro de la misma unidad de traducción. Un nombre que no tiene ningún enlace no puede ser referenciado desde declaraciones en diferentes ámbitos, ni siquiera dentro de la misma unidad de traducción. Ejemplos de tales nombres son los parámetros de funciones y las variables locales. Los detalles difieren entre C (donde solo los objetos y las funciones, pero no los tipos, tienen enlace) y C++ y entre esta descripción general simplificada.

La vinculación entre lenguajes debe hacerse con cuidado, ya que cada lenguaje utiliza símbolos externos de forma diferente. Un modismo común es vincular código C++ y C.extern"C"

Definición de "enlace" citada de ISO/IEC 9899:TC3 (Estándar C99). C utiliza el término "identificador" donde este artículo utiliza "nombre" (este último es el que C++ utiliza para formalizar el enlace):

Un identificador declarado en diferentes ámbitos o en el mismo ámbito más de una vez puede hacerse referencia al mismo objeto o función mediante un proceso llamado enlace. ^{[ 1 ]}

El siguiente es un ejemplo común de vinculación:

En demo1.c :

// El calificador "extern" es opcional // Por defecto, las funciones tienen enlace externo /* extern */ void foo ( void ); int main ( void ) { foo (); return 0 ; }

En demo2.c :

void foo ( void ) { // implementación real aquí... }

La función foo()se declara en dos archivos, con su cuerpo definido en demo2.c . Mediante enlace, la llamada en demo1.c hace referencia a la llamada en demo2.c . Este es un ejemplo de enlace externo para una función.foo()main()foo

// Si se trata de un compilador de C++, utilice el enlace de C #ifdef __cplusplus extern "C" { #endif// Cualquier símbolo declarado aquí obtiene enlace C void foo (); int bar ( int a , int b );// Si se trata de un compilador de C++, finaliza el enlace con C #ifdef __cplusplus } #endif

void qux ();extern "C" void foo ( void ( * fp )( void ));barra vacía () {foo ( qux );}

"test.cpp", línea 5: Advertencia (anacronismo): El argumento formal fp de tipo extern "C" void(*)() en la llamada a foo(extern "C" void(*)()) se está pasando void(*)().

C++ ofrece las siguientes formas de enlace: ^{[ 5 ] [ 6 ]}

// Los símbolos estáticos reciben enlace interno static int double ( int n ) { return 2 * n ; }// constexpr otorga implícitamente enlace interno constexpr size_t MAX_ATTEMPTS = 3 ;// inline constexpr otorga enlace externo inline constexpr size_t MAX_CONNECTIONS = 100 ;

// A.cpp int i = 1 ; // Declaración y definición real de i// B.cpp extern int i ; // Declara la existencia de i// C.cpp int i = 2 ; // Error: i ya está definido (en A.cpp) extern int i = 3 ; // Mismo error

exportar módulo wikipedia.ejemplos.mylib ;​​​​export extern "C++" { // Fuerza a que el contenido del encabezado tenga una conexión de módulo global cuando se exporta #include <wikipedia/examples/MyLib.hpp> }

paquete org.wikipedia.examples ;clase pública Foo { int público agregar ( int a , int b ) { return a + b ; } }

#incluir <gcj/cni.h>// Encabezado generado automáticamente #include <org/wikipedia/examples/Foo.h>usando org :: wikipedia :: ejemplos :: Foo ;extern "Java" { int addThroughJava ( int a , int b ) { Foo * foo = new Foo (); return foo -> add ( a , b ); // Nota: foo no debe eliminarse, ya que es un objeto gestionado por el recolector de basura de Java } }

En D , un bloque de código que se pretende declarar como proveniente de otro lenguaje puede marcarse :extern(...)

• extern(C)^{[ 11 ]} (paraC)
• extern(C++)^{[ 12 ]} (paraC++)
• extern(Objective-C)^{[ 13 ]} (paraObjective-C)
• extern(D)^{[ 14 ]}

En Rust , se utiliza para marcar el enlace C, y siempre es , ya que Rust no puede garantizar la seguridad de las funciones externas. ^{[ 15 ]}extern"C"unsafe

use std :: ffi ::{ CString , c_char };unsafe extern "C" { fn puts ( s : * const c_char ) -> i32 ; }fn main () { let s = CString :: new ( "Hello from Rust!" ). unwrap ();inseguro { puts ( s . as_ptr ()); } }

Mientras tanto, para exponer las funciones de Rust a C:

#[unsafe(no_mangle)] pub extern "C" fn add ( a : i32 , b : i32 ) -> i32 { a + b }

Rust ofrece los siguientes bloques externos: ^{[ 16 ]}

• unsafeextern"Rust"(Convención de llamada predeterminada en Rust)
• unsafeextern"C"(la ABI de C predeterminada)

Existen otros bloques específicos del sistema, muchos de los cuales corresponden a atributos del compilador C/C++, por ejemplo, correspondientes a .unsafeextern"stdcall"[[gnu::stdcall]]

• Interfaz binaria de la aplicación (ABI)
• Compatibilidad de C y C++
• Enlazador (informática)
• Deformación de nombres