a^=b^=a^=b swap이 자바에서 동작하지 않는 이유가 궁금합니다.

Question

예를들어int a&#61;33; int b&#61;77; a^&#61;b^&#61;a^&#61;b; 를 이용한 swap이C에서는 제대로 동작 되는데Java에서 제대로 동작하지 않는 이유에 대해 알려주세요.

mirheeoj · Answer

자바와 C#이 동일한 결과가 나옵니다 (0, 33) 즉 swap으로 동작하지 않은 것. 궁금해서 디컴파일러를 돌려보니 이렇게 나오더군요. 최적화는 끈 상태고요. int num1 = 33; int num2 = 77; int num3; int num4; Console.WriteLine("{0} {1} Hello world", (object) (num1 ^ (num4 = num2 ^ (num3 = num1 ^ num2))), (object) num4);보시다시피 중간 결과값이 원래의 변수에 들어가지 않습니다. volatile등의 키워드를 써서 반드시 원 변수에 값이 들어가도록 바꿔봐도 결과는 달라지지 않았습니다. 또한 XOR이 아닌, 더하기 등의 연산으로 빌드했을 때에도 패턴은 같았습니다. 이로 미루어 C#의 경우 한 식 내에서 같은 변수에 여러 번 할당하는 수식을 사용하더라도 할당은 최종 한 번만 된다는 것을 알 수 있었습니다. 아마 표준 문서 어딘가에도 나와있는 내용이겠지요. 즉, 이런 식의 로직은 C#에서는 쓰지 않는 것이 좋다는 뜻이 됩니다. 자바 디컴파일링은 익숙하지 않아서 C#로 했습니다만 아마 거의 같은 결과가 나오지 않을까 싶습니다.

bot99 · Answer

C에서조차도 정상동작하는지는 생각해 볼 일입니다.XOR swap을 대입 연산자로 연쇄하여 쓰는 것은 두 sequence point 사이에서 동일 객체를 두 번 수정하므로(실제 객체가 변경되는 시점이 명확하지 않으므로) C99에서는 undefined behavior입니다. C&#43;&#43;11에서는 대입연산자의 우변을 좌변보다 먼저 평가하므로 올바른 수식입니다. 스택 오버플로우에 이와 관련된 논의가 있습니다.https://stackoverflow.com/questions/28782068/undefined-behaviour-of-operators-in-xor-swap-algorithm위키피디아에서 제시하는 것과 같이 3행으로(또는 쉼표 연산자로 결합하여) 나누어 쓰는 것이 바람직합니다.https://ko.wikipedia.org/wiki/XOR_%EA%B5%90%EC%B2%B4_%EC%95%8C%EA%B3%A0%EB%A6%AC%EC%A6%98

a^=b^=a^=b swap이 자바에서 동작하지 않는 이유가 궁금합니다.

2개의 답변

기술 목록