Boolen tietotyyppi on tietotyyppi, joka voi olla jompikumpi kahdesta arvosta: tosi (true) tai epätosi (false). Boolen lausekkeet on nimetty englantilaisen matemaatikon George Boolen mukaan, joka muotoili matemaattisen logiikan säännöt. Boolen lausekkeet saavat myös arvoksi joko true tai false. Boolen lausekkeita käytetään erityisesti ehdollisissa rakenteissa (esim. if-, switch-) ja silmukoissa (esim. while-, for-), eli tilanteissa joissa ohjelman kulku muuttuu ehdon perusteella.

Mitä arvoilla true ja false tarkoitetaan?

Arvo true tarkoittaa, että ehto toteutuu (on tosi). Arvo false tarkoittaa, että ehto ei toteudu (on epätosi). Useissa ohjelmointikielissä vertailuoperaatiot (esim. ==, !=, <, >) ja loogiset operaatiot palauttavat boolean-arvon.

Historia ja standardointi

Boolean-tyyppi sai nimensä George Boolen mukaan. Monet modernit ohjelmointikielet sisältävät oman boolean-tyypin. Esimerkiksi C++-standardi määritteli tyypin bool vuonna 1998 (C++98). C-kielessä vastaava tyyppi _Bool lisättiin C99-standardiin. Eräissä skriptikielissä (kuten Pythonissa) boolean-arvot esitetään sanoilla True ja False.

Käyttö ohjelmoinnissa

Bool-arvoja käytetään esimerkiksi:

  • ehdoissa: if (ehto) { ... }
  • silmukoissa: while (ehto) { ... }
    • int a = (b > 0); — tuloksena 1 tai 0 kielestä riippuen
  • funktion palautusarvona, kun halutaan ilmaista onnistuminen/epäonnistuminen tai ehto on toteutunut

Loogiset operaattorit

Yleisimmät loogiset operaattorit ovat:

  • AND (esim. &&): true && true → true, muuten false
  • OR (esim. ||): false || false → false, muuten true
  • NOT (esim. !): !true → false, !false → true

Monissa kielissä operaattorit tekevät ns. lyhytsilmukoinnin (short-circuit): AND pysähtyy heti, kun osa-ehto on false, OR pysähtyy heti, kun osa-ehto on true.

Esimerkkejä koodista

Esimerkit eri kielistä:

// C++ bool ok = true; if (ok && (x > 0)) {     // ... }  // Python flag = True if not flag:     pass  // Java boolean valid = (a == b); if (valid) {     // ... }  // JavaScript let enabled = true; if (enabled || someOtherCondition()) { ... }

Totuusarvot ja tyyppimuunnokset

Joissain kielissä (esim. C, C++) kaikki nollasta poikkeavat luvut katsotaan todeksi ja nolla epätodeksi, tai arvoja voidaan konvertoida booleaniksi. Skriptikielissä (esim. JavaScript, Python) on myös käsite "truthy" ja "falsy" — tietynlaiset arvot tulkitaan todeksi tai epätodeksi ilman että ne ovat varsinaisesti boolean-tyyppiä.

Koko ja esitystapa

Booleanin esitys ja koko muistissa riippuvat kielestä ja toteutuksesta. Monet toteutukset käyttävät yhtä tavua (1 bitti voisi riittää, mutta toteutuksissa käytetään usein 8 bittiä), mutta standardit eivät aina kovin yksiselitteisesti määrittele sisäistä esitystä. C++:ssa sizeof(bool) on toteutusriippuvainen, mutta tyypillisesti 1.

Yleiset sudenkuopat

  • Yhtäsuuruuden ja sijoituksen sekoittaminen: C-tyyppisissä kielissä = on sijoitus ja == vertailu. if (a = 0) on usein virheellinen (sijoitus), kun tarkoitus oli if (a == 0).
  • Truthiness: JavaScriptissä tai Pythonissa arvo 0, "", null/None, undefined (JS) ym. ovat "falsy" — ne eivät ole boolean-tyyppiä mutta käyttäytyvät epätosina ehdossa.
  • Null- tai määrittelemättömät arvot: Joissain kielissä null/None/undefined voivat aiheuttaa virheitä, jos niitä käytetään suoraan boolean-ehtona ilman tarkistusta.
  • Lopputyypin olettaminen: Ole tarkkana, jos funktio palauttaa numeron, jota käytät booleanina — oletukset siitä, mikä katsotaan todeksi, voivat vaihdella.

Boolean-algebra lyhyesti

Boolean-algebra käsittelee loogisia arvoja ja operaatioita (AND, OR, NOT) ja on perusta digitaalielektroniikalle sekä ehtolauseiden käsittelylle ohjelmoinnissa. Yleisiä sääntöjä ovat mm. De Morganin lait:

  • !(A && B) on yhtä kuin (!A) || (!B)
  • !(A || B) on yhtä kuin (!A) && (!B)

Yhteenvetona: boolean eli bool on yksinkertainen mutta keskeinen tietotyyppi, jolla hallitaan ehdollisuutta ja loogista päätöksentekoa ohjelmissa. Sen ymmärtäminen helpottaa koodin luettavuutta ja virheiden välttämistä.