Wann ist (x ||! X) falsch?

Question

Ein Freund von mir hat mir scherzhaft diese Frage gestellt. Es sollte eine Bemerkung vom Typ "geht ohne zu sagen" sein, aber dann habe ich eine Weile darüber nachgedacht und mit einigen cleveren "fast Lösungen" angefangen.

Erster Versuch:

Wenn C unterstützt jemals Quantencomputing kann es eine Antwort darauf sein. Ein q-Bit kann in vielen Zuständen gleichzeitig sein, also könnte es false AND true sein und diese Bedingung gibt (BOOL)0.5 alias "Ja/nein/vielleicht-so" zurück - aber sobald Sie die Variable beobachten, wird die ganze Sache zusammenbrechen und ungültig werden nochmal.

Zweiter Versuch:

Wenn X irgendwie als zufälliger binärer Generator definiert werden könnte und man wirft ihn auf ein BOOL Sie einen Teil der Zeit falsch bekommen können. Ich bin mir nicht sicher, ob Sie dies tun können, aber in C, wenn Sie CLANG verwenden. #define x (BOOL)!!(rand()%2)

---

---

Die Sprache, die wir diese in der Diskussion wurden ist C aber ich bin auch gespannt, ob jemand irgendwelche Lösungen in jede Sprache finden können.

Answer 1

Wenn x flüchtig ist (volatile int x) und wird von einem Außengewinde/Gerät modifiziert, kann der Ausdruck falsch sein.

Answer 2

Makros betrügen hier wirklich, aber Sie brauchen nichts mit booleschen Typen oder speziellen Compilern zu tun. Im Folgenden, soweit ich weiß, ist rechtlich C.

#include <stdio.h> 
int f(void) { 
    static int y = 0; 
    if (y == 0) { 
    y = 1; 
    return 0; 
    } else { 
    return 1; 
    } 
} 

#define x f() 

int main(void) { 
    if (x || !x) { 
    puts("It was true"); 
    } else { 
    puts("It was false"); 
    } 
    return 0; 
} 

Oder noch prägnanter:

int y = 0; 
#define x y++ 

(Für diejenigen besorgt über undefiniertes Verhalten, beachten Sie, dass ein Sequenzpunkt zwischen der linken Seite und die rechte Seite von ||)

Answer 3

Es ist ein bisschen wie ein Trick, aber die folgende Lösung funktioniert auch.

#define x 1 ? 0 : 1 
(x || !x) 

Der Grund liegt in der Vorrangstellung des Operators. Nach der Vorverarbeitung (x || !x) löst die folgenden (Klammern hinzugefügt, um den Vorrang zu zeigen):

(1 ? 0 : (1 || !1) ? 0 : 1) 

Answer 4

Eine noch einfachere Makro:

#define x 0&0 

(x || !x) Erweiterung gibt (0 & 0 || !0 & 0) die immer falsch ist.

Ähnlich:

#define x 0*0 
#define x 1*0 // for binary buffs 
#define x 4&2 // for HHGG fans. 

Ich konnte kein 2-Buchstaben-Makro finden :(

Answer 5

Wenn x eine charecter Typ ist (dh nicht int oder Bool), dann einige Sprache wie JS, PHP usw. können die Folge sein der Ausdruck als falsch.

die

für

im Falle von Typ Gussfehler bedeutet

char x = "string";

(x ||! X) = False (0 oder NaN)

, dass Sprache, die sie gut type casting unterstützen keine Fehler aufwiesen oder dieser Fehler kann durch Selbst Gießen entfernt werden.

selbst gegossen, z.B. char a = "10"; int b = (int) a;

neu ver. der Sprache gehören auch Teig Cast Engeine.

Answer 6

in JS Versuchte:

var i = 0

i ++ || ! (i ++)

Hinweis: Diese Lösung funktioniert nur, wenn i = 0