[問題] XOR交換值問題

作者: ptt0720 (濕濕)   2017-11-23 11:10:44
語言:CPP
今天寫quick sort的時候發現原本常用的交數值方法好像有觀念上的問題
https://i.imgur.com/GwH4NbM.png
我習慣的用法是第二十七行 直接用參考交換兩個值
但是發現印出來後都是一堆0
後來交叉比對後發現是XOR交換值的問題
想請問一下是不是陣列用XOR交換數值會出錯?
想請問一下原因 麻煩各位大大了
作者: Hazukashiine (私は幸せです)   2017-11-23 11:42:00
One registeris is cheap.認真回 那個你這個寫法啊 是 UB 喔不能在同一個 SP 區間賦值兩次
作者: ptt0720 (濕濕)   2017-11-23 11:44:00
請問UB是什麼意思
作者: Hazukashiine (私は幸せです)   2017-11-23 11:45:00
Undefined Behavior
作者: ptt0720 (濕濕)   2017-11-23 11:46:00
原來如此 我之前都這樣做 然後沒出錯 我以為可以這樣子
作者: Hazukashiine (私は幸せです)   2017-11-23 11:46:00
簡單說 要把異或賦值拆成三行寫才行
作者: ptt0720 (濕濕)   2017-11-23 11:49:00
https://i.imgur.com/qS5A6kA.png 這是原本寫法的記憶體貼上來給大家參考 不要踩雷了
作者: stupid0319 (徵女友)   2017-11-23 11:58:00
原本寫法的沒差啊!?a跟b的值對調了不是嗎
作者: ptt0720 (濕濕)   2017-11-23 12:05:00
我也不清楚 求解答@@我原本的寫法交換完 記憶體不是對調 是不一樣 如圖然後在main裡面記憶體少一個bit是因為0省略掉了?
作者: alan23273850   2017-11-23 12:12:00
要不要改成非陣列的寫法觀察看看,假設a,b,c,d之類而且樓主30行是不是怪怪的
作者: CaptainH (Cannon)   2017-11-23 12:16:00
就算拆成三行,a=b 時會讓 a,b 都變成0
作者: ptt0720 (濕濕)   2017-11-23 12:24:00
30行原本是SWAP 會印出一堆0 資料裡沒有0
作者: galic (嘎利)   2017-11-23 12:29:00
你推文那張圖是少了空白吧 位址明明一樣xor swap 會 zero out 很明顯就是你x y 都是同一個「空間」a b
作者: boss0405 (boss)   2017-11-23 13:10:00
warning: operation on 'a' may be undefined [-Wsequence-point]
作者: peterwu4 (notd)   2017-11-23 13:53:00
用mingw的c++幫你試,這樣換的過來~ 4.9.2 32bit環境
作者: galic (嘎利)   2017-11-23 14:30:00
就你i j index一樣會zero out,加個判斷式index一樣不用swap…
作者: ptt0720 (濕濕)   2017-11-23 14:42:00
請問一下zero out是什麼意思index一樣會跑出零 謝謝大大解答 請問我要如何搜尋這方面的知識q
作者: galic (嘎利)   2017-11-23 15:55:00
zero out就是被清成0啦 XD
作者: peterwu4 (notd)   2017-11-23 16:02:00
xor自己XD 我晚惹~
作者: LPH66 (-6.2598534e+18f)   2017-11-23 17:05:00
雖然晚了, 我的 #1Deo3lyi 這篇也可參考一下然後如上面所說, 即使寫三條碰到 a b 同位置也會出事
作者: kingofsdtw (不能閒下來!!)   2017-11-24 19:12:00
你自己都看不懂了...為何要寫一些要動腦的coding style?compiler會最佳化..別害同事
作者: steve1012 (steve)   2017-11-25 02:48:00
效能瓶頸地方通常不是這個 swap…

Links booklink

Contact Us: admin [ a t ] ucptt.com