c# - 没有托管堆是否可以进行 DI？

Question

通过依赖注入(inject)，类的依赖由调用者实例化并传入，通常作为构造函数参数。这在具有托管堆的语言中效果很好，因为无需担心依赖项生命周期的结束。但是其他类型的语言呢？

例如，在传统的malloc和free环境中，一个分配内存的方法一般也应该释放它。我不确定如何使用 DI 来完成。

或者使用需要引用计数的内存方案，例如COM，我不确定调用者何时会在依赖项上调用 Release，或者接收注入(inject)的对象是否应该调用 Release 两次。

是否可以在没有托管堆的情况下使用 DI？如果是这样，哪些代码模式可以很好地确保正确释放资源？

Answer 1

But what about other types of languages? Is it possible to use DI without a managed heap?

拥有托管堆不是 DI 的先决条件。例如，C++ 不是托管语言，但有针对它的 DI 框架，其功能可与 Java 或 Java 等托管语言的 DI 框架相媲美C#。

Daniele Pallastrelli 的精彩演讲 Going native with less coupling - Dependency Injection in C++详细解释了 DI 相对于其他两种解耦技术(工厂和服务定位器)的优势。它还提供了一个名为 Wallaroo 的 C++ DI 框架。并解释其内部结构。

另一个 C++ DI 框架，基于与 Wallaroo 不同的方法是 [Boost].DI .我强烈推荐阅读介绍章节。它对诸如“我已经使用依赖注入(inject)了吗？”、“我需要依赖注入(inject)吗？”等问题给出了简短但很好的答案。

我想提到的第三个 C++ DI 框架是 Infector++ .

这些只是众多 C++ DI 框架中的三个。您可以在 this page 上找到很多.

我的观点是，如果 C++ 有这么多的 DI 框架，无论它们是否被广泛接受，没有托管堆的 DI 肯定是可能的:-)

If so, what code patterns work well to ensure that resources are released correctly?

上面的链接提供了关于如何在 C++ 中完成一个完整的 DI 框架的额外输入，包括依赖解析、不同的创建策略和对象范围，最后是你的问题，对象生命周期管理。

在这里，我将概述如何以一致且确定的方式完成生命周期管理。所有提到的框架都大量使用智能指针(std::unique_ptr、std::shared_ptr，还有 boost::shared_ptr，如果它们提供增强支持)并为它们附加创建策略语义。请注意，您不需要完整的 DI 框架即可使用此模式。基本思想非常简单。

假设我声明了一个如下所示的类:

class i_depend_on_others {
    i_depend_on_others(std::unique_ptr<other>,
                       std::shared_ptr<another_other>,
                       boost::shared_ptr<yet_another_other>)
    { }
};

这是一个清晰的构造函数注入(inject)，但具有关于“其他”的预期生命周期的附加语义。第一个 other 将由 i_depend_on_others 实例拥有，因为我们有 std::unique_ptr 它会在 i_depend_on_others 实例被删除。 another_other 和 yet_another_other 预期具有独立于 i_depend_on_others 实例的生命周期。此模式清楚地定义了 i_depend_on_others 实例何时负责清理资源以及调用代码何时应执行此操作。 (在 DI 框架的情况下，框架负责共享实例。)

问题是在这种情况下该怎么办:

class i_depend_on_others_as_well {
    i_depend_on_others_as_well(other*) { }
};

(我不会在这里争论现代 C++ 开发中应避免使用原始指针。假设我们被迫使用它们。)同样，该模式定义了清晰的语义。 原始指针意味着所有权转移。i_depend_on_others_as_well 的实例负责删除other。

对于像 [Boost].DI 这样的 DI 框架，指针的类型将决定注入(inject)对象的默认生命周期。对于共享指针，它们将是单例，创建一次并由 [Boost].DI 维护，对于原始指针和唯一指针，每次都会创建一个新实例。

可以在 "Decide the life times" 中找到有关此模式的更详细说明。 [Boost].DI 文档的章节。