Enlace de nombre

En programación informática , la vinculación de nombres es la asociación de una entidad de datos o código con un identificador . ^{[ 1 ]} Se dice que un identificador vinculado a una entidad hace referencia a esa entidad. Un lenguaje de máquina no tiene una noción incorporada de identificadores, pero la vinculación nombre-entidad como servicio y notación para el programador es implementada por lenguajes de programación de alto nivel . La vinculación está íntimamente relacionada con el ámbito , ya que el ámbito determina qué nombres se vinculan a qué entidades, en qué ubicaciones del 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 una vinculación para dicho identificador se denomina ocurrencia de vinculación (o definición). En todas las demás ocurrencias (por ejemplo, en expresiones , asignaciones y llamadas a subprogramas ), un identificador representa aquello a lo que está vinculado; dichas ocurrencias se denominan ocurrencias aplicadas.

La reasignación no debe confundirse con la mutación ni la asignación. La reasignación implica un cambio en el identificador de referencia . La asignación implica un cambio en la variable (a la que se hace referencia). La mutación implica un cambio en una entidad en memoria, posiblemente referenciada por una variable o vinculada a un identificador.

Considere el siguiente código Java :

import java.util.LinkedList ;LinkedList < String > lista ; // inicializada implícitamente a 'null' lista = new LinkedList <> (); lista . add ( "foo" ); lista = null ; { LinkedList < Integer > lista = new LinkedList <> (); lista . add ( 2 ); }

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

• Tabla de ramificación : método para transferir el control del programa a otra parte del mismo. 
• Tiempo de vinculación : cuando se produce una vinculación en el software. 
• Sintaxis abstracta de orden superior