コードレビューで泣かないためのintSize = 32 << (^uint(0) >> 63)

Transcript

1. コードレビューで泣かないための intSize = 32 << (^uint(0) >> 63) @_uhzz_
2. - intSize = 32 << (^uint(0) >> 63)って何？ - そもそも”<<”って何？ - “^”って何？ - intSize = 32 << (^uint(0) >> 63)のマジック - OS(32bit)の場合 - OS(64bit)の場合 今日話すこと
3. intSize = 32 << (^uint(0) >> 63)って何？
4. よく見るあの標準パッケージ内で使われています！ https://github.com/golang/go/search?q=const+intSize+%3D+32 Goで使われているテクニックです
5. コードレビューで出会ったら泣いてしまいますね ただ、初見でなにやってるかよくわからない
6. 順を追って見ていきます コードレビューで泣かないために
7. intSize = 32 << (^uint(0) >> 63)って何？
8. そもそも”<<”って何？
9. シフト演算子です The shift operators shift the left operand by the shift count specified by the right operand [...] As a result, x << 1 is the same as x*2 and x >> 1 is the same as x/2 but truncated towards negative infinity. https://go.dev/ref/spec#Arithmetic_operators (直訳) シフト演算子は左オペランドを、右オペランドで指定した回数だけシフトする。 結果、x << 1は x*2 と同じ意味で、 x >> 1は x/2 と同じ意味になりますが、後者は負の無限大に向かって切り捨てられます。 つまり、<<を使うと、２倍ずつ増えていき、>>を使うと、1/2倍ずつ減っていきます
10. ２進数で見てみると、 https://go.dev/play/p/PeR1rOEOYRJ ２進数だと左に１シフトすると０が１つ増え、右に１シフトすると０が１つ減る
11. intSize = 32 << (^uint(0) >> 63)って何？
12. ”^”って何？
13. ビット演算子(XOR)です ^x bitwise complement is m ^ x with m = "all bits set to 1" for unsigned x and m = -1 for signed x https://go.dev/ref/spec#Arithmetic_operators (直訳) ^x はビット単位の(1の)補数です。 m ^ xは x が符号なしの場合、「mのすべてのビットに1をセット」、xが符号ありの場合は 「m=-1」にします。 つまり、1の補数ということは各ビットを反転させるということ！
14. どういうことか 64ビットすべて、各ビット0 -> 1に反転していることがわかりますね https://go.dev/play/p/Fer-r_YjVCZ
15. ちなみに int, uint, uintptr 型は、32-bitのシステムでは32 bitで、64-bitのシステムでは64 bitです。 https://go.dev/play/p/Fer-r_YjVCZ https://go-tour-jp.appspot.com/basics/11 64桁(=ビット)
16. intSize = 32 << (^uint(0) >> 63)のマジック
17. OS(32bit)の場合 OS(32bit)の場合、intSizeの値が 32 に！ https://go.dev/play/p/FQ-dt7xWFiK
18. OS(64bit)の場合 OS(64bit)の場合、intSizeの値が 64 に！ https://go.dev/play/p/qVNQXcvF1dB
19. まとめ OS(32bit/64bit)ごとに読み込まれる値が、変化するテクニカルなコードでした
20. おわり https://twitter.com/_uhzz_/status/1489824520932556803
21. - 【Golang】package strconvのintSize = 32 << (∧uint(0) >> 63)は何をしているのか [https://www.cotegg.com/blog/?p=3311] 参考