Goで符号付き整数のオーバーフローが検出されました

Question

私はLispを構築していますが、32ビットの整数を計算すると64ビットの整数に自動的に切り替わります。同様に、64ビットオーバーフローの場合、任意の大きさの整数に切り替えます。

問題は、整数オーバーフローを検出する方法が「正しい」ものではないことです。

a, b := 2147483647, 2147483647 
c := a + b 

cがオーバーフローしたかどうかを効率的に確認するにはどうすればよいですか？

私は計算を行うために常に64ビット値に変換し、可能であれば後でサイズを変更することを考えましたが、基本的な算術としての言語にとっては原始的で核心であるものにとっては高価でメモリが無駄に見えます。例えば

Answer 1

、追加のため

package main 

import (
    "errors" 
    "fmt" 
    "math" 
) 

var ErrOverflow = errors.New("integer overflow") 

func Add32(left, right int32) (int32, error) { 
    if right > 0 { 
     if left > math.MaxInt32-right { 
      return 0, ErrOverflow 
     } 
    } else { 
     if left < math.MinInt32-right { 
      return 0, ErrOverflow 
     } 
    } 
    return left + right, nil 
} 
func main() { 
    var a, b int32 = 2147483327, 2147483327 
    c, err := Add32(a, b) 
    if err != nil { 
     // handle overflow 
     fmt.Println(err, a, b, c) 
    } 
} 

出力32ビット整数オーバーフローを検出する：

integer overflow 2147483327 2147483327 0