Zig Bits 0x1：从函数返回切片
内容提要
Zig Bits 系列首篇讨论从函数返回切片的问题：返回栈上数组的切片会产生悬垂指针，函数返回后内存失效，导致打印乱码。解决方案包括将切片作为参数传入、使用全局数组、在堆上分配切片副本，或向函数传入分配器（最常用）。文中还纠正了一个“按长度切片返回”的示例，指出它同样存在悬垂指针问题，只是因栈布局侥幸未出错，仍属未定义行为。
延伸解读
悬垂指针的根源与表现
文章通过示例说明，返回栈上数组的切片会导致悬垂指针：函数返回后，栈内存被释放，切片指向的数据可能被后续调用覆盖，从而打印出乱码。作者强调，即使有时运行结果看似正常，也属于未定义行为，不能依赖。这提醒开发者必须明确内存生命周期，避免返回局部变量的引用。
四种解决方案的适用场景
文章给出了四种避免悬垂切片的方法：将切片作为参数传入、使用全局数组、在堆上分配副本、传入分配器。其中传入分配器最常用，因为它让调用者决定内存分配策略，提高代码的灵活性和可复用性。全局数组简单但可能引入共享状态问题；参数传入适合调用者管理缓冲区；堆分配需注意释放。
“按长度切片返回”的陷阱
文章纠正了一个常见误解：即使使用运行时长度对局部数组切片并返回，仍然返回指向栈内存的切片，同样存在悬垂指针问题。示例中之所以偶尔能正确打印，是因为栈布局侥幸未覆盖该内存，但改变调用或增加栈使用就可能出错。作者引用讨论指出，返回类型的大小会影响栈布局，但这不改变未定义行为的本质。
Q&A
为什么在Zig中从函数返回切片会导致打印乱码？
因为返回的切片指向栈上分配的数组，函数返回后栈内存被释放，切片成为悬垂指针，访问该内存会导致未定义行为，从而打印出乱码。
在Zig中，有哪些方法可以安全地从函数返回切片？
常见方法有：将切片作为参数传入函数；使用全局数组；在堆上分配切片副本；或向函数传入分配器（最常用）。
为什么向函数传入分配器是返回切片最常用的方式？
因为分配器允许调用者决定使用哪种分配器，函数内部在堆上分配切片副本并返回，这样切片在函数返回后仍然有效，且灵活可控。
Zig中返回切片时，使用全局数组为什么能避免悬垂指针？
全局数组的生命周期是整个程序运行期间，不会在函数返回时释放，因此返回指向全局数组的切片是安全的。
在Zig中，将切片作为参数传入函数来避免悬垂指针的具体做法是什么？
函数接受一个切片参数，将数据复制到该切片中，并返回实际写入的长度。调用者提供缓冲区，函数不返回指向局部内存的切片。
为什么文章中的“按长度切片返回”示例仍然存在悬垂指针问题？
因为该示例返回的是 message[0..len]，它仍然指向栈上分配的数组，函数返回后内存失效，只是由于栈布局侥幸未出错，但仍是未定义行为。
