d - D语言释放资源

Question

例如，在 c++ 中使用 Direct3D 时，我可以编写一个“Cube”类，其中包含一个“ID3D11Buffer* vertexBuffer_”，并确保该 Cube 对象的析构函数调用 vertexBuffer_->Release()。

我可以有一个包含“unique_ptr cube_”对象的“场景”类。所以我知道当我删除我的场景时，立方体将被删除，因此将调用它正在使用的 D3D 资源的释放。

在 D 中我不能这样做。我可以编写析构函数，但我不知道什么时候会调用它们。如果 GC 不需要内存，它们可能永远不会被调用......

那么在 D 中处理这种事情的最佳方法是什么？我可以为每个对象添加一个“Free”成员函数，以释放它自己的所有资源并在它拥有的任何对象上调用“Free”，但这似乎是一个容易出错的手动操作，并且从 C++ 倒退了一步。

有没有更好的方法来处理 D 中的这种事情？

Answer 1

您可以在堆栈上使用结构。这具有确定性破坏。您甚至可以使用 std.typecons.RefCounted 重新计算它.如果要保证析构函数运行，请不要在堆上使用结构。目前，我认为如果将结构体的析构函数放在堆上，它们就不会运行，因为 GC 没有它需要这样做的信息(这应该在 future 虽然)。

但是如果你坚持把它放在一个类的堆上，并且你想显式地销毁这个对象，那么你可以调用 clear在上面:

clear(obj);

这将调用对象的析构函数，然后将其置于无效状态，之后任何尝试使用它的东西都会崩溃(IIRC，虚拟表被清零)。但实际上并没有释放内存。那是GC的工作。并且不要使用 delete .它将被弃用。我实际上很惊讶它还没有，因为它已经计划了很长时间来摆脱它。

当然，一种选择是使用显式函数来调用以释放资源。这是否是一个好主意取决于你在做什么。但无论如何，类是由 GC 收集的，而不是在您选择时释放。

正在对自定义分配器进行工作，这将为您提供更多关于如何分配类的选项，其中一个可能允许您对类进行更具确定性的破坏，但这还没有准备好。

如果你觉得很疯狂，你可以使用 std.typecons.scoped ，它取代了即将被弃用的类型修饰符 scope (尽管 scope 在其他情况下仍然存在 - 例如 scope 语句)。它将一个类放在堆栈上。但这是不安全的(这就是 scope 在这种情况下消失的原因)，如果要将对象粘贴到堆栈上，您可能还不如只使用结构。

编辑:您也可以使用 malloc和 free与 std.conv.emplace将对象放入非 GC 分配的内存块中，就像在 C++ 中一样，但我认为您必须显式调用析构函数才能使其运行，因为 free不了解析构函数(它是 C 函数)。这将具有使内存与资源一起消失的优点(而在 GC 堆上的对象上使用 clear 只会破坏对象的内容，而不是释放内存)，但我不知道那买你过度使用clear在 GC 分配的对象上。

但是，您可以创建一个类似于 new 的自由函数。 malloc和 emplace为你，然后有一个类似于 delete 的免费功能它调用析构函数和 free ，这会给你与 C++ 相同的情况。事实上，我想知道这是否足以使它成为标准库。不过，这可能最终会出现在自定义分配器中。所以，如果在不久的将来，你可以使用自定义分配器来做类似的事情，我一点也不感到惊讶

auto obj = customAllocObj.create!MyObj(args);
//Do stuff...
customAllocObj.destroy(obj);

而且我认为这将很好地解决您的问题，因为这与您在 C++ 中的基本相同，只是使用库函数而不是内置的 new和 delete .我想我会在新闻组上提出来。我希望至少有一些人会喜欢这样的功能，而且这似乎与自定义分配器很相配。