En la programación informática , una variable es una ubicación de almacenamiento abstracta emparejada con un nombre simbólico asociado , que contiene una 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 hacer referencia a la propia variable, según el contexto. Esta separación de nombre y contenido permite que el nombre se use independientemente de la información exacta que representa. El identificador en el código fuente de la computadora puede vincularse 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 , ya que no hace referencia a un objeto físico como la ubicación de almacenamiento. El valor de una variable informática no es necesariamente parte de una ecuación o fórmula como en matemáticas. A las variables en la programación de computadoras con frecuencia se les dan nombres largos para que sean relativamente descriptivas de su uso, mientras que las variables en matemáticas a menudo tienen nombres concisos de uno o dos caracteres para 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 . Asignar un valor a la variable usando uno de los identificadores cambiará el valor al que se puede acceder a través de los otros identificadores.
Los compiladores tienen que 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 cambiar 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 lenguajes funcionales y lógicos puros , las variables están vinculadas a expresiones y mantienen un único valor durante toda su vida debido a los requisitos de transparencia referencial . En los lenguajes imperativos, las constantes (nombradas) ( constantes simbólicas) exhiben el mismo comportamiento, que generalmente se contrastan con las variables (normales).
Según el 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 número 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.