空切片与空指针是否等价？含代码示例的技术疑问

好问题！咱们先把核心结论摆出来：空切片和空指针完全不是一回事，哪怕是你提到的那种基于空指针实现的空切片，也和单纯的空指针有着本质区别。

一、两者的核心差异 #

• 本质属性不同：空指针（比如Pointer(T).null）本质就是个指向内存地址0的无效引用，它只是一个单一的地址值；而切片（Slice）是个复合结构（Crystal里的Slice包含指针、长度、容量三个属性），哪怕是空切片，它也是一个完整的切片实例，只是内部的指针为空，长度和容量都为0。
• 行为逻辑不同：你可以安全地对空切片调用各种切片专属方法，比如#size（返回0）、#empty?（返回true），甚至遍历它（因为长度为0，不会触发内存访问）；但空指针本身没有这些方法，要是直接解引用空指针，大概率会触发内存错误。

二、你给出的空切片≠空指针 #

咱们看你贴的Slice(UInt8).empty的源码：

def self.empty; new(Pointer(T).null, 0); end

这个方法创建的切片，内部的指针确实是空指针，但它本身是一个正经的Slice实例，和单纯的Pointer(UInt8).null完全不是一回事：

• 你能调用slice.size拿到0，这是切片自带的属性；但空指针根本没有#size方法，强行调用会直接报错。
• 这个空切片可以直接传给需要Slice类型参数的函数，但空指针不行——两者类型都不匹配，编译器根本不会通过。
• 从内存结构看，这个空切片是一个包含三个值（空指针、0、0，Crystal里默认容量和长度一致）的结构体，而空指针只是一个孤零零的地址值，完全不是一个量级的东西。

说白了，空切片是个合法的、可用的切片对象，只是内部没数据；空指针是个无效的内存引用，连“对象”都算不上。

内容的提问来源于stack exchange，提问作者dgo.a