Логічний тип даних

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Логічний (булевий) тип даних — примітивний тип даних в інформатиці, що може приймати два можливих значення, що іноді називаються істиною і хибою (також так й ні). Присутній в переважній більшості мов програмування як самостійна сутність або реалізований через числовий тип. Зазвичай за хибне приймають нульове значення, за істину одиницю чи будь-яке інше відмінне від нуля число.

Реалізація[ред.ред. код]

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

Доступні операції[ред.ред. код]

До цього типу даних застосовні наступні операції:

  • І (логічне множення) (AND, &, *),
  • АБО (логічне додавання) (OR, |, +),
  • виключальне АБО (множення з переносом) (xor, NEQV, ^),
  • еквівалентність (рівняння) (EQV, =, ==)
  • інверсія (NOT, ~, !)
  • порівняння (>, <, <=, >=)

Також можуть використовуватися і інші операції алгебри логіки. Більшість мов програмування легко дозволяють використовувати булів тип і в арифметичних операціях, приводячи його до чисельного типу згідно з прийнятим в мові правилам приведення типів. C# є прикладом мови, що не виконує автоматичного приведення.

Застосування[ред.ред. код]

Змінні логічних типів використовуються для виразу результатів логічних операцій.

Всі операції порівняння двох величин, операції входження елемента в множину і перевірка на перетинання множин повертають в якості результату булівський тип.

Використання в С++[ред.ред. код]

 bool b1 = a == b;
 
 bool is_open (File*);
 bool greater (int a, int b) { return a>b; }
 
 bool b2 = 7;
 int i = true;
 
 bool a = true;
 bool b = true;
 bool x = a + b;
 bool y = a | b;

Дивись також[ред.ред. код]