Булевский тип

Булевый (логический) тип данных — в информатике является примитивным типом данных имеющим два возможных значения, иногда называемых правдой англ. true и ложью англ. false. Присутствует в подавляющем большинстве языков программирования как самостоятельная сущность или реализуется через численный тип. В подавляющем большинстве языков за истину полагается единица, за ложь ноль.

Содержание

Реализация

Булевый тип данных может быть реализовани с использованием только одного бита, но обычно используется машинное слово, как эффективная единица работы с регистрами и оперативной памятью.

Доступные операции

К этому типу данных применимы следующие операции:

  • И (логическое умножение) (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

В языке Python булевый тип данных обозначается как bool, для приведения других типов данных к булеву существует функция bool(), работающая по следующим соглашениям:

  • строки: пустая строка — ложь, непустая строка истина.
  • числа: нулевое число — ложь, ненулевое число (в том числе и меньшее единицы) — истина.
  • списки и кортежи: пустой список (кортеж) — ложь, непустой (даже содержащий один элемент, например пустой кортеж) — истина.
  • функции — всегда истина.

Для других объектов результат расчитывается через метод __nonzero__, который в идеале должен возвращать значения True/False.

Булевый тип приводится к следующим типам данных:

  • строковый: 'True' для истины, 'False' для лжи.
  • числовой (встроеные типы int, long, float): 1 для истины, 0 для лжи.

К другим типам данных булевый тип не приводится.

Руби

В Руби булевский тип представлен двумя предопределенными переменными: true и false. Появляется логический тип в результате логических операций или вызова логических методов. По традиции, имя логических методов (то есть методов, которые возвращают значение true или false) заканчивается на «?».

В качестве false может выступать nil, а в качестве true — любой объект, в том числе переменная со значением «0» или пустая строка, что часто является неожиданностью для новичков.

 
Начальная страница  » 
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ы Э Ю Я
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
0 1 2 3 4 5 6 7 8 9 Home