[問題] XOR交換值問題

[ptt0720 (濕濕)]

語言：CPP

今天寫quick sort的時候發現原本常用的交數值方法好像有觀念上的問題

https://i.imgur.com/GwH4NbM.png

我習慣的用法是第二十七行 直接用參考交換兩個值

但是發現印出來後都是一堆0

後來交叉比對後發現是XOR交換值的問題

想請問一下是不是陣列用XOR交換數值會出錯？

想請問一下原因 麻煩各位大大了

--
Talk is cheap. Show me the code. - Torvalds, Linus (2000-08-25).

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 163.22.18.105
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1511406650.A.CFC.html
推 Hazukashiine: One registeris is cheap.
→ Hazukashiine: 認真回 那個你這個寫法啊 是 UB 喔
→ Hazukashiine: 不能在同一個 SP 區間賦值兩次
→ ptt0720: 請問UB是什麼意思
→ Hazukashiine: Undefined Behavior
→ ptt0720: 原來如此 我之前都這樣做 然後沒出錯 我以為可以這樣子
→ Hazukashiine: 簡單說 要把異或賦值拆成三行寫才行
→ ptt0720: https://i.imgur.com/qS5A6kA.png 這是原本寫法的記憶體
→ ptt0720: 貼上來給大家參考 不要踩雷了
→ stupid0319: 原本寫法的沒差啊!?a跟b的值對調了不是嗎
→ ptt0720: 我也不清楚 求解答@@
→ ptt0720: 我原本的寫法交換完 記憶體不是對調 是不一樣 如圖
→ ptt0720: 然後在main裡面記憶體少一個bit是因為0省略掉了?
推 alan23273850: 要不要改成非陣列的寫法觀察看看，假設a,b,c,d之類
→ alan23273850: 而且樓主30行是不是怪怪的
推 CaptainH: 就算拆成三行，a=b 時會讓 a,b 都變成0
→ ptt0720: 30行原本是SWAP 會印出一堆0 資料裡沒有0
→ galic: 你推文那張圖是少了空白吧 位址明明一樣
→ galic: xor swap 會 zero out 很明顯就是你x y 都是同一個「空間」
→ galic:                                  a b
推 boss0405: warning: operation on 'a' may be undefined [-Wsequen
→ boss0405: ce-point]
推 peterwu4: 用mingw的c++幫你試，這樣換的過來~  4.9.2 32bit環境
→ galic: 就你i j index一樣會zero out，加個判斷式index一樣不用swa
→ galic: p…
→ ptt0720: 請問一下zero out是什麼意思
→ ptt0720: index一樣會跑出零 謝謝大大解答 請問我要如何搜尋這方面
→ ptt0720: 的知識
→ ptt0720: q
→ galic: zero out就是被清成0啦 XD
推 peterwu4: xor自己XD 我晚惹~
推 LPH66: 雖然晚了, 我的 #1Deo3lyi 這篇也可參考一下
→ LPH66: 然後如上面所說, 即使寫三條碰到 a b 同位置也會出事
→ kingofsdtw: 你自己都看不懂了...
→ kingofsdtw: 為何要寫一些要動腦的coding style?
→ kingofsdtw: compiler會最佳化..別害同事
推 steve1012: 效能瓶頸地方通常不是這個 swap…