Go unsafe.Slice 如何从指针构造字节切片

需要把一段已经存在的连续内存交给只接受 []byte 的函数时，unsafe.Slice 可以从 *byte 和长度构造一个字节切片。它的关键不是“把指针变安全”，而是创建一个不复制数据的视图：底层内存、长度和使用时机仍由调用方负责。

unsafe.Slice(ptr, n) 只适合“指针确实指向至少 n 个连续字节，且在切片使用期间保持有效”的场景。n 为负数会触发 panic；ptr == nil 时只有 n == 0 合法，并返回 nil 切片。它不会替你检查真实对象边界，也不会接管内存所有权。

先把 unsafe.Slice 看成“借用内存的视图”

普通的 make([]byte, n) 会分配新数组；unsafe.Slice 不会。它返回的切片从 ptr 指向的位置开始，长度和容量都是 n，因此读写都会落到底层那段连续内存上。这正是零拷贝适配的价值，也是风险的来源。

例如已有一个字节数组，需要把其中一段交给函数处理时，最小写法可以是：

package main

import "unsafe"

func viewBytes(buf []byte) []byte {
	// 空切片没有可取地址的元素，直接返回 nil 视图更清晰。
	if len(buf) == 0 {
		return nil
	}
	// buf 保持在当前调用链中，ptr 指向的连续区域长度由 len(buf) 给出。
	return unsafe.Slice(&buf[0], len(buf))
}

这里没有发生复制，返回值与 buf 共享底层数组。若只想暴露前 4 个字节，长度就应写成 4，并且先保证 len(buf) >= 4。切片本身不能表达“这段地址最多还能读多少”，这个事实必须由构造它的代码保证。

长度和指针类型决定能否构造

对字节切片来说，参数通常是 *byte 和一个整数长度。长度必须是非负且能表示为 int；运行时传入负数会 panic。nil 指针配合零长度是特殊情况，结果为 nil 切片；nil 指针配合非零长度则会 panic。不要用“先构造，再看能不能访问”来替代参数检查。

func bytesFromPointer(ptr *byte, n int) ([]byte, bool) {
	// 这里把调用方错误拦在 unsafe.Slice 之前，避免 nil 非零长度触发 panic。
	if n 

这个包装函数只检查了参数形态，没有能力确认 ptr 后面真的有 n 个字节。因此它不能接收一个来源不明的地址就宣称安全。来自文件映射、设备缓冲区或 C 接口的长度，应该在产生指针的边界处取得，并随着指针一起传递。

真正的边界是对象大小，不是切片语法

把 n 写大，切片仍可能成功创建，因为运行时未必知道这块地址对应的完整分配大小。随后访问超出实际对象的区域，可能读到无关数据、触发内存错误，或者在更隐蔽的情况下把错误传播到后续逻辑。unsafe.Slice 不是边界检查器。

工程上更稳妥的做法是让“指针 + 长度”形成一个不可分离的契约：长度来自同一分配或同一外部 API，构造后不要再根据猜测扩展；如果需要改变长度，先回到拥有这块内存的组件重新确认容量。对 Go 切片而言，优先从已有切片切分；只有在接口确实只给指针和长度时，才使用 unsafe.Slice。

指针生命周期和修改权限要一起说明

返回切片并不等于延长外部内存的寿命。若底层内存由 C、内存映射或设备驱动拥有，调用方必须保证切片失效前不会释放或复用那段地址；若底层内存来自 Go 对象，也要避免让对象在后续使用前失去应有的可达性。涉及终结器或系统调用时，可以在最后一次使用之后放置 runtime.KeepAlive(owner)，把存活边界写得更明确。

还要标注写权限：只读协议缓冲区可以返回视图，但下游函数若会修改 []byte，就必须确认原内存允许写入，并且不会和其他协程同时读写。需要独立生命周期或跨线程长期保存时，复制往往比隐藏的零拷贝约定更容易维护。

什么时候该放弃零拷贝

如果调用链只是普通业务代码，已有 []byte 或字符串转换后的副本已经满足性能要求，就不要为了少一次复制引入 unsafe。它更适合边界清晰、数据量大、复制成本可测量且能集中维护生命周期契约的适配层。代码审查至少要回答：这块内存谁分配、谁释放、n 从哪里来、是否允许写、切片最长活多久。

相关问题

unsafe.Slice 会自动分配内存吗？不会。它只是把已有地址解释成切片视图，不复制也不负责释放。

长度写大一点能否先读到完整数据？不能。它不会替你验证对象边界，越界访问的后果属于不安全代码责任。

nil 指针能不能构造空切片？可以，但只能是 unsafe.Slice(nil, 0) 的语义；nil 配合非零长度会 panic。