Булевский тип | это... Что такое Булевский тип? (original) (raw)
Логический (булев) тип данных — примитивный тип данных в информатике, которые могут принимать два возможных значения, иногда называемых правдой и ложью. Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип. В подавляющем большинстве языков за истину полагается единица, за ложь - ноль.
Содержание
Реализация
Булевый тип данных может быть реализован с использованием только одного бита, но обычно используется минимальная адресуемая ячейка памяти (байт) или машинное слово, как эффективная единица работы с регистрами и оперативной памятью.
Доступные операции
К этому типу данных применимы следующие операции:
- И (логическое умножение) (
AND
,&
,*
), - ИЛИ (логическое сложение) (
OR
,|
,+
), - исключающее ИЛИ (умножение с переносом) (
xor
,NEQV
,^
), - эквивалентность (равенство) (
EQV
,=
,==
) - инверсия (
NOT
,~
,!
) - сравнение (
>
,<
,<=
,>=
)
Так же могут использоваться и другие операции булевой алгебры. Большинство языков программирования позволяют использовать булевый тип и в арифметических операциях, приводя его к численному типу согласно принятым в языке правилам приведения типов.
Применение
Традиционным применением булевого типа данных являются значения «да»/«нет» в отношении результата более сложных операций.
Все операции сравнения двух величин (равно, больше, меньше), операции вхождения элемента в множество и проверка на пересечение множеств возвращают в качестве результата булевый тип.
Реализация в различных языках программирования
Ada
Язык программирования Ada определяет Boolean
в пакете Standard как нумерованный тип со значениями False
и True
в котором False
< True
.
type Boolean is (False, True);
p : Boolean := True; ... if p then ... end if;
Родственные операторы (=
, /=
, <
, <=
, >
, >=
) применяются ко всем нумерованым типам, включая Boolean
. Булевые операторы and
, or
, xor
и not
применимы к типу Boolean
и любым объявленным подтипам. Булевые операторы также применимы к массивам, содержащим значения Boolean
.
Algol
Algol 60 имеет тип данных boolean
и соответствующие операторы, установленные в спецификации Algol 60. Тип данных был сокращён до bool
в ALGOL 68.
C
В языке программирования C, который не предоставлял булевых значений в C89 (но вводит в C99) вместо значений true/false было установлено сравнение значения с нулём. Для примера, код на C
if (my_variable) { printf("True!\n"); } else { printf("False!\n"); }
равнозначен коду
if (my_variable != 0) { printf("True!\n"); } else { printf("False!\n"); }
Это было честно для типа данных целочисленное (integer); тем не менее бинарные значения чисел с плавающей запятой (floating-point) были приближёнными к выводимым на экран десятичным значениям и это давало ошибки при сравнении. Традиционно, целое содержало одну (или более) булевую переменную (одну на каждый разряд целого).
Python
Pascal
Описание переменных
Операции
Арифметических нет. Операций отношений нет. Допустимы следующие логические операции: Not, And, Or, Xor Допустимые функции: Ord,Pred,Succ
var A,B:Byte; C,D,E,F:boolean; begin A:=Ord(False); {A=0} B:=Ord(True); {B=1} C:=Pred(False);{ошибка} D:=Pred(True); {D=False} E:=Succ(False); {E=True} F:=Succ(True); {ошибка} end.
Руби
В Руби булевский тип представлен двумя предопределенными переменными: true
и false
. Появляется логический тип в результате логических операций или вызова логических методов. По традиции, имя логических методов (то есть методов, которые возвращают значение true или false) заканчивается на «?».
В качестве false
может выступать nil
, а в качестве true
— любой объект, в том числе переменная со значением «0» или пустая строка, что часто является неожиданностью для новичков.
Wikimedia Foundation.2010.