Vinculación de nombres

En los lenguajes de programación , la vinculación de nombres es la asociación de entidades (datos y/o código) con identificadores . ^[1] Se dice que un identificador vinculado a un objeto hace referencia a ese objeto. Los lenguajes de máquina no tienen una noción incorporada de identificadores, pero los lenguajes de programación implementan vinculaciones de nombre-objeto como un servicio y una notación para el programador. La vinculación está íntimamente relacionada con el alcance , ya que el alcance determina qué nombres se vinculan a qué objetos, en qué ubicaciones en el código del programa ( léxicamente ) y en cuál de las posibles rutas de ejecución ( temporalmente ).

El uso de un identificador id en un contexto que establece un enlace para id se denomina ocurrencia de enlace (o de definición). En todas las demás ocurrencias (por ejemplo, en expresiones , asignaciones y llamadas de subprogramas ), un identificador representa aquello a lo que está enlazado; dichas ocurrencias se denominan ocurrencias aplicadas.

• La vinculación estática (o vinculación temprana ) es la vinculación de nombres que se realiza antes de ejecutar el programa. ^[2]
• El enlace dinámico (o enlace tardío o enlace virtual ) es un enlace de nombres que se realiza mientras se ejecuta el programa. ^[2]

Un ejemplo de enlace estático es una llamada directa a una función C : la función a la que hace referencia el identificador no puede cambiar en tiempo de ejecución.

Un ejemplo de enlace dinámico es el envío dinámico , como en una llamada a un método virtual de C++ . Dado que el tipo específico de un objeto polimórfico no se conoce antes del tiempo de ejecución (en general), la función ejecutada se enlaza dinámicamente. Tomemos, por ejemplo, el siguiente código Java :

public void foo ( java.util.List < String > lista ) { lista.add ( " bar " ) ; }​​​     

Listes una interfaz , por lo que listdebe hacer referencia a un subtipo de la misma. listpuede hacer referencia a un LinkedList, un ArrayList, o algún otro subtipo de List. El método al que hace referencia addno se conoce hasta el tiempo de ejecución. En C, que no tiene enlace dinámico, se puede lograr un objetivo similar mediante una llamada a una función a la que apunta una variable o expresión de un tipo de puntero de función , cuyo valor se desconoce hasta que se evalúa en tiempo de ejecución.

La revinculación no debe confundirse con la mutación o la asignación.

• La revinculación es un cambio en el identificador de referencia .
• La asignación es un cambio en la variable (referenciada).
• Una mutación es un cambio en un objeto en la memoria, posiblemente referenciado por una variable o vinculado a un identificador.

Considere el siguiente código Java :

LinkedList < String > lista ; lista = new LinkedList < String > (); lista.add ( " foo " ); lista = null ; { LinkedList < Integer > lista = new LinkedList < Integer > (); lista.add ( Integer ( 2 ) ) ; }             

El identificador listse vincula a una variable en la primera línea; en la segunda, se asigna un objeto (una lista enlazada de cadenas) a la variable. Luego, se modifica la lista enlazada a la que hace referencia la variable, agregando una cadena a la lista. A continuación, se asigna a la variable la constante null. En la última línea, se vuelve a vincular el identificador para el ámbito del bloque. Las operaciones dentro del bloque acceden a una nueva variable y no a la variable previamente vinculada a list.

La vinculación estática tardía es una variante de la vinculación que se encuentra entre la vinculación estática y la dinámica. Considere el siguiente ejemplo de PHP :

clase  A {  public  static  $word  =  "hola" ;  public  static  function  hola ()  {  print  self :: $word ;  } }la clase  B  extiende  A {  public  static  $word  =  "adiós" ; }B :: hola ();

En este ejemplo, el intérprete PHP vincula la palabra clave selfdentro A::hello()de la clase Ay, por lo tanto, la llamada a B::hello()produce la cadena "hola". Si la semántica de self::$wordse hubiera basado en la vinculación estática tardía, el resultado habría sido "adiós".

A partir de la versión 5.3 de PHP, se admite el enlace estático tardío. ^[3] Específicamente, si self::$worden lo anterior se cambiara a static::$wordcomo se muestra en el siguiente bloque, donde la palabra clave staticsolo se enlazaría en tiempo de ejecución, entonces el resultado de la llamada a B::hello()sería "bye":

clase  A {  public  static  $word  =  "hola" ;  public  static  function  hola ()  {  print  static :: $word ;  } }la clase  B  extiende  A {  public  static  $word  =  "adiós" ; }B :: hola ();

• Tabla de ramificación  : método para transferir el control del programa a otra parte del programa
• Sintaxis abstracta de orden superior  : técnica para la representación de árboles de sintaxis abstracta en lenguajes con enlazadores de variablesPages displaying wikidata descriptions as a fallback