go - 没有函数体的函数签名

Question

在查看该math.Ceil方法的源代码时，我发现了这种语法，其中有一个没有主体的导出函数签名，以及一个包含实现的同一签名的非导出版本：

// Ceil returns the least integer value greater than or equal to x.
//
// Special cases are:
//  Ceil(±0) = ±0
//  Ceil(±Inf) = ±Inf
//  Ceil(NaN) = NaN
func Ceil(x float64) float64

func ceil(x float64) float64 {
    return -Floor(-x)
}

我认为这是一些允许您轻松导出本地函数的语法。那是对的吗？为什么要这样做，而不是只使用一个导出函数并在包中使用它？

Answer 1

根据Go 语言规范。

函数声明可以省略主体。这样的声明为在 Go 之外实现的函数（例如汇编例程）提供了签名。

在这种情况下，该Ceil功能由 386 in 的体系结构特定程序集文件实现floor_386.s。amd64 和 arm 架构各自都有一个可以实现的程序集文件Ceil()，但这些程序集文件只是调用未导出ceil()函数的粘合剂。