Golang:atomic包怎么对uint64/uint32进行减法

学习atomic包时,发现一个有趣的东西:

  1. unsafe.Pointer类型,该包并未提供进行原子加法操作的函数。
  2. uint*类型怎么做减法运算?

我们来看第2点:

var a int64 = 10
atomic.AddInt64(&a,-3)
fmt.Println(a)

结果很明显是:7
但是当我们对uint*进行减法运算时:

var b uint64 = 10
atomic.AddUint64(&b,-3)
fmt.Println(b)

直接这样写会使 Go 语言的编译器报错,它会告诉你:“常量-3不在uint64类型可表示的范围内”,换句话说,这样做会让表达式的结果值溢出。

.\reflect_test.go:68:22: constant -3 overflows uint64

不过,如果我们先把int64(-3)的结果值赋给变量c,再把c的值转换为uint64类型的值,就可以绕过编译器的检查并得到正确的结果了。最后,我们把这个结果作为atomic.AddUint64函数的第二个参数值,就可以达到对uint64类型的值做原子减法的目的了。

var b uint64 = 10
c := int64(-3)
d := uint64(c)
atomic.AddUint64(&b,d)
fmt.Println(b)

结果就是正确的:7

当然,还有一种更巧妙的方法:
我们可以依据下面这个表达式来给定atomic.AddUint64函数的第二个参数值:^uint64(-N-1))

其中的N代表由负整数表示的差量。也就是说,我们先要把差量的绝对值减去1,然后再把得到的这个无类型的整数常量,转换为uint64类型的值,最后,在这个值之上做按位异或操作,就可以获得最终的参数值了。

var b uint64 = 10
var e int64 = -3
atomic.AddUint64(&b,^uint64(-e-1))
fmt.Println(a,b)

结果:7

是不是很巧妙,这么做的原理也并不复杂。简单来说,此表达式的结果值的补码,与使用前一种方法得到的值的补码相同,所以这两种方式是等价的。我们都知道,整数在计算机中是以补码的形式存在的,所以在这里,结果值的补码相同就意味着表达式的等价。

猜你喜欢

转载自blog.csdn.net/qq_41257365/article/details/114003987