没有功能主体的功能签名

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()函数的粘合剂。