Boolesk datatyp , eller boolesk typ, eller boolesk typ (från engelskan. Boolesk eller logisk datatyp ) är en primitiv datatyp inom datavetenskap som tar två möjliga värden, ibland kallade true ( true) och false ( false) . Det finns i de allra flesta programmeringsspråk som en oberoende enhet eller implementeras genom en numerisk datatyp. Vissa programmeringsspråk använder 1 för sant och 0 för falskt .
Typnamnet Boolean gavs för att hedra den engelske matematikern och logikern George Boole , som bland annat sysslade med matematisk logik i mitten av 1800-talet .
En boolesk datatyp kan implementeras och lagras i minnet med endast en bit , men den minsta adresserbara minnesplatsen (vanligtvis en byte eller maskinord ) används vanligtvis som en mer prestandaeffektiv lagringsenhet när man hanterar processorregister och RAM .
Följande operationer är tillämpliga på denna datatyp, symboliska beteckningar på operationer i vissa populära programmeringsspråk anges inom parentes:
Andra booleska algebraoperationer kan också användas , som Pierces pil eller Schaeffers slag . De flesta programmeringsspråk tillåter dig att använda den booleska typen av variabler och konstanter i aritmetiska operationer, först casta den till en numerisk typ, enligt typkonverteringsreglerna som antagits i språket.
Den traditionella användningen av den booleska datatypen är ja/nej-värden för resultatet av en sifferjämförelse i mer komplexa operationer.
Alla operationer för att jämföra två kvantiteter - reella variabler och heltalsvariabler eller en konstant med en variabel (lika, större, mindre), funktionerna för att kontrollera medlemskapet av en förekomst av ett element i en uppsättning och kontrollera om det inte finns tomhet i skärningspunkten mellan sets returnerar en boolesk typ som ett resultat.
Programmeringsspråket Ada definierar Booleani standardpaketet som en uppräknad typ med värden Falseoch Truei vilken False< True.
typen Boolean är ( falskt , sant ); p : Boolean := Sant ; om p då ... sluta om ;Relaterade operatorer ( =, /=, <, <=, >, >=) gäller för alla uppräknade typer, inklusive Boolean. De booleska operatorerna and, oroch gäller för typen xoroch eventuella deklarerade undertyper. Booleska operatorer gäller även för arrayer som innehåller . notBooleanBoolean
Algol 60 har den datatyp booleanoch motsvarande operatorer som anges i Algol 60-specifikationen. Datatypen har förkortats till boolALGOL 68 .
I programmeringsspråket C , som inte gav booleska värden i C89 (men introducerar i C99 ), introducerades värdejämförelse med noll istället för sanna/falska värden. Till exempel, kod:
if ( bool_variable ) printf ( "Sant! \n " ); else printf ( "Falskt! \n " );motsvarar kod:
if ( bool_variabel != 0 ) printf ( "Sant! \n " ); else printf ( "Falskt! \n " );Detta gällde för heltalsdatatypen (heltal); dock var de binära värdena för flyttal (flyttal) nära de decimalvärden som visades på skärmen, och detta gav fel vid jämförelse. Traditionellt innehöll ett heltal en (eller flera) booleska variabler (en för varje bit av heltal).
I Haskell är den booleska datatypen implementerad som den enklaste algebraiska datatypen :
data bool = false | SannI standardmodulen Data.Boolär funktionerna &&och definierade ||för den not.
I Python betecknas en boolesk datatyp som bool, för att konvertera andra datatyper till en boolean finns det en funktion bool()som fungerar enligt följande konventioner:
För andra objekt beräknas resultatet via metoden __nonzero__, som helst bör returnera Trueeller värden False.
Den booleska typen castas till följande datatyper:
Boolesk typ castas inte till andra datatyper.
Python 2.6 har en intressant funktion - du kan omdefiniera värdet Truetill Falseoch vice versa genom att bara skriva:
sant = falskteller ett alternativ för hela omfattningen
__builtins__ . sant = falsktvilket kan leda till mycket oväntat beteende hos tolken eller IDLE. I Python 3 har denna funktion tagits bort - Trueoch Falseanses vara reserverad, som ordet None.
Beskrivning av variabler:
var a , b : BooleanAritmetiska operationer på booleaner är inte tillåtna, men logiska operationer är tillåtna: Not, And, Or, Xor, relationsoperationer = (lika med), <> (inte lika med), och funktioner Ord, Pred, Succ.
var A , B : Byte ; C , D , E , F : Boolean ; börja A := Ord ( Falskt ) ; {A=0} B := Ord ( Sant ) ; {B=1} C := Pred ( Falskt ) ; {error} D := Pred ( Sant ) ; {D=False} E := Succ ( False ) ; {E=True} F := Succ ( True ) ; {error} slut .I Ruby representeras en boolesk typ av två fördefinierade variabler : trueoch false. En boolesk typ visas som ett resultat av logiska operationer eller anropande av logiska metoder . Av tradition slutar namnet på logiska metoder (det vill säga metoder som returnerar ett värde på sant eller falskt) med "?".
Det falsekan vara nil, och kvaliteten kan vara true vilket objekt som helst , inklusive en variabel med värdet "0" eller en tom sträng , vilket ofta är en överraskning för nybörjare.
| Datatyper | |
|---|---|
| Otolkbart | |
| Numerisk | |
| Text | |
| Referens | |
| Sammansatt | |
| abstrakt | |
| Övrig | |
| Relaterade ämnen | |