Golang Go语言中阿里开源的IoC框架及是否真的需要ioc

解耦嘛，大家都喜欢，跟语言无关

IOC 是必须的,到中等规模项目,没用 IOC 框架你也会自己被动造出一个原始版本的 IOC

学一下 wire ，这个是用的最多的。想了解一下反射的实现可以看下 uber 的 dig/fx 。阿里开源的这个先观望吧。。

不希望某天 golang 变成另外一个 java

我觉得多用 接口+实现类的方式即可，类似于 database/sql 可以在实现里面去注册到 database/sql 中，通过引入不同的实现类即可切换。

至于楼上说反射的，我觉得不见得对，起码要我来实现 ioc 的话，也是通过定义 interface+init()方法初始化来做。

go 语言本身做不到 IoC 自动装配，要硬上 IoC 就得用代码生成器，但代码生成器会直接破坏原生简洁的构建方式。

IoC 一般需要语言支持一些元编程才比较好用，go 就是个基本毫无元编程特性的语言，强上 IoC 我认为是徒增烦恼。

有啥好看的，拿锤看钉罢了

第一性原理： IOC 是什么，解决了什么问题

- 是什么： 当我在一个纯 OO 语言里，想用到某个 object 提供的方法时（比如 A 类的实例）需要 a=new A; a.method()
但我不希望当前写的这个逻辑依赖死 A 类，我希望有个「只要跟 A 类差不多的类实例」就行。于是可以使用接口+工厂，即 a=AFactory.New();a.method()，但这个实现依然要依赖特定的工厂，我希望写任何逻辑都能有一个万能工厂提供我要的接口，于是我不再在逻辑里写 a=new A 了，我写 a=THEGOD.provide(“A”)，或者在我的构造函数里写 CreateMe(I_WANT_AN_A a)，这样我就有 a 了，怎么来的我不管，谁爱给谁给。

- 解决什么问题：
1. A 经常变化，我无法自己得到正确的 A ，但 GOD 可以，因为 A 会告诉 GOD 怎么生成自己
2. A 就算变了，我不需要配合改变，「代价」比较小




好，现在思考这两个问题在 golang 语境的意义

先说代价。因为这是最显著的差异
golang 是一个需要编译成二进制的静态类型语言，而且所有的代码都在同一个二进制里
它不像 java ，改了某一个模块，仅仅是那个模块的字节码发生变化。java 甚至可以动态加载字节码，也就说它完全可以 core 保持运行，临时下线一些功能，加载新的字节码，将原功能指到新加载的字节码上。
但 golang 不行。
任意代码的修改都会导致整个程序重新编译
编译时长之类的问题可以通过缓存文件优化，但是
服务程序必须全部停止
这一点是不会改变的。无论怎么折腾，golang 写的代码都必须重新编译，且完全停止原来的二进制程序运行再跑一个新的。
因此相比于 java 语境中「代价」有重大的运行时意义，golang 语境下「代价较小」的意义仅仅是保持代码工程的相对整洁罢了，但源码组织是整个软件工程中相当不重要的一环，我想没什么人会否认吧。大家都住在屎山，但没听说哪里的代码写成喜马拉雅能跑写成屎山就跑不了的。



再说问题 1

// service.go
var a IA = NewA()
a.method()

// interface.go
type IA interface{ method() }
func NewA() IA {
if 1{return a.NewA()}
if 2 {return a.v2.NewA()}
}

不行吗？
service 不引用 A 吧
interface 要改，但跟改 xml 本质上没什么区别吧



另外静态语言都不热衷这种框架，因为就算语言提供反射，它们也不像动态语言一样能「凭空造出一个类和实例」，从本质来说它们只能「改变指向类型的指针」，因此只要类型结构本身没有编译到二进制里，无论怎么折腾也造不出一个新类型。

这也就意味着 IOC 框架再怎么折腾也需要一个已经存在的类型实现，而非只要有存根就行。
因此在这些语言里，让框架为使用者寻找一个 IOC 容器的意义也仅仅只是在一个编译期就确定的类型映射表里找一个合适的类型罢了

那我代码里直接用这个静态映射不就好了，我干嘛还要「委托框架来帮我找」




----


拿你提的这个框架来说
1. 不使用这个框架，只用 interface 是不是也能从代码上解耦？
2. 使用这个框架，接口实现变化是不是一样的要「改代码+重新编译+重新部署」而且改动范围差不多？

golang 生态在微服务化跟 java 生态在 bean 化都是需求和语言特性 /限制的「磨合」，反向照猫画虎反正我的心态都是看个笑话

我写过一丁点 unity ，unity 本身就非常 DI 。对于场景设计器之类的东西静态定义的对象，框架控制着对象容器，写的逻辑会被框架反向绑定到对象上，逻辑类（ XXBehavior : Behavior ）是通过 unity 提供的 API 来获取自己绑定的物体实例的，物体不持有逻辑逻辑也不持有物体