Dlang BetterC 模式下使用 RefCounted 防止 Double Free

在使用 Dlang 语言的 BetterC 模式下，可以使用 std.typecons.RefCounted 来实现引用计数，以防止多个变量（比如结构体）引用一个指针，然后结构体析构函数执行后，造成 double free 的问题。

以下是一个简单的例子，展示了如何在 BetterC 模式下使用 RefCounted：

import core.stdc.stdio;
import std.typecons : RefCounted;

struct MyStruct
{
    RefCounted refCounted;
    int* ptr;

    this(int* p)
    {
        ptr = p;
    }

    ~this()
    {
        printf('MyStruct destructor called\n');
        if (refCounted.decRefCount() == 0)
        {
            printf('freeing ptr\n');
            free(ptr);
        }
    }
}

void main()
{
    int* ptr = cast(int*)malloc(4);
    *ptr = 42;

    auto s1 = new MyStruct(ptr);
    auto s2 = s1;

    // s1 和 s2 都指向同一个 MyStruct 对象，引用计数为 2
    printf('ref count: %d\n', s1.refCounted.refCount);

    // 释放 s1
    s1 = null;

    // s2 仍然指向 MyStruct 对象，引用计数为 1
    printf('ref count: %d\n', s2.refCounted.refCount);

    // 释放 s2
    s2 = null;
}

在上面的例子中，MyStruct 继承自 RefCounted，并包含一个指向 int 的指针 ptr。在 MyStruct 的析构函数中，它会调用 RefCounted 的 decRefCount 方法来减少引用计数。如果引用计数为 0，则说明没有其他变量引用该对象，可以安全地释放 ptr。

在 main 函数中，我们创建了一个 int 类型的指针 ptr，并将其传递给 MyStruct 的构造函数。然后，我们创建了两个 MyStruct 对象 s1 和 s2，它们都指向同一个 MyStruct 对象，并且引用计数为 2。我们释放了 s1，但是由于 s2 仍然指向 MyStruct 对象，引用计数仍为 1。最后，我们释放了 s2。

通过使用 RefCounted，我们可以避免多个变量（比如结构体）引用一个指针，然后结构体析构函数执行后，造成 double free 的问题。