성태의 닷넷 이야기
홈 주인
모아 놓은 자료
프로그래밍
질문/답변
사용자 관리
사용자
메뉴
아티클
외부 아티클
유용한 코드
온라인 기능
MathJax 입력기
최근 덧글
[정성태] Roll A Lisp In C - Reading ; https...
[정성태] Java - How to use the Foreign Funct...
[정성태] 제가 큰 실수를 했군요. ^^; Delegate를 통한 Bein...
[정성태] Working with Rust Libraries from C#...
[정성태] Detecting blocking calls using asyn...
[정성태] 아쉽게도, 커뮤니티는 아니고 개인 블로그입니다. ^^
[정성태] 질문이 잘 이해가 안 됩니다. 우선, 해당 소스코드에서 ILis...
[양승조
] var대신 dinamic으로 선언해서 해결은 했습니다. 맞는 해...
[양승조
] 또 막혔습니다. ㅠㅠ var list = props[i].Ge...
[양승조
] 아. 감사합니다. 어제는 안됐던것 같은데....정신을 차려야겠네...
글쓰기
제목
이름
암호
전자우편
HTML
홈페이지
유형
제니퍼 .NET
닷넷
COM 개체 관련
스크립트
VC++
VS.NET IDE
Windows
Team Foundation Server
디버깅 기술
오류 유형
개발 환경 구성
웹
기타
Linux
Java
DDK
Math
Phone
Graphics
사물인터넷
부모글 보이기/감추기
내용
<div style='display: inline'> <div style='font-family: 맑은 고딕, Consolas; font-size: 20pt; color: #006699; text-align: center; font-weight: bold'>C# - Right operand가 음수인 Shift 연산 결과</div> <br /> 오늘 우연히, 어떤 프로그램에서 다음과 같은 로직을 보게 되었습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > int result = 2 <b style='COLOR: blue'><< -9;</b> </pre> <br /> 오호... 보자마자 황당했습니다. ^^; '왼쪽 비트 쉬프트를 -9만큼이라니... 도대체 무슨 의미지? 보통, 양수의 경우에는 *2의 효과를 갖는데, ... 음수라니...'<br /> <br /> Visual Studio 디버거의 Watch 창에서 2 << -1, 2 << -2, 2 << -3에 대해서 각각 즉석으로 확인해 보니 결과는 다음과 같았습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > 연산 결과(16진수) 결과(2진수) 2 << 0 0x2 10 2 << -1 0x0 0 2 << -2 0x80000000 10000000000000000000000000000000 2 << -3 0x40000000 01000000000000000000000000000000 </pre> <br /> 음... 마치 "<<" 연산자가 right-operand 값이 음수일 때는 ">>" 연산자로 동작이 바뀌는 것 같습니다. 그렇게 잠정 결론을 내리고 무시하려고 했는데, 왠지 "2 << -1 == 0"의 결과가 마음에 걸립니다. 음수로 인해 "<< (left shift operator)" 결과가 ">> (right shift operator)"와 동일하게 나타나는 것이라면 1의 결괏값이 나와야 하는데, 0으로 나오다니... 설명이 안되는 것이었습니다.<br /> <br /> 더욱 재미있는 것은 2가 아닌 값을 shift 했을 때 나옵니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > 4 << <b style='COLOR: blue'>-1 0x00000000</b> 4 << <b style='COLOR: blue'>-2 0x00000000</b> 4 << -3 0x80000000 8 << <b style='COLOR: blue'>-1 0x00000000</b> 8 << <b style='COLOR: blue'>-2 0x00000000</b> 8 << <b style='COLOR: blue'>-3 0x00000000</b> 8 << -4 0x80000000 </pre> <br /> 결국, 부끄럽게도 그동안 제가 "<< (left shift operator)", ">> (right shift operator)" 연산자에 대한 기본적인 이해도 없이 사용했다는 결론만 나온 것입니다. ^^<br /> <br /> 확실한 이해를 위해 우선, C# 매뉴얼을 찾아보기로 했습니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > << Operator (C# Reference) ; <a target='_tab' href='https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/operators/bitwise-and-shift-operators#left-shift-operator-'>https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/operators/bitwise-and-shift-operators#left-shift-operator-</a> </pre> <br /> 솔직히, 처음에 위의 글을 봤을 때는 원인을 찾을 수 없었습니다. (나중에 보니, 답이 있었는데... 현재의 상태에서는 눈에 띄지 않았습니다.)<br /> <br /> 좀 더 검색을 해서 다음의 글을 보게 되었는데, 그제서야 이해가 되었습니다. (재미있군요. 자바에서 ^^ 결과가 나오다니.)<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > Java Quick Reference Operators and Assignments - Shift Operators ; <a target='_tab' href='http://www.janeg.ca/scjp/oper/shift.html'>http://www.janeg.ca/scjp/oper/shift.html</a> </pre> <br /> 정리하면, Shift 연산자의 우측 Operand 값은 좌측 Operand의 값이 32비트이면 5비트, 64비트이면 6비트만 사용된다는 것입니다. 따라서, -1, -2, -3 값이 우측 Operand 값에 나오면 실제로 shift 되어야 하는 값은 다음과 같이 계산되어집니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > -1 == 2진수 11111111111111111111111111111111 -2 == 2진수 11111111111111111111111111111110 -3 == 2진수 11111111111111111111111111111101 좌측 operand 값이 32비트 형이므로 각각의 값에서 하위 5비트만 취함. 즉 0x1F 값과 AND 연산을 하면, -1의 경우, 111111111111111111111111111<b style='COLOR: blue'>11111</b> & 000000000000000000000000000<b style='COLOR: blue'>11111</b> -------------------------------------- 11111 == (10진수: 31) -2의 경우, 111111111111111111111111111<b style='COLOR: blue'>11110</b> & 000000000000000000000000000<b style='COLOR: blue'>11111</b> -------------------------------------- 11110 == (10진수: 30) -3의 경우, 111111111111111111111111111<b style='COLOR: blue'>11101</b> & 000000000000000000000000000<b style='COLOR: blue'>11111</b> -------------------------------------- 11101 == (10진수: 29) </pre> <br /> 따라서, 결국 다음과 같은 연산으로 바뀌는 것입니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > 2 << -1 == 2 << 31 2 << -2 == 2 << 30 2 << -3 == 2 << 29 </pre> <br /> 이해를 모두 하고 나서 다시 C# 도움말 - <a target='_tab' href='https://docs.microsoft.com/en-us/dotnet/csharp/language-reference/operators/bitwise-and-shift-operators#left-shift-operator-'><< Operator (C# Reference)</a>을 보니, 거기에 설명된 문구의 진정한 의미가 해석이 되었습니다.<br /> <br /> <div style='BACKGROUND-COLOR: #ccffcc; padding: 10px 10px 5px 10px; MARGIN: 0px 10px 10px 10px; FONT-FAMILY: 맑은 고딕, Consolas, Verdana; COLOR: #005555'> If the first operand is an int or uint (32-bit quantity), <b style='COLOR: blue'>the shift count is given by the low-order five bits of the second operand</b>. That is, the actual shift count is 0 to 31 bits. <br /> <br /> If the first operand is a long or ulong (64-bit quantity), <b style='COLOR: blue'>the shift count is given by the low-order six bits of the second operand.</b> That is, the actual shift count is 0 to 63 bits. <br /> </div><br /> <br /> 음... 기왕이면 자바 도움말 - <a target='_tab' href='http://www.janeg.ca/scjp/oper/shift.html'>Operators and Assignments - Shift Operators</a>처럼 설명이 좀 더 자세했으면... 하는 아쉬움이 들더군요. ^^<br /> <br /> <hr style='width: 50%' /><br /> <br /> 다시 처음의 C# 코드로 돌아가서,<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > int result = 2 <b style='COLOR: blue'><< -9;</b> </pre> <br /> 과연 이것이 올바르게 의도된 동작일까 싶더군요. 실제로 C/C++ 도움말에 보면 다음과 같은 설명글을 볼 수 있습니다.<br /> <br /> <div style='BACKGROUND-COLOR: #ccffcc; padding: 10px 10px 5px 10px; MARGIN: 0px 10px 10px 10px; FONT-FAMILY: 맑은 고딕, Consolas, Verdana; COLOR: #005555'> The result is undefined if the right operand of a shift expression is negative <br /> </div><br /> <br /> 즉, 정상적인 이해를 요하는 C# 코드라면 다음과 같이 작성되는 것이 더욱 바람직하지 않을까 하는 것이 제 개인적인 의견입니다.<br /> <br /> <pre style='margin: 10px 0px 10px 10px; padding: 10px 0px 10px 10px; width: 800px; background-color: #fbedbb; overflow-x: scroll; font-family: Consolas, Verdana;' > int result = 2 <b style='COLOR: blue'><< 23;</b> </pre> <br /> 어쨌든, 덕분에 비트 Shift 연산자를 좀 더 이해할 수 있는 계기가 되긴 했지만. ^^<br /> <br /><br /><hr /><span style='color: Maroon'>[이 글에 대해서 여러분들과 의견을 공유하고 싶습니다. 틀리거나 미흡한 부분 또는 의문 사항이 있으시면 언제든 댓글 남겨주십시오.]</span> </div>
첨부파일
스팸 방지용 인증 번호
1893
(왼쪽의 숫자를 입력해야 합니다.)