欢迎您访问程序员文章站本站旨在为大家提供分享程序员计算机编程知识!
您现在的位置是: 首页  >  IT编程

为什么 Go 标准库中有些函数只有签名,没有函数体?

程序员文章站 2023-12-30 21:44:34
如果你看过 Go 语言标准库,应该有见到过,有一些函数只有签名,没有函数体。你有没有感觉到很奇怪?这到底是怎么回事?我们自己可以这么做吗?本文就来解密它。 首先,函数肯定得有实现,没有函数体,一定是在其他某个地方。Go 中一般有两种形式。 函数签名使用Go,然后通过该包中的汇编文件来实现它 比如,在 ......

如果你看过 go 语言标准库,应该有见到过,有一些函数只有签名,没有函数体。你有没有感觉到很奇怪?这到底是怎么回事?我们自己可以这么做吗?本文就来解密它。

首先,函数肯定得有实现,没有函数体,一定是在其他某个地方。go 中一般有两种形式。

函数签名使用go,然后通过该包中的汇编文件来实现它

比如,在标准库 sync/atomic 包中的函数基本只有函数签名。比如:atomic.storeint32

// storeint32 atomically stores val into *addr.
func storeint32(addr *int32, val int32)

它的函数实现在哪呢?其实只要稍微留意一下发现该目录下有一个文件:asm.s,它提供了具体的实现,即通过汇编来实现:

text ·storeint32(sb),nosplit,$0
    jmp    runtime∕internal∕atomic·store(sb)

具体的实现,在 runtime∕internal 文件夹中,有兴趣你可以打开 asm_amd64.s 看看。

很明显,这种方式一方面会是效率的考虑,另一方面,有一些代码只能汇编实现。
以上方式,你自己也可以尝试。比如实现一个 sum(a, b int) int。欢迎评论给出你的代码。

通过//

比如,在标准库 time 包中的 sleep 函数:

// sleep pauses the current goroutine for at least the duration d.
// a negative or zero duration causes sleep to return immediately.
func sleep(d duration)

它的实现在哪里呢?在 time 包中并没有找到相应的汇编文件。

按照 go 源码的风格,这时候一般需要去 runtime 包中找。我们会找到 time.go,其中有一个函数:

// timesleep puts the current goroutine to sleep for at least ns nanoseconds.
//go:linkname timesleep time.sleep
func timesleep(ns int64) {
    ...
}

这就是我们要找的 time.sleep 的实现。

如果你有认真跟着学习「每日一学」,对于 //go:linkname 应该不陌生,这里的关键就在于这个指令,它的格式是:

//go:linkname 函数名 包名.函数名

因此我们在遇到函数没有实现,但汇编又不存在时,可以通过尝试搜索:go:linkname xxx xx.xxx 的形式来找,比如 time.sleep 就可以通过 //go:linkname timesleep time.sleep 来查找具体实现在哪。

这里面要提示一点,使用 //go:linkname,必须导入 unsafe 包,所以,有时候会见到:import _ "unsafe" 这样的代码。

一般来说,我们自己的代码不会使用这样的方式,但你会写一个示例试试吗?欢迎评论给出你的代码。

另外,想想为什么 time.sleep 的实现要这么搞?

转载自:
为什么 go 标准库中有些函数只有签名,没有函数体?

上一篇:

下一篇: