轉到：bytes.Repeat檢查溢出

Question

在Go的字節包線bytes.go的412，還有就是去如下條件：（https://golang.org/src/bytes/bytes.go?s=10462:10501#L412）

len(b)*count/count != len(b) 

這顯然應該檢查溢出，但我不不明白如何。這是檢查底層數據類型的整數溢出？或者這是實施中的錯誤？ len(b)*count/count應始終爲len(b) ...否？

Answer 1

It's checking for overflow。

// bytes.Repeat(make([]byte, 255), int((^uint(0))/255+1)) panics with the test. 
// Without the test, it returns a bad result. 

b := make([]byte, 255) 
count := int((^uint(0))/255 + 1) 

fmt.Println("count:", count) // prints 16843010 on the playground 
fmt.Println("len(b):", len(b)) // prints 255 
fmt.Println("count * len(b): ", count*len(b)) // prints 254 
fmt.Println("len(b) * count/count != len(b):", len(b)*count/count != len(b)) // prints false 

https://play.golang.org/p/3OQ0vB0WC4