Maison  >  Article  >  développement back-end  >  choc! Il y a une petite fonction tellement intéressante dans Go !

choc! Il y a une petite fonction tellement intéressante dans Go !

Go语言进阶学习
Go语言进阶学习avant
2023-07-24 16:23:58828parcourir
Frères, s'il vous plaît, ouvrez la voie, il y a une scène de frimeur à grande échelle à venir.
choc! Il y a une petite fonction tellement intéressante dans Go !

Tout d'abord, Lao Xu aimerait remercier les autres pour leur reconnaissance. C'est la motivation pour moi d'en profiter. En même temps, j'ai aussi besoin de réfléchir. Cette jeune femme fait encore preuve de tact, mais dans notre dialecte du Sichuan, le titre de l'article précédent est vraicuo.

Après avoir réfléchi encore et encore, Lao Xu a décidé de faire sensation et l'a nommé "Choquant ! Il y a une petite fonction tellement exquise dans Go ! " avec des doubles points d'exclamation. Jetons un coup d'œil à quelques petites fonctions qui ne correspondent pas tout à fait au titre.

Renvoyer a/b à l'entier le plus proche arrondi au chiffre supérieur

func divRoundUp(n, a uintptr) uintptr {
 return (n + a - 1) / a
}

Il devrait y avoir beaucoup de gens qui ont utilisé cette méthode, la plus typique est le calcul de pagination.

Déterminez si x est la nième puissance de 2

func isPowerOfTwo(x uintptr) bool {
 return x&(x-1) == 0
}

C'est également assez facile à comprendre. La seule chose à noter est que x doit être supérieur à 0, car l'équation 0 est également vraie.

Arrondissez x vers le haut/bas à un multiple de a, et a doit être la nième puissance de 2

// 向上将x舍入为a的倍数,例如:x=6,a=4则返回值为8
func alignUp(x, a uintptr) uintptr {
 return (x + a - 1) &^ (a - 1)
}

// 向上将x舍入为a的倍数,例如:x=6,a=4则返回值为4
func alignDown(x, a uintptr) uintptr {
 return x &^ (a - 1)
}

在这里老许再次明确一个概念,2的n次幂即为1左移n位。然后上述代码中^为单目运算法按位取反,则^ (a - 1)的运算结果是除了最低n位为0其余位全为1。剩余的部分则是一个简单的加减运算以及按位与。

上述代码分开来看每一部分都认识,合在一起就一脸懵逼了。幸运的是,经过老许的不懈努力终于找到了一种能够理解的方式。

Utilisez x=10,a=4为例。a为2的2次幂即1左移2位。x可看作两部分之和,第一部分x1为0b1000,第二部分x2为0b0011x的拆分方式是1左移n位可得到a来决定的,即x的最低n位为x2,x1则为x-x2。因此x1相当于0b10左移2位得到,即x1已经是a的整数倍,此时x2只要大于0则x2+a-1一定会向前进1,x1+1x1不就是x向上舍入的a的整数倍嘛,最后和^ (a - 1) pour effectuer une opération ET pour effacer les 2 bits les plus bas afin d'obtenir le résultat final.

Une chose à dire, je ne peux certainement pas écrire une telle logique, ce qui me fait aussi soupirer que la compréhension des grands en informatique est tout simplement superbe. Une telle fonction est géniale, mais elle doit être utilisée le moins possible dans le développement réel. L'une est qu'il existe des restrictions sur les scénarios d'utilisation (a doit être la nième puissance de 2), et l'autre est qu'il est difficile à comprendre, sauf pour montrer ses compétences et se montrer (sauf pour des exigences de performances extrêmement élevées).

Transformation booléenne

// bool2int returns 0 if x is false or 1 if x is true.
func bool2int(x bool) int {
 return int(uint8(*(*uint8)(unsafe.Pointer(&x))))
}

如果让我来写这个函数,一个稀松平常的switch就完事儿,现在我又多了一种装逼的套路。老许在这里特别友情提示,字节切片和字符串也可使用上述方式进行相互转换。

计算不同类型最低位0的位数

var ntz8tab = [256]uint8{
 0x08, ..., 0x00,
}
// Ctz8 returns the number of trailing zero bits in x; the result is 8 for x == 0.
func Ctz8(x uint8) int {
 return int(ntz8tab[x])
}

const deBruijn32ctz = 0x04653adf

var deBruijnIdx32ctz = [32]byte{
 0, 1, 2, 6, 3, 11, 7, 16,
 4, 14, 12, 21, 8, 23, 17, 26,
 31, 5, 10, 15, 13, 20, 22, 25,
 30, 9, 19, 24, 29, 18, 28, 27,
}

// Ctz32 counts trailing (low-order) zeroes,
// and if all are zero, then 32.
func Ctz32(x uint32) int {
 x &= -x                       // isolate low-order bit
 y := x * deBruijn32ctz >> 27  // extract part of deBruijn sequence
 i := int(deBruijnIdx32ctz[y]) // convert to bit index
 z := int((x - 1) >> 26 & 32)  // adjustment if zero
 return i + z
}

const deBruijn64ctz = 0x0218a392cd3d5dbf

var deBruijnIdx64ctz = [64]byte{
 0, 1, 2, 7, 3, 13, 8, 19,
 4, 25, 14, 28, 9, 34, 20, 40,
 5, 17, 26, 38, 15, 46, 29, 48,
 10, 31, 35, 54, 21, 50, 41, 57,
 63, 6, 12, 18, 24, 27, 33, 39,
 16, 37, 45, 47, 30, 53, 49, 56,
 62, 11, 23, 32, 36, 44, 52, 55,
 61, 22, 43, 51, 60, 42, 59, 58,
}

// Ctz64 counts trailing (low-order) zeroes,
// and if all are zero, then 64.
func Ctz64(x uint64) int {
 x &= -x                       // isolate low-order bit
 y := x * deBruijn64ctz >> 58  // extract part of deBruijn sequence
 i := int(deBruijnIdx64ctz[y]) // convert to bit index
 z := int((x - 1) >> 57 & 64)  // adjustment if zero
 return i + z
}

Ctz8Ctz32Ctz64分别计算无符号8、32、64位数最低位为0的个数,即某个数左移的位数。

函数的作用通过翻译倒是能理解,我也能深刻的明白这是典型的空间换时间,然而要问一句为什么我是万万答不上来的。不过老许已经替你们找好了答案,原因就藏在这篇Using de Bruijn Sequences to Index a 1 in a Computer Word论文中。欢迎巨佬们去挑战一下,而我只想坐享其成,那么在巨佬们分析完这篇论文之前就让这些函数安家在我的收藏栏里方便以后炫技。

这里特别说明,术业有专攻,我们不一定要所有东西都会,但要尽可能知道有这么一个东西存在。这即是老许为自己找的一个不去研究此论文的接口,也是写下此篇文章的意义之一(万一有人提到了Bruijn Sequences关键词,我们也不至于显得过分无知)。

math/bits包中的部分函数

如果有人知道这个包,那请原谅我的无知直接跳过本部分即可。老许发现这个包是源于ntz8tab变量所在文件runtime/internal/sys/intrinsics_common.go中的一句注释。

// Copied from math/bits to avoid dependence.

作为一个资深的CV工程师, 看到这句的第一反应就是我终于可以挺直腰杆了。适当Copy代码不丢人!

math/bits这个包函数较多,老许挑几个介绍即可,其余的还请各位读者自行挖掘。

LeadingZeros(x uint) int: 返回x所有高位为0的个数。

TrailingZeros(x uint) int: 返回x最低位为0的个数。

OnesCount(x uint) int:返回x中bit位为1的个数。

Reverse(x uint) uint: 将x按bit位倒序后再返回。

Len(x uint) int: 返回表示x的有效bit位个数(高位中的0不计数)。

ReverseBytes(x uint) uint: 将x按照每8位一组倒序后返回。

将x逃逸至堆

// Dummy annotation marking that the value x escapes,
// for use in cases where the reflect code is so clever that
// the compiler cannot follow.
func escapes(x interface{}) {
 if dummy.b {
  dummy.x = x
 }
}

var dummy struct {
 b bool
 x interface{}
}

老许是在reflect.ValueOf函数中发现此函数的调用,当时就觉着挺有意思。如今再次回顾也依旧佩服不已。读书是和作者的对话,阅读源码是和开发者的对话,看到此函数就仿佛看到Go语言开发者们和编译器斗智斗勇的场景。

让出当前Processor

// Gosched yields the processor, allowing other goroutines to run. It does not
// suspend the current goroutine, so execution resumes automatically.
func Gosched() {
 checkTimeouts()
 mcall(gosched_m)
}

让出当前的Processor,允许其他goroutine执行。在实际的开发当中老许还未遇到需要使用此函数的场景,但多了解总是有备无患。

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

Déclaration:
Cet article est reproduit dans:. en cas de violation, veuillez contacter admin@php.cn Supprimer