Auto hält nicht an roter Ampel

[himitsu]

Ein Boolean ist 1 Byte groß und kann somit 256 Werte annehmen.

die Konstanten sind dabei so definiert:

für den delphieigenen Boolean
True = 1
False = 0

für die Windowstypen ByteBool (ShortInt), WordBool (SmallInt) und LongBool (Integer/LongInt)
True = -1
False = 0

wobei es bei der Prüfung aber so lautet
True <> 0
False = 0


Tja, nun fällt auch auf, warum es zu Problemen kommen kann
if myBoolean = True then ergibt if Byte(myBoolean) = 1 then ,
wärend if myBoolean then intern so if Byte(myBoolean) <> 0 then aussieht.

[Caps]

Ja, das ist schon klar; was ich meine ist auch bloß, dass hier das Zweiwertigkeitsprinzip der Aussagenlogik in der Delphi-Aussagenlogik nicht mehr erfüllt ist, zumindest dann nicht, wenn es mehr Wahrheitswerte als true und false gibt, oder wenn man mit true und false nicht alle ("2") Fälle abdecken kann. Als Unwissender kann man darüber stolpern. Vor allem als Mathematiker.

[Bummi]

Zitat:

Vor allem als Mathematiker.

Ich verstehe nicht was einen Mathematiker hier von einem Normalbürger unterscheidet.
Eine Variable die auf einem Bit abgebildet werden müsste wird für TRUE je nach Gusto als $FFFFFFFF oder als 1 abgebildet, ein <> 0 dürfte in jedem Fall der Überprüfung standhalten. Interessanter finde ich dass folgende Konstrukte funktionieren...

Delphi-Quellcode:

const
 true=0=1;
var
  b:Boolean;
begin
  b := true;
  if b then Showmessage('true') else Showmessage('False');
end;

wenn man sich vorstellt ein Drittanbieter könne eine derartige Deklaration verwenden....

[Caps]

Ok, das ist schon heftig .
Und es wird ein bisschen off-topic...
Interessant finde ich, dass true offenbar kein reserviertes Wort ist. Die Frage ist: verwendet Delphi jetzt lokal immer Dein selbstdefiniertes true? Sollte es eigentlich, gel?

Naja, für logische Ausdrücke kann man ja immerhin stets die Ausdrücke (1=1) für wahr und (0=1) für falsch verwenden, natürlich ohne cast...

Caps

[himitsu]

True und False sind Konstanten.
Und innerhalb eines anderen Gültigkeitsbereich kann man Typen, Konstanten und Variablen lokal neu deklarieren.

PS: Es gibt doch 2 Zustände?
False und not False aka =0 und <>0.

[Caps]

Zitat von himitsu:

PS: Es gibt doch 2 Zustände?
False und not False aka =0 und <>0.

Ja, aber hier (Delphi) kann gelten:

Code:

a := 2; // (a = not false) ist wahr
b := 1; // (b = not false) ist wahr

c := (a = b);
// c ist falsch, in der Aussagenlogik wäre c aber wahr (nur wenn a, b Wahrheitswerte sind),
// weil immer gilt (not false = not false).
// Weil es in der Aussagenlogik keine verschiedenen "not false" geben kann.

[Sir Rufo]

Zitat von Caps:

Zitat von himitsu:

PS: Es gibt doch 2 Zustände?
False und not False aka =0 und <>0.

Ja, aber hier (Delphi) kann gelten:

Code:

a := 2; // (a = not false) ist wahr
b := 1; // (b = not false) ist wahr

c := (a = b);
// c ist falsch, in der Aussagenlogik wäre c aber wahr (nur wenn a, b Wahrheitswerte sind),
// weil immer gilt (not false = not false).
// Weil es in der Aussagenlogik keine verschiedenen "not false" geben kann.

Hier werden aber gerade Birnen mit Äpfel verglichen.

Code:

a := 2
Bool( a ) => not false

( a = b ) => false
( Bool( a ) = Bool( b ) ) => true

[Caps]

Klar, mit einem expliziten Cast funktioniert's natürlich.
Aber ohne Cast kriegt man Probleme, das ist eigentlich schon alles.

[generic]

Wenn es schon ein Auto Objekt gibt, warum gibt es kein Ampel Objekt?

[himitsu]

Und vergiß das Straßenobjekt nicht.

es geht auch mit rein logischen Mitteln
if a <> b then = if a xor b then if a = b then = if (a and b) or (not a and not b) then , if not (a xor b) then