Auto hält nicht an roter Ampel

[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?