没有功能主体的功能签名

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中的体系结构特定的汇编文件实现floor_386.s。amd64和arm架构都各自具有一个实现的程序集文件Ceil()，但是这些程序集文件只是调用未导出ceil()函数的粘合剂。