1 >> 32의 결과는 1이지만 1(uint64_t) >> 32의 결과는 0인 이유는 무엇입니까?

> 32 결과는 1이지만 1(uint64_t) >> 32 결과는 0입니까? " />

오른쪽 시프트 연산자의 이상한 동작: 1 >> 32

문제:

C 프로그램에서 오른쪽 시프트 연산자가 이상한 동작을 나타냅니다.

<code class="cpp">int foo(int a, int b) { return a >> b; }
int main() { std::cout << "foo(1, 32): " << foo(1, 32) << std::endl; }

출력은 1입니다. 이는 이론적으로 결과가 0이어야 하기 때문에 예상치 못한 결과입니다. 또한 동작은 인수 유형에 따라 다릅니다.

<code class="cpp">int bar(uint64_t a, int b) { return a >> b; }
std::cout << "bar(1, 32): " << bar(1, 32) << std::endl; // Outputs 0

설명:

이 동작은 오른쪽 시프트 연산자가 기본 데이터 유형의 너비에 따라 다르게 작동한다는 사실에서 비롯됩니다(이 경우 int). 오른쪽 시프트는 "논리적" 시프트입니다. 즉, b 값에 ​​관계없이 비워진 비트를 0으로 채웁니다. 따라서 비트 수 이상으로 시프트하면 1로 평가됩니다. 🎜>

그러나 64비트 정수(uint64_t)의 경우 오른쪽 시프트는 "산술" 시프트입니다. 즉, 값 1에 양수 부호 비트가 있으므로 빈 비트를 피연산자와 동일한 부호 비트로 채웁니다. , 1>> 32의 결과는 0입니다.

컴파일러 최적화:

또한 컴파일러의 최적화도 중요한 역할을 합니다. 식 1>> 32는 컴파일 시간 상수로, 이를 통해 컴파일러는 컴파일 중에 이를 0으로 접을 수 있습니다. 이는 함수 내 foo(1, 32)의 동적 평가와 다릅니다.

이식성 문제:

이 동작은 아키텍처에 따라 다르다는 점에 유의하는 것이 중요합니다. ARM과 같은 일부 아키텍처에서는 논리적 오른쪽 시프트가 x86/x86-64 CPU와 다르게 구현됩니다. 결과적으로 32비트 정수를 32보다 크거나 같은 값으로 이동하면 이식할 수 없는 결과가 발생할 수 있습니다.

위 내용은 1 >> 32의 결과는 1이지만 1(uint64_t) >> 32의 결과는 0인 이유는 무엇입니까?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!