依赖注入作为一种语言特性？

Question

是否有任何现有的现代编程语言明确将依赖项注入作为语言功能，如果是，是否有任何示例说明此类编程语言如何使用其语法将程序依赖项与其具体实现分开？

（请注意：我并不是在寻找 DI/IOC 框架——我实际上是在寻找一种实际上内置了此功能的编程语言）。

Answer 1

您不会发现依赖注入是一种语言功能，因为它通常被视为一种设计模式。设计模式是作为缺少语言功能的解决方法而出现的 - 例如，如果您将第一类类型作为语言功能，则不需要工厂模式（请参阅 Norvig 的演示 ），如果您有多种方法作为语言功能，则不需要双重调度模式。

以 DI 为设计模式的语言特性是“参数化模块”。请参阅模块的讨论与 DI 相关吉拉德·布拉查 (Gilad Bracha) 的语言 Newspeak

Answer 2

我不想听起来像个混蛋，但每种面向对象语言都支持依赖注入。不需要特殊的语法。只需使用它们的依赖项构造您的对象（或稍后设置它们的依赖项）。

实际上，您可以将所有依赖项连接到程序顶部附近的某个位置 - 不一定是 main()，但靠近顶部。

Answer 3

Noop 据说可以做到这一点，但我还没有看到语言规范（我的耐心耗尽了在我找到它之前）。

Answer 4

可以说，Scala 在特征和自类型注释的帮助下支持开箱即用的依赖注入。看一下蛋糕模式：

http:// jonasboner.com/2008/10/06/real-world-scala-dependency-injection-di/

基本上，这种方法使用具有声明的依赖项的特征（通过使用自类型）来让编译器完成以下工作将它们连接在一起。

这是声明注册表：

object ComponentRegistry extends 
  UserServiceComponent with 
  UserRepositoryComponent 
{
  val userRepository = new UserRepository
  val userService = new UserService
}

...注册用户存储库：

trait UserRepositoryComponent {
  val userRepository: UserRepository

  class UserRepository {
    ...
  }
}

...以及依赖于存储库的用户服务组件：

trait UserServiceComponent { 
  this: UserRepositoryComponent => 

  val userService: UserService  

  class UserService {
    ... 
  }
}