비트 수준 및 논리 연산을 사용하여 x == y와 동일하게 작성 하시겠습니까?

Question

비트 수준 (|, ~, ^, &) 및 논리 (& &, || ,!) 연산 만 사용하는 x == y와 동일한 C 표현식은 무엇입니까? x와 y가 같으면 1을 반환하고 그렇지 않으면 0을 반환해야합니다.

Answer 1

표현 x==y은 logical biconditional 표현 x<->y과 같습니다 (x와 y가 같으면 true로 평가 됨). biconditional 정도로

x==y

NOT (X에서 XOR의 Y)

되는 상당의 exclusive or (X 및 Y는 동일하지 경우이 TRUE)의 역수

비트 : ~(x^y) 논리적

이 XOR, 그래서 포기하지 않는다 N X ⊕ Y = (X의 ∨ y를) ∧ (X ∧ y)의 논리

! !((x || y) && !(x && y))

참고 :는 위의 표현은 논리적으로이 (더 나은 단어가 algebraicly 될 수있다?) 상당. 비트 비교는 물론 각 비트를 살펴볼 것입니다. @chux가 지적했듯이, 2 개의 숫자가 산술적으로 동일하지만 비트 패턴이 다른 경우 예기치 않은 결과가 발생할 수 있습니다. == 연산자를 재정의 한 개체를 비교하는 경우 동일한 문제가 C++에서 발생합니다. 논리적 버전의 경우, x과 y이 동일한 변수 유형이 아닌 경우 유형 강제 변환이 발생할 수 있습니다.