En programación de computadoras , una variable o escalar es una ubicación de almacenamiento abstracta emparejada con un nombre simbólico asociado , que contiene alguna cantidad conocida o desconocida de información denominada valor ; o en términos más simples, una variable es un contenedor para un conjunto particular de bits o tipo de datos (como entero, flotante, cadena, etc.). Una variable puede eventualmente asociarse o identificarse mediante una dirección de memoria . El nombre de la variable es la forma habitual de hacer referenciael valor almacenado, además de referirse a la propia variable, dependiendo del contexto. Esta separación de nombre y contenido permite que el nombre se utilice independientemente de la información exacta que representa. El identificador en el código fuente de la computadora se puede vincular a un valor durante el tiempo de ejecución y, por lo tanto , el valor de la variable puede cambiar durante el curso de la ejecución del programa . [1] [2] [3] [4]
Las variables en programación pueden no corresponder directamente al concepto de variables en matemáticas . Este último es abstracto , sin hacer referencia a un objeto físico como la ubicación de almacenamiento. El valor de una variable de cálculo no es necesariamente parte de una ecuación o fórmula como en matemáticas. Las variables en la programación de computadoras reciben frecuentemente nombres largos para hacerlas relativamente descriptivas de su uso, mientras que las variables en matemáticas a menudo tienen nombres concisos, de uno o dos caracteres para la brevedad en la transcripción y manipulación.
La ubicación de almacenamiento de una variable puede ser referenciada por varios identificadores diferentes, una situación conocida como aliasing . La asignación de un valor a la variable mediante uno de los identificadores cambiará el valor al que se puede acceder a través de los otros identificadores.
Los compiladores deben reemplazar los nombres simbólicos de las variables con las ubicaciones reales de los datos. Si bien el nombre, el tipo y la ubicación de una variable a menudo permanecen fijos, los datos almacenados en la ubicación pueden cambiarse durante la ejecución del programa.
En los lenguajes de programación imperativos , generalmente se puede acceder a los valores o cambiarlos en cualquier momento. En los lenguajes lógicos y funcionales puros , las variables están ligadas a expresiones y mantienen un valor único durante toda su vida debido a los requisitos de transparencia referencial . En los lenguajes imperativos, las constantes (con nombre) (constantes simbólicas) exhiben el mismo comportamiento , que normalmente se contrastan con las variables (normales).
Dependiendo del sistema de tipos de un lenguaje de programación, es posible que las variables solo puedan almacenar un tipo de datos específico (por ejemplo, un entero o una cadena ). Alternativamente, un tipo de datos puede asociarse solo con el valor actual, lo que permite que una sola variable almacene cualquier cosa admitida por el lenguaje de programación.