Tipo de datos booleano

Uno de los primeros lenguajes de programación en proporcionar un BOOLEANtipo de dato explícito es ALGOL 60 (1960) con valores verdadero y falso y operadores lógicos denotados por símbolos '${\displaystyle \wedge }$' (y), '${\displaystyle \vee }$' (o), '${\displaystyle \supset }$' (implica), '${\displaystyle \equiv }$' (equivalencia), y '${\displaystyle \neg }$' (no). Sin embargo, debido a las limitaciones de los dispositivos de entrada y los conjuntos de caracteres en muchas computadoras de la época, la mayoría de los compiladores utilizaban representaciones alternativas para muchos de los operadores, como ANDo 'AND'.

Este enfoque, que utiliza un tipo de datosBOOLEAN incorporado (ya sea primitivo o predefinido), fue adoptado por muchos lenguajes de programación posteriores, como Simula 67 (1967), ALGOL 68 (1970), ^{[ 3 ]} Pascal (1970), Ada (1980), Java (1995) y C# (2000), entre otros.

Las implementaciones iniciales del lenguaje C (1972) no proporcionaban un tipo booleano, y hasta el día de hoy los valores booleanos se representan comúnmente mediante enteros ( ints ) en los programas C. Los operadores de comparación ( >, ==, etc.) están definidos para devolver un intresultado entero con signo ( ), ya sea 0 (para falso) o 1 (para verdadero). Los operadores lógicos ( &&, ||, !, etc.) y las sentencias de prueba de condición ( if, while) asumen que cero (y por lo tanto también un puntero NULL o un terminador de cadena nulo '\0') es falso y todos los demás valores son verdaderos.

Tras la incorporación de los tipos enumerados ( ) a la versión de C del Instituto Nacional Estadounidense de Estándares ( ANSI C , 1989), muchos programadores de C se acostumbraron a definir sus propios tipos booleanos como tales, por motivos de legibilidad. Sin embargo, según los estándares del lenguaje, los tipos enumerados son equivalentes a los enteros; por lo tanto, la identidad efectiva entre booleanos y enteros sigue siendo válida para los programas en C.enum

El estándar C (desde C99 ) proporciona un tipo booleano llamado _Bool. Desde C23 , el booleano es ahora un tipo de datos central llamado bool, con valores truey false(anteriormente estos eran proporcionados por macros del encabezado stdbool.h, que ahora está obsoleto). El lenguaje garantiza que cualquier par de valores verdaderos se compararán como iguales (lo cual era imposible de lograr antes de la introducción del tipo). Los valores booleanos aún se comportan como enteros, se pueden almacenar en variables enteras y se pueden usar en cualquier lugar donde los enteros serían válidos, incluyendo en indexación, aritmética, análisis y formato. Este enfoque ( los valores booleanos son simplemente enteros ) se ha mantenido en todas las versiones posteriores de C. Tenga en cuenta que esto no significa que cualquier valor entero se pueda almacenar en una variable booleana.

C++ cuenta con el tipo de dato booleano booldesde C++98 , pero con conversiones automáticas de valores escalares y de puntero muy similares a las de C. Este enfoque fue adoptado también por muchos lenguajes posteriores, especialmente por algunos lenguajes de scripting como AWK .

El lenguaje de programación D tiene un tipo de dato booleano propio bool. Este booltipo es de tamaño byte y solo puede contener los valores verdadero o falso. Los únicos operadores que pueden aceptar operandos de tipo bool son: &, |, ^, &=, |=, ^=,  !, &&, || y ?: . Un valor se puede convertir implícitamente a cualquier tipo entero, donde falso se convierte en 0 y verdadero en 1. Los literales numéricos 0 y 1 se pueden convertir implícitamente a los valores booleanos falso y verdadero, respectivamente. Convertir una expresión a significa comprobar si es 0 o != 0 para tipos aritméticos, y nulo o != nulo para punteros o referencias.boolbool

Objective-C también tiene un tipo de dato booleano separado BOOL, con valores posibles que son YESo NO, equivalentes de verdadero y falso respectivamente. ^{[ 4 ]} Además, en los compiladores de Objective-C que admiten C99, _Boolse puede usar el tipo de C, ya que Objective-C es un superconjunto de C.

Forth (lenguaje de programación) no tiene tipo booleano; utiliza enteros regulares: el valor 0 (todos los bits en bajo) representa falso y -1 (todos los bits en alto) representa verdadero. Esto permite que el lenguaje defina un único conjunto de operadores lógicos, en lugar de uno para cálculos matemáticos y otro para condiciones. ^{[ 5 ]}

La primera versión de FORTRAN (1957) y su sucesora FORTRAN II (1958) no tienen valores ni operaciones lógicas; incluso la IFinstrucción condicional toma una expresión aritmética y se ramifica a una de tres ubicaciones según su signo; véase IF aritmético . FORTRAN IV (1962), sin embargo, sigue el ejemplo de ALGOL 60 al proporcionar un tipo de datos booleano ( LOGICAL), literales de verdad ( .TRUE.y .FALSE.), IFinstrucción lógica, operadores de comparación numérica con valor booleano ( .EQ., .GT., etc.) y operadores lógicos ( .AND., .OR., y .NOT.). En FORMATlas instrucciones, Lse proporciona un descriptor de formato específico (' ') para el análisis o formato de valores lógicos. Una extensión común anterior a FORTRAN 77 fue extender los operadores .EQ.y , o tal vez agregar un operador para comparar expresiones booleanas. ^{[ 6 ]} Fortran 77 agregó los operadores y para estandarizar las operaciones. Fortran 90 agregó operadores de comparación alternativos , , , , , y ..NE..XOR..EQV..NEQV.<<===/=>>=

En Java , el valor del booleantipo de datos solo puede ser trueo false. ^{[ 7 ]}

En Unity , el valor de boolean(también conocido como bool) puede ser trueo falsey se utiliza en la programación de scripts.

El lenguaje Lisp (1958) nunca tuvo un tipo de dato booleano incorporado. En cambio, las construcciones condicionales como condasumen que el valor lógico falso está representado por la lista vacía (), que se define como la misma que el átomo especial nilo NIL; mientras que cualquier otra expresión s se interpreta como verdadera . Para mayor comodidad, la mayoría de los dialectos modernos de Lisp predefinen el átomo tcon el valor t, de modo que tse puede usar como una notación mnemotécnica para verdadero .

Este enfoque ( cualquier valor puede usarse como valor booleano ) se mantuvo en la mayoría de los dialectos de Lisp ( Common Lisp , Scheme , Emacs Lisp ), y muchos lenguajes de scripting adoptaron modelos similares , incluso aquellos que tienen un tipo booleano o valores booleanos distintos; aunque los valores que se interpretan como falsos y los que se interpretan como verdaderos varían de un lenguaje a otro. En Scheme, por ejemplo, el valor falso es un átomo distinto de la lista vacía, por lo que esta última se interpreta como verdadera . Common Lisp, por otro lado, también proporciona el booleantipo dedicado, derivado como una especialización del símbolo. ^{[ 8 ]}

El lenguaje Pascal (1970) popularizó el concepto de tipos enumerados definidos por el programador, previamente disponibles con una nomenclatura diferente en COBOL , FACT y JOVIAL . Un tipo de dato integrado Booleanse proporcionó entonces como un tipo enumerado predefinido con valores FALSEy TRUE. Por definición, todas las comparaciones, operaciones lógicas y sentencias condicionales se aplicaban a y/o producían Booleanvalores. Por lo demás, el Booleantipo tenía todas las facilidades que estaban disponibles para los tipos enumerados en general, como el ordenamiento y el uso como índices. En contraste, la conversión entre Booleany enteros (o cualquier otro tipo) todavía requería pruebas explícitas o llamadas a funciones, como en ALGOL 60. Este enfoque ( Boolean es un tipo enumerado ) fue adoptado por la mayoría de los lenguajes posteriores que tenían tipos enumerados, como Modula , Ada y Haskell .

Perl no tiene un tipo de dato booleano. En cambio, cualquier valor puede comportarse como booleano en un contexto booleano (condición de ifuna whileinstrucción, argumento de &&una instrucción ||, etc.). El número 0, las cadenas"0" y "", la lista vacía ()y el valor especial undefse evalúan como falsos. ^{[ 9 ]} Todo lo demás se evalúa como verdadero.

Lua tiene un tipo de dato booleano, pero los valores no booleanos también pueden comportarse como tales. El valor no booleano nilse evalúa como falso, mientras que cualquier otro valor de tipo de dato se evalúa como verdadero. Esto incluye la cadena vacía ""y el número 0, que se consideran con frecuencia falseen otros lenguajes.

PL/I no tiene un tipo de dato booleano. En su lugar, los operadores de comparación generan valores BIT(1); '0'B representa falso y '1'B representa verdadero . Los operandos de, por ejemplo, &, |, ¬, se convierten en cadenas de bits y las operaciones se realizan sobre cada bit. La expresión de un elemento de una IFinstrucción es verdadera si algún bit es 1.

Python , desde la versión 2.3 en adelante, tiene un booltipo que es una subclase de int, el tipo entero estándar. ^{[ 10 ]} Tiene dos valores posibles: Truey False, que son versiones especiales de 1 y 0 respectivamente y se comportan como tales en contextos aritméticos. Además, un valor numérico de cero (entero o fraccional), el valor nulo ( None), la cadena vacía y los contenedores vacíos (listas, conjuntos , etc.) se consideran falsos booleanos; todos los demás valores se consideran verdaderos booleanos por defecto. ^{[ 11 ]} Las clases pueden definir cómo se tratan sus instancias en un contexto booleano a través del método especial __nonzero__(Python 2) o __bool__(Python 3). Para contenedores, __len__(el método especial para determinar la longitud de los contenedores) se utiliza si no se define el método de conversión booleana explícito.

En Ruby , por el contrario, solo nil(el valor nulo de Ruby) y un falseobjeto especial son falsos ; todo lo demás (incluido el entero 0 y los arreglos vacíos) es verdadero .

Rexx no tiene un tipo de dato booleano. En cambio, los operadores de comparación generan 0 o 1; 0 representa falso y 1 representa verdadero . Los operandos de, por ejemplo, &, |, ¬, deben ser 0 o 1.

Los booleanos aparecen en SQL cuando se necesita una condición , como en la cláusula WHERE , en forma de predicado que se produce mediante el uso de operadores como operadores de comparación, operador IN , IS (NOT) NULL, etc. Sin embargo, además de TRUE y FALSE , estos operadores también pueden producir un tercer estado, llamado UNKNOWN , cuando se realiza una comparación con.NULL

El estándar SQL92 introdujo los operadores IS (NOT) TRUE, IS (NOT) FALSE e IS (NOT) UNKNOWN que evalúan un predicado, lo que precedió a la introducción del tipo Boolean en SQL:1999 .

El estándar SQL:1999 introdujo el tipo de datos BOOLEAN como una característica opcional (T031). Cuando se restringe mediante una restricción NOT NULL , un SQL BOOLEAN se comporta como los booleanos en otros lenguajes, que solo pueden almacenar valores TRUE y FALSE . Sin embargo, si es anulable, que es el valor predeterminado como todos los demás tipos de datos SQL, también puede tener el valor especial null. Aunque el estándar SQL define tres literales para el tipo BOOLEAN ( TRUE, FALSE y UNKNOWN ), también indica que NULL BOOLEAN y UNKNOWN "pueden usarse indistintamente para significar exactamente lo mismo". ^{[ 12 ] [ 13 ]} Esto ha causado cierta controversia porque la identificación somete a UNKNOWN a las reglas de comparación de igualdad para NULL. Más precisamente, no es TRUE sino UNKNOWN/NULL . ^{[ 14 ]} A partir de 2012, pocos sistemas SQL importantes implementan la característica T031. ^{[ 15 ]} Firebird y PostgreSQL son excepciones notables, aunque PostgreSQL no implementa el literal UNKNOWN ; se puede usar en su lugar. ^{[ 16 ]}UNKNOWN = UNKNOWNNULL

El tratamiento de los valores booleanos difiere entre los sistemas SQL.

Por ejemplo, en Microsoft SQL Server , el valor booleano no es compatible en absoluto, ni como tipo de datos independiente ni representable como un entero. Muestra el mensaje de error "Una expresión de tipo no booleano especificada en un contexto donde se espera una condición" si una columna se usa directamente en la cláusula WHERE , p. ej ., mientras que una instrucción como produce un error de sintaxis. El tipo de datos BIT , que solo puede almacenar enteros 0 y 1 aparte de NULL , se usa comúnmente como una solución alternativa para almacenar valores booleanos, pero se necesitan soluciones alternativas como para convertir entre la expresión entera y la booleana.SELECTaFROMtWHEREaSELECTcolumnISNOTNULLFROMtUPDATEtSETflag=IIF(colISNOTNULL,1,0)WHEREflag=0

Microsoft Access , que utiliza el motor de base de datos Access (ACE/JET), ^{[ 17 ]} tampoco tiene un tipo de datos booleano. Al igual que MS SQL Server, utiliza un tipo de datos BIT . ^{[ 18 ]} En Access se conoce como un tipo de datos Sí/No ^{[ 19 ]} que puede tener dos valores: Sí (Verdadero) o No (Falso). El tipo de datos BIT en Access también se puede representar numéricamente: Verdadero es -1 y Falso es 0. ^{[ 20 ]} Esto difiere de MS SQL Server en dos aspectos, aunque ambos son productos de Microsoft:

1. Access representa TRUE como − 1, mientras que en SQL Server es 1.
2. Access no admite el estado triple nulo, compatible con SQL Server.

PostgreSQL tiene un tipo BOOLEAN distinto como en el estándar, ^{[ 21 ]} que permite almacenar predicados directamente en una columna BOOLEAN y permite usar una columna BOOLEAN directamente como predicado en una cláusula WHERE .

En MySQL , BOOLEAN se trata como un alias de ; ^{[ 22 ]} TRUE es lo mismo que el entero 1 y FALSE es lo mismo que el entero 0. ^{[ 23 ]} Cualquier entero distinto de cero es verdadero en las condiciones.TINYINT(1)

Tableau Software tiene un tipo de datos BOOLEAN. ^{[ 24 ]} El literal de un valor booleano es Trueo False. ^{[ 25 ]}

La INT()función Tableau convierte un valor booleano en un número, devolviendo 1 para verdadero y 0 para falso. ^{[ 26 ]}

Tcl no tiene un tipo booleano independiente. Al igual que en C, se utilizan los enteros 0 (falso) y 1 (verdadero; de hecho, cualquier entero distinto de cero). ^{[ 27 ]}

Ejemplos de codificación:

establecer v 1 si { $v } { poner "V es 1 o verdadero" }

Lo anterior mostraráV es 1 o verdaderoya que la expresión se evalúa a 1.

establecer v "" si { $v } .... 

Lo anterior producirá un error, ya que la variable v no puede evaluarse como 0 o 1.