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 toman la forma de un identificador , a menudo seguido de un carácter de puntuación (por ejemplo, dos puntos ). En muchos lenguajes de alto nivel , el propósito de una etiqueta es actuar como destino de una GOTOinstrucción. ^{[ 1 ] [ 2 ]} En lenguaje ensamblador , las etiquetas se pueden usar en cualquier lugar donde se pueda usar una dirección (por ejemplo, como operando de una instrucción JMPo ). ^{[ 3 ]} También en Pascal y sus variaciones derivadas. Algunos lenguajes, como Fortran y BASIC , admiten etiquetas numéricas. ^{[ 4 ]} Las etiquetas también se utilizan para identificar un punto de entrada en una secuencia compilada de instrucciones (por ejemplo, durante la depuración ).MOV

En C , una etiqueta identifica una instrucción en el código. Una misma instrucción puede tener varias etiquetas. Las etiquetas simplemente indican ubicaciones en el código y alcanzar una etiqueta no afecta la ejecución real.

void foo ( int number ) { if ( number < 0 ) goto error ; bar ( number ); return ; error : fprintf ( stderr , "¡Número inválido! \n " ); }

switch ( die ) { default : printf ( "inválido \n " ); break ;caso 1 : caso 3 : caso 5 : printf ( "impar \n " ); break ;caso 2 : caso 4 : caso 6 : printf ( "even \n " ); break ; }

En Common Lisp existen dos formas de definir etiquetas. La primera implica el tagbodyoperador especial. A diferencia de 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 las tagbodyetiquetas se definen como formas que comienzan con un símbolo; la goforma especial permite transferir el control entre estas etiquetas. ^{[ 5 ]}

( let (( iteración NIL )) ( tagbody start ( print 'iniciado ) ( setf iteración 0 ) increase ( print iteración ) ( incf iteración 1 ) ( go check ) check ( if ( >= iteración 10 ) ( go end ) ( go increase )) end ( print 'hecho )))

Un segundo método utiliza las macros de lectura y , la primera de las cuales etiqueta el objeto que la sigue inmediatamente, la segunda se refiere a su valor evaluado. ^{[ 6 ]} Las etiquetas en este sentido constituyen más bien una alternativa a las variables, con la declaración e inicialización de una “variable” y su acceso. El marcador de posición n designa un entero decimal sin signo elegido que identifica la etiqueta.#n=#n##n=#n#

( programa #1 = "hola" ( imprimir #1# ))

Además, algunos formularios permiten o exigen la declaración de una etiqueta para su posterior referencia, incluyendo el formulario especial blockque prescribe una nomenclatura y la loopmacro que puede identificarse mediante una namedcláusula. Es posible desviarse inmediatamente de un formulario con nombre utilizando el return-fromoperador especial.

( bloque myblock ( bucle para iteración desde 0 hacer ( si ( >= iteración 10 ) ( regresar desde myblock 'hecho ) ( imprimir iteración ))))

( bucle llamado myloop para iteración desde 0 hacer ( si ( >= iteración 10 ) ( retornar-desde myloop 'hecho ) ( imprimir iteración )))

De manera similar a C, las macros case, ccase, ecase, ^{[ 7 ]}typecase , ctypecasey etypecasedefinen sentencias switch. ^{[ 8 ]}

( let (( my-value 5 )) ( case my-value ( 1 ( print "uno" )) ( 2 ( print "dos" )) (( 3 4 5 ) ( print "tres cuatro o cinco" )) ( otherwise ( print "cualquier otro valor" ))))

( let (( my-value 5 )) ( typecase my-value ( list ( print "una lista" )) ( string ( print "una cadena" )) ( number ( print "un número" )) ( otherwise ( print "cualquier otro tipo" ))))

• Número de línea