• 将GC内存和 ptr 混用

    将GC内存和 ptr 混用

    如果未追踪对象包含追踪对象(如追踪引用,字符串或序列),则需要特别小心:为了正确释放所有内容,必须在手动释放未追踪内存之前调用内置过程 GCunref

    1. type
    2. Data = tuple[x, y: int, s: string]
    3.  
    4. # 为堆上的Data分配内存:
    5. var d = cast[ptr Data](alloc0(sizeof(Data)))
    6.  
    7. # 在垃圾收集堆上创建一个新字符串:
    8. d.s = "abc"
    9.  
    10. # 告诉GC不再需要该字符串:
    11. GCunref(d.s)
    12.  
    13. # 释放内存:
    14. dealloc(d)

    没有 GCunref 调用,为 d.s 字符串分配的内存永远不会被释放。 该示例还演示了低级编程的两个重要特性: sizeof proc以字节为单位返回类型或值的大小。 cast 运算符可以绕过类型系统:编译器被强制处理 alloc0 调用的结果(返回一个无类型的指针),就好像它是 ptr Data 类型。 只有在不可避免的情况下才能进行强转:它会破坏类型安全性并且错误可能导致隐蔽的崩溃。

    注意: 该示例仅起作用,因为内存初始化为零( alloc0 而不是 alloc 执行此操作): d.s 因此初始化为二进制零,字符串赋值可以处理。 在将垃圾收集数据与非托管内存混合时,需要知道这样的低级细节。