Dlaczego działa funkcja (boolean^int> 0)?

Gdy spróbujesz zrobić coś takiego:Dlaczego działa funkcja (boolean^int> 0)?

if (true^1) { 
    //do something 
}

kompilator rozsądnie mówi, że operator ^ nie jest zdefiniowane dla typów argumentów boolean i int. Ale jeśli używasz go tak:

if (true^1 > 0) { 
    //do something 
}

się kompiluje kod (Java 8 co najmniej) i bezawaryjnie działa. Zasadniczo te operacje:

false^-1 > 0 
false^1 > 0 
true^-1 > 0 
true^1 > 0

działać jak ważny logicznej XOR:

 |^
-----+-- 
F F | F 
F T | T 
T F | T 
T T | F

Czy ktoś proszę wyjaśnić, co dzieje się pod maską?

Źródło

2017-01-25 Pavel

+32

Zalecam zapoznanie się z [* priorytetem operatora *] (http://introcs.cs.princeton.edu/java/11precedence/). –

@Someprogrammerdude Aby być uczciwym, fakt, że operatory bitowe mają niższy priorytet niż porównania, jest szczególnie niezrozumiałym aspektem priorytetu operatorów w przypadku języków. – Random832

Dlatego musisz się o tym dowiedzieć, @random :-) –

To proste: > ma wyższy precedence niż ^, więc

if (true^1 > 0) {

jest równoważna

if (true^(1 > 0)) {

co odpowiada

if (true^true)

... co jest po prostu logiczne XOR.

Nigdy bym nie napisać kod tak, pamiętaj. Byłbym zaskoczony, gdyby zobaczyłem przykład, który nie mógłby być napisany jaśniej w inny sposób.

Źródło

2017-01-25 14:55:27

Nigdy nie zrozumiałem, dlaczego języki zorientowane na bezpieczeństwo, takie jak Java i C#, zezwalają nawet na taki kod, zamiast wymagać nawiasów dla jasności. W końcu nie ma reguły, że pierwszeństwo operatora musi być całkowitym porządkiem. – CodesInChaos

@CodesInChaos: Well predence + associativity sprawiają, że zachowanie jest dobrze zdefiniowane dla każdego wyrażenia. Nie jestem pewien, czy to masz na myśli "całkowite zamówienie" ... –

@CodeInChaos Myślę, że odpowiedź brzmi, że są zorientowane na bezpieczeństwo, a nie na czystość. Są powiązane, ale odrębne. Bezpieczeństwo wymaga, aby nie było dwuznaczności i jest to zdecydowanie jednoznaczne. Idea języka klarowności jest jednak interesująca. Nigdy nie pracowałem z czymś, co ograniczyło składnię _pewnie_, ponieważ może to być trudne do zrozumienia. To dziwne, ponieważ jasność jest powszechnie uważana za tak fundamentalny aspekt dobrego rozwoju. – JimmyJames

1 jest typu int.

1> 0 jest typu boolean.

^oznacza XOR; i nie możesz XOR boolean i int.

Innymi słowy: pierwsze wyrażenie "1" oznacza liczbę; drugie wyrażenie "1> 0" odnosi się do logiki Boole'a. Powodem tego jest operator predecence.

Źródło

2017-01-25 14:54:47 GhostCat

Ponieważ operacja ma wyższy priorytet niż ^, więc jest równoważna z true^(1>0), która działa z tymi samymi typami (boolean^boolean).

Źródło

2017-01-25 14:56:22 Andremoniy

[To jest "niż", a nie "wtedy"] (http://www.wikihow.com/Use-Than-and-Then) (w tym kontekście). –

Ponieważ zamówienie (priorytet) operacji jest ważna, > ma wyższy priorytet niż ^

Tutaj, najpierw musimy sprawdzić 1 > 0 a następnie pierwsza operacja jest XORed (^) z pierwszego wyniku

jest równoważna if(true^(1 > 0))

Ale, oczywiście, nie można przeliczyć na wartość boolowską z int

Źródło

2017-01-25 14:58:51 MateuszW90

Dlaczego działa funkcja (boolean^int> 0)?

Odpowiedz

Powiązane problemy