En programación de computadoras , un enunciado es una unidad sintáctica de un lenguaje de programación imperativo que expresa alguna acción a realizar. [1] Un programa escrito en dicho lenguaje está formado por una secuencia de una o más declaraciones. Una declaración puede tener componentes internos (por ejemplo, expresiones ).
Muchos lenguajes de programación (por ejemplo , Ada , Algol 60 , C , Java , Pascal ) hacen una distinción entre declaraciones y definiciones/declaraciones . Una definición o declaración especifica los datos sobre los cuales operará un programa, mientras que una declaración especifica las acciones que se tomarán con esos datos.
Las declaraciones que no pueden contener otras declaraciones son simples ; aquellos que pueden contener otras declaraciones son compuestos . [2]
La apariencia de una declaración (y de hecho de un programa) está determinada por su sintaxis o gramática. El significado de una declaración está determinado por su semántica .
Las declaraciones simples son completas en sí mismas; estos incluyen asignaciones, llamadas a subrutinas y algunas declaraciones que pueden afectar significativamente el flujo de control del programa (por ejemplo , ir a , regresar , detener/detener). En algunos lenguajes, la entrada y salida, las afirmaciones y las salidas se manejan mediante declaraciones especiales, mientras que otros lenguajes usan llamadas a subrutinas predefinidas.
variable = expressionvariable := expression;variable = expression;CALL subroutine name(parameters)subroutine name(parameters);assert(relational expression);assert relational expression;GOTO numbered-labelgoto label;goto label;RETURN valuereturn value;STOP numberexit(expression)exit number;Las declaraciones compuestas pueden contener (secuencias de) declaraciones, anidables a cualquier profundidad razonable, y generalmente implican pruebas para decidir si obedecer o repetir estas declaraciones contenidas.
begin <sequence> endbegin <sequence> end{ <sequence> }if test then <sequence> end if;Muchas declaraciones compuestas son comandos de bucle o comandos de elección. En teoría sólo se requiere uno de cada uno de estos tipos de comandos. En la práctica hay varios casos especiales que ocurren con bastante frecuencia; Estos pueden hacer que un programa sea más fácil de entender, pueden facilitar la programación y, a menudo, pueden implementarse de manera mucho más eficiente. Hay muchas sutilezas que no se mencionan aquí; consulte los artículos vinculados para obtener más detalles.
for index := 1 step 1 until limit do <statement> ;for index := 1 to limit do <statement> ; for ( index = 1; index <= limit; index += 1) <statement> ;for index in 1..limit loop <sequence> end loopÍndice DO = 1 , límite <secuencia> FIN DO _ for index := expression while test do <statement> ;while test do <statement> ;while (test) <statement> ;while test loop <sequence> end loopHACER MIENTRAS ( prueba ) <secuencia> FINALIZAR DO repeat <sequence> until test; { note reversed test}do { <sequence> } while (test) ;loop <sequence> exit when test; end loop;do { <sequence> if (test) break; <sequence> } while (true) ;loop <sequence> exit when test; <sequence> end loop;if test then <unconditional statement> ;if test then <statement> ;if (test) <statement> ;if test then <sequence> end if;SI ( prueba ) ENTONCES <secuencia> FINALIZAR SI _ if test then <unconditional statement> else <statement> ;if test then <statement> else <statement> ;it (test) <statement> else <statement> ;if test then <sequence> else <sequence> end if;SI ( prueba ) ENTONCES <secuencia> ELSE <secuencia> FINALIZAR SI _ _ _ case c of 'a': alert(); 'q': quit(); end;case c is when 'a' => alert(); when 'q' => quit(); end case;switch (c) { case 'a': alert(); break; case 'q': quit(); break; } begin protected code except when exception specification => exception handlertry { protected code } catch (exception specification) { exception handler } finally { cleanup } try: protected code except exception specification: exception handler else: no exceptions finally: cleanupAparte de las asignaciones y llamadas a subrutinas, la mayoría de los lenguajes comienzan cada declaración con una palabra especial (por ejemplo, goto, if, while, etc.), como se muestra en los ejemplos anteriores. Se han utilizado varios métodos para describir la forma de declaraciones en diferentes idiomas; los métodos más formales tienden a ser más precisos:
BNF utiliza la recursividad para expresar repetición, por lo que se han propuesto varias extensiones para permitir la indicación directa de repetición.
Algunas gramáticas de lenguajes de programación reservan palabras clave o las marcan especialmente y no permiten que se utilicen como identificadores . Esto a menudo conduce a gramáticas que son más fáciles de analizar y requieren menos anticipación .
Fortran y PL/1 no tienen palabras clave reservadas, lo que permite declaraciones como:
IF IF = THEN THEN ... (el segundo IFy el primero THENson variables).IF (A) X = 10... declaración condicional (con otras variantes)IF (A) = 2 asignación a una variable con subíndice llamadaIFDO 10 I = 1,5 inicio de un bucle con I corriendo del 1 al 5DO 10 I = 1.5 asignación del valor 1,5 a la variableDO10IEn Algol 60 y Algol 68, se distinguían explícitamente fichas especiales: para publicación, en negrita, por ejemplo begin; para programación, con alguna marca especial, por ejemplo, una bandera ( 'begin), comillas ( 'begin') o subrayado ( beginen Elliott 503 ). A esto se le llama "afilar".
Por lo tanto, los tokens que forman parte de la sintaxis del lenguaje no entran en conflicto con los nombres definidos por el programador.
Ciertos nombres están reservados como parte del lenguaje de programación y no se pueden utilizar como nombres definidos por el programador. La mayoría de los lenguajes de programación más populares utilizan palabras clave reservadas. Los primeros ejemplos incluyen FLOW-MATIC (1953) y COBOL (1959). Desde 1970, otros ejemplos incluyen Ada, C, C++, Java y Pascal. El número de palabras reservadas depende del idioma: C tiene unas 30 mientras que COBOL tiene unas 400.
La semántica se ocupa del significado de un programa. Los documentos estándar para muchos lenguajes de programación usan BNF o algún equivalente para expresar la sintaxis/gramática de una manera bastante formal y precisa, pero la semántica/significado del programa generalmente se describe usando ejemplos y prosa en inglés. Esto puede resultar en ambigüedad. [8] En algunas descripciones de lenguaje, el significado de declaraciones compuestas se define mediante el uso de construcciones "más simples", por ejemplo, un bucle while se puede definir mediante una combinación de pruebas, saltos y etiquetas , usando ify goto.
El artículo sobre semántica describe varios formalismos matemáticos/lógicos que se han utilizado para especificar la semántica de manera precisa; generalmente son más complicados que el BNF y no se acepta generalmente ningún enfoque único como el camino a seguir. Algunos enfoques definen efectivamente un intérprete para el lenguaje, algunos usan lógica formal para razonar sobre un programa, algunos adjuntan afijos a entidades sintácticas para garantizar la coherencia, etc.
A menudo se hace una distinción entre declaraciones, que se ejecutan, y expresiones , que se evalúan. Las expresiones siempre se evalúan como un valor, mientras que las declaraciones no. Sin embargo, las expresiones se utilizan a menudo como parte de una declaración más amplia.
En la mayoría de los lenguajes de programación, una declaración puede consistir en poco más que una expresión, generalmente siguiendo la expresión con un terminador de declaración (punto y coma). En tal caso, aunque la expresión se evalúa como un valor, la declaración completa no (el valor de la expresión se descarta). Por ejemplo, en C, C++, C# y muchos lenguajes similares, x = y + 1hay una expresión que establecerá x en el valor de y más uno, y toda la expresión en sí se evaluará en el mismo valor en el que se establece x. Sin embargo, x = y + 1;(tenga en cuenta el punto y coma al final) es una declaración que aún establecerá x en el valor de y más uno porque la expresión dentro de la declaración aún se evalúa, pero el resultado de la expresión se descarta y la declaración en sí no evaluar a cualquier valor. [9]
Las expresiones también pueden estar contenidas dentro de otras expresiones. Por ejemplo, la expresión x = y + 1contiene la expresión y + 1, que a su vez contiene los valores yy 1, que también son técnicamente expresiones.
Aunque los ejemplos anteriores muestran expresiones de asignación, algunos lenguajes no implementan la asignación como una expresión, sino como una declaración. Un ejemplo notable de esto es Python , donde = no es un operador, sino simplemente un separador en la declaración de asignación. Aunque Python permite múltiples asignaciones ya que cada asignación era una expresión, este es simplemente un caso especial de la declaración de asignación integrada en la gramática del lenguaje en lugar de una expresión verdadera. [10]
La mayoría de los lenguajes tienen un conjunto fijo de declaraciones definidas por el lenguaje, pero se han realizado experimentos con lenguajes extensibles que permiten al programador definir nuevas declaraciones.