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 ; }

In Common Lisp two ways of defining labels exist. The first one involves the tagbody special operator. Distinguishing its usage from many other programming languages that permit global navigation, such as C, the labels are only accessible in the context of this operator. Inside of a tagbody labels are defined as forms starting with a symbol; the go special form permits a transfer of control between these labels.^[5]

(let((iterationNIL))(tagbodystart(print'started)(setfiteration0)increase(printiteration)(incfiteration1)(gocheck)check(if(>=iteration10)(goend)(goincrease))end(print'done)))

A second method utilizes the reader macros #n= and #n#, the former of which labels the object immediately following it, the latter refers to its evaluated value.^[6] Labels in this sense constitute rather an alternative to variables, with #n= declaring and initializing a “variable” and #n# accessing it. The placeholder n designates a chosen unsigned decimal integer identifying the label.

(progn#1="hello"(print#1#))

Apart from that, some forms permit or mandate the declaration of a label for later referral, including the special form block which prescribes a naming, and the loop macro that can be identified by a named clause. Immediate departure from a named form is possible by using the return-from special operator.

( 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