go 允许声明无函数体的函数，用于对接外部实现（如汇编代码），标准库中大量数学函数（如 math.floor）即采用此机制，在 .s 汇编文件中提供具体实现。
在 Go 语言中，函数声明通常包含签名和函数体（即花括号 {} 包裹的实现逻辑）。但 Go 规范明确允许一种特殊形式：无函数体的函数声明。这类声明仅定义函数名、参数列表和返回类型，不包含实现逻辑，语法上合法且被编译器接受——前提是该函数的实际实现由外部提供。
根据 Go 语言规范：
A function declaration may omit the body. Such a declaration provides the signature for a function implemented outside Go, such as an assembly routine.
这意味着，像 func Floor(x float64) float64 这样的声明，本质是一个接口契约：它告诉 Go 编译器“此处存在一个符合该签名的函数”，而真实逻辑由平台相关的汇编代码（如 floor_amd64.s）在链接阶段注入。
例如，在 math/floor.go 中：
// 声明（无体）——仅提供 Go 层可见的签名
func Floor(x float64) float64
// 同包内另一个具名函数（有体），供纯 Go 环境回退使用（如非支持架构）
func floor(x float64) float64 {
// 纯 Go 实现逻辑（见问题中代码）
}⚠️ 注意：你无法在普通 Go 源文件中单独定义无体函数并期望其可运行。若直接复制 func Floor(x float64) float64 到自己的 .go 文件中，编译器会报错 missing function body，因为：
- 你的项目未提供对应的汇编实现（floor_*.s）；
- 未启用汇编构建支持（需匹配 GOOS/GOARCH，且工具链含汇编器）；
- Go 不支持“仅声明、无实现”的跨包调用（除非是标准库或显式链接的汇编目标）。
✅ 正确使用方式仅限于：
- 标准库内部（已配套提供各平台汇编文件）；
- 自定义汇编扩展（需遵循 Go 汇编约定，编写 .s 文件，命名与函数匹配，并置于对应架构目录下）。
总结：无体函数不是语法糖，而是 Go 支持底层高性能实现的关键机制。它桥接了高级语言抽象与硬件级优化，开发者日常无需编写，但理解其原理有助于深入掌握 Go 的执行模型与标准库设计哲学。
