Etiqueta (informática)

En los lenguajes de programación, una etiqueta es una secuencia de caracteres que identifica una ubicación dentro del código fuente. En la mayoría de los lenguajes, las etiquetas se presentan como un identificador, a menudo seguido de un signo de puntuación (p. ej., dos puntos). En muchos lenguajes de alto nivel, el propósito de una etiqueta es actuar como destino de una instrucción GOTO. En lenguaje ensamblador, las etiquetas pueden usarse en cualquier lugar donde se pueda incluir una dirección (por ejemplo, como operando de una instrucción JMP o MOV). También en Pascal y sus variantes derivadas. Algunos lenguajes, como Fortran y BASIC, admiten etiquetas numéricas. Las etiquetas también se utilizan para identificar un punto de entrada en una secuencia compilada de instrucciones (p. ej., durante la depuración).En C, una etiqueta identifica una sentencia en el código. Una misma sentencia puede tener varias etiquetas. Las etiquetas simplemente indican ubicaciones en el código, y acceder a ellas no afecta la ejecución real.

Las etiquetas de función constan de un identificador, seguido de dos puntos. Cada etiqueta apunta a una sentencia de una función y su identificador debe ser único dentro de esa función. Otras funciones pueden usar el mismo nombre para una etiqueta. Los identificadores de etiqueta ocupan su propio espacio de nombres: se pueden tener variables y funciones con el mismo nombre que una etiqueta.

Aquí, error es la etiqueta. La instrucción goto puede usarse para acceder a una instrucción etiquetada en el código. Después de un goto, la ejecución del programa continúa con la instrucción después de la etiqueta.

Se pueden incluir dos tipos de etiquetas en una sentencia switch. Una etiqueta case consiste en la palabra clave case, seguida de una expresión que evalúa una constante entera. Una etiqueta default consiste en la palabra clave default. Las etiquetas case se utilizan para asociar un valor entero con una sentencia en el código. Cuando se alcanza una sentencia switch, la ejecución del programa continúa con la sentencia posterior a la etiqueta case cuyo valor coincida con el valor entre paréntesis de la sentencia switch. Si no existe dicha etiqueta case, pero sí una etiqueta default, la ejecución del programa continúa con la sentencia posterior a la etiqueta default. Si no existe una etiqueta default, la ejecución del programa continúa después de la sentencia switch.Dentro de una sola sentencia switch, la constante entera asociada a cada etiqueta de caso debe ser única. Puede haber o no una sentencia predeterminada. No hay restricción en el orden de las etiquetas dentro de un switch. El requisito de que los valores de las etiquetas de caso se evalúen como constantes enteras le da al compilador más margen de optimización.En la sintaxis del lenguaje JavaScript, las sentencias pueden ir precedidas de la etiqueta:

También es posible usar la instrucción break para salir de los bloques de código:

En Common Lisp existen dos maneras de definir etiquetas. La primera implica el operador especial tagbody. A diferencia de muchos otros lenguajes de programación que permiten la navegación global, como C, las etiquetas solo son accesibles en el contexto de este operador. Dentro de un tagbody, las etiquetas se definen como formas que comienzan con un símbolo; la forma especial go permite la transferencia de control entre estas etiquetas.Un segundo método utiliza las macros de lectura #n= y #n#. La primera etiqueta el objeto inmediatamente después, mientras que la segunda se refiere a su valor evaluado. En este sentido, las etiquetas constituyen una alternativa a las variables, ya que #n= declara e inicializa una "variable" y #n# accede a ella. El marcador de posición n designa un entero decimal sin signo seleccionado que identifica la etiqueta.Además, algunos formularios permiten o exigen la declaración de una etiqueta para referencia posterior, incluyendo el formulario especial block, que prescribe un nombre, y la macro loop, que se puede identificar mediante una cláusula named. Es posible salir inmediatamente de un formulario con nombre mediante el operador especial return-from.De forma similar a C, las macros case, ccase, ecase, typecase, ctypecase y etypecase definen sentencias switch.

• Número de línea