go 允许声明无函数体的函数，用于对接外部实现（如汇编代码），这在标准库数学函数（如 floor）中被广泛使用；它不是语法错误，而是跨语言集成的关键机制。

在 Go 标准库源码（例如 math/floor.go）中，你可能

func Floor(x float64) float64

该函数仅有签名、没有函数体——这在普通 Go 源文件中直接编写会导致编译错误：missing function body。但这段代码能正常工作，是因为它并非独立存在，而是与平台相关的汇编实现协同工作的“接口声明”。

根据 Go 语言规范，函数声明可省略函数体，其语义是：为在 Go 外部（如汇编、C 或其他系统层）实现的函数提供 Go 可调用的类型签名。这类声明常见于标准库中对性能敏感或需硬件特性的函数，例如 math.Floor、runtime.memmove、syscall.Syscall 等。

以 Floor 为例：

• floor.go 中的无体 func Floor(...) 声明了 Go 层可见的 API；
• 真正的逻辑实现在对应架构的汇编文件中，如 floor_amd64.s（GitHub 链接），其中用 AMD64 汇编实现了高效浮点向下取整；
• Go 构建工具链（cmd/compile + cmd/link）会自动将 Go 调用链接到同名汇编符号，无需显式绑定。

⚠️ 注意事项：

• 你不能在普通 .go 文件中随意写无体函数并期望它工作——必须确保存在匹配的、已正确编译进最终二进制的外部实现（通常是同包下的 .s 文件，且遵循 Go 的符号命名规则）；
• 汇编文件需使用 Go 的 Plan 9 汇编语法，并通过 TEXT ·Floor(SB), NOSPLIT, $0-16 等指令导出符合 Go ABI 的符号；
• 在非标准库项目中自定义无体函数需谨慎：需配置构建标签、维护多平台汇编、并绕过常规 Go 类型检查，通常推荐优先使用纯 Go 实现或 CGO。

✅ 总结：无体函数是 Go 支持底层系统编程的重要设计，它桥接了高级语言抽象与底层性能优化。理解它，有助于深入阅读标准库、调试运行时行为，甚至为特定场景编写高性能原语。