了解Cairo的所有权制度

Cairo是一种围绕着线性类型系统建立的语言，它允许我们 静态地确保在每个Cairo程序中，一个值只被使用一次。 这种线性类型系统有助于防止运行时错误，因为它可以确保在编译时检测到可能导致这种错误的操作，如向一个内存单元写两次。 这是通过实施一个所有权系统来实现的 并在默认情况下禁止复制和丢弃数值。在本章中，我们将 讨论Cairo的所有权系统以及引用和快照（snapshot）。