Tại sao Go có trường hợp đặc biệt cho abs (0)

Tôi đã chơi xung quanh với Go và tìm thấy mã thú vị đặc biệt này cho hàm abs trong gói toán học:

http://golang.org/src/pkg/math/abs.go

14 func abs(x float64) float64 {
15      switch {
16      case x < 0:
17          return -x
18      case x == 0:
19          return 0 // return correctly abs(-0)
20      }
21      return x
22  }

Tại sao chúng ta cần phải có trường hợp đặc biệt là x == 0? Điều gì sẽ xảy ra nếu tôi xóa dòng 18 và 19?

Nhận xét giải thích lý do - abs(-0)nên trả về 0, nhưng không có trường hợp đặc biệt, abs(-0)sẽ trả về -0.

Tôi giả sử Go sử dụng các float của IEEE để cả hai +0 và -0 có thể được biểu diễn bằng các giá trị khác nhau cho bit dấu.

Tiêu chuẩn dấu phẩy động IEEE 754 cho phép các số không được ký . Số 0 âm bằng với số 0 dương, do đó, nó sẽ không được < 0kiểm tra.