golang的依赖注入库非常的少，好用的更是少之又少，比较好用的目前有两个
本系列分几部分，先对dig进行分析，第一篇介绍dig的使用，第二篇再从源码来剖析他是如何通过返射实现的的依赖注入的，后续会介绍fx 的使用和实现原理。
dig主要的思路是能过Provider将不同的函数注册到容器内，一个函数可以通过参数来声明对其他函数返回值的依赖。在Invoke的时候才会真正的去调用容器内相应的Provider方法。
dig还提供了可视化的方法Visualize用于生成dot有向图代码，更直观的观察依赖关系，关于dot的基本语法，可以查看帖子dot 语法总结
帖子中的代码使用的dig的master分支，版本为1.11.0-dev，帖子所有的代码都在github上，地址：fx_dig_adventure
简单使用
func TestSimple1(t *testing.T) {
type Config struct {
Prefix string
}
c := dig.New()
err := c.Provide(func() (*Config, error) {
return &Config{Prefix: "[foo] "}, nil
})
if err != nil {
panic(err)
}
err = c.Provide(func(cfg *Config) *log.Logger {
return log.New(os.Stdout, cfg.Prefix, 0)
})
if err != nil {
panic(err)
}
err = c.Invoke(func(l *log.Logger) {
l.Print("You've been invoked")
})
if err != nil {
panic(err)
}
}
输出
[foo] You've been invoked
可以生成dot图，来更直观的查看依赖关系
b := &bytes.Buffer{}
if err := dig.Visualize(c, b); err != nil {
panic(err)
}
fmt.Println(b.String())
输出
digraph {
rankdir=RL;
graph [compound=true];
subgraph cluster_0 {
label = "main";
constructor_0 [shape=plaintext label="main.func1"];
"*main.Config" [label=<*main.Config>];
}
subgraph cluster_1 {
label = "main";
constructor_1 [shape=plaintext label="main.func2"];
"*log.Logger" [label=<*log.Logger>];
}
constructor_1 -> "*main.Config" [ltail=cluster_1];
}
可以看到 func2返回的参数为Log 依赖 func1返回参数 Config。dot 语法总结
展示出来：
命名参数--多个返回相同类型的Provide
如果Provide里提供的函数，有多个函数返回的数据类型是一样的怎么处理？比如，我们的数据库有主从两个连接库，怎么进行区分？
dig可以将Provide命名以进行区分
我们可以直接在Provide函数里使用dig.Name，为相同的返回类型设置不同的名字来进行区分。
func TestName1(t *testing.T) {
type DSN struct {
Addr string
}
c := dig.New()
p1 := func() (*DSN, error) {
return &DSN{Addr: "primary DSN"}, nil
}
if err := c.Provide(p1, dig.Name("primary")); err != nil {
t.Fatal(err)
}
p2 := func() (*DSN, error) {
return &DSN{Addr: "secondary DSN"}, nil
}
if err := c.Provide(p2, dig.Name("secondary")); err != nil {
t.Fatal(err)
}
type DBInfo struct {
dig.In
PrimaryDSN *DSN `name:"primary"`
SecondaryDSN *DSN `name:"secondary"`
}
if err := c.Invoke(func(db DBInfo) {
t.Log(db.PrimaryDSN)
t.Log(db.SecondaryDSN)
}); err != nil {
t.Fatal(err)
}
}
输出
&{primary DSN}
&{secondary DSN}
dot图
这样做并不通用，一般我们是有一个结构体来实现，dig也有相应的支持，用一个结构体嵌入dig.out来实现，
相同类型的字段在tag里设置不同的name来实现
func TestName2(t *testing.T) {
type DSN struct {
Addr string
}
c := dig.New()
type DSNRev struct {
dig.Out
PrimaryDSN *DSN `name:"primary"`
SecondaryDSN *DSN `name:"secondary"`
}
p1 := func() (DSNRev, error) {
return DSNRev{PrimaryDSN: &DSN{Addr: "Primary DSN"},
SecondaryDSN: &DSN{Addr: "Secondary DSN"}}, nil
}
if err := c.Provide(p1); err != nil {
t.Fatal(err)
}
type DBInfo struct {
dig.In
PrimaryDSN *DSN `name:"primary"`
SecondaryDSN *DSN `name:"secondary"`
}
inv1 := func(db DBInfo) {
t.Log(db.PrimaryDSN)
t.Log(db.SecondaryDSN)
}
if err := c.Invoke(inv1); err != nil {
t.Fatal(err)
}
}
输出
&{primary DSN}
&{secondary DSN}
dot 图
和上面的不同之处就是一个function返回了两个相同类型的字段。
组--把同类型的参数放在一个slice里
如果有很多相同类型的返回参数，可以把他们放在同一个slice里，和命名方式一样，有两种使用方式
第一种在调用Provide时直接使用dig.Group
func TestGroup1(t *testing.T) {
type Student struct {
Name string
Age int
}
NewUser := func(name string, age int) func() *Student {
return func() *Student {
return &Student{name, age}
}
}
container := dig.New()
if err := container.Provide(NewUser("tom", 3), dig.Group("stu")); err != nil {
t.Fatal(err)
}
if err := container.Provide(NewUser("jerry", 1), dig.Group("stu")); err != nil {
t.Fatal(err)
}
type inParams struct {
dig.In
StudentList []*Student `group:"stu"`
}
Info := func(params inParams) error {
for _, u := range params.StudentList {
t.Log(u.Name, u.Age)
}
return nil
}
if err := container.Invoke(Info); err != nil {
t.Fatal(err)
}
}
输出
jerry 1
tom 3
生成dot图
或者使用结构体嵌入dig.Out来实现，tag里要加上了group标签
type Rep struct {
dig.Out
StudentList []*Student `group:"stu,flatten"`
}
这个flatten的意思是，底层把组表示成[]*Student，如果不加flatten会表示成[][]*Student
完整示例
func TestGroup2(t *testing.T) {
type Student struct {
Name string
Age int
}
type Rep struct {
dig.Out
StudentList []*Student `group:"stu,flatten"`
}
NewUser := func(name string, age int) func() Rep {
return func() Rep {
r := Rep{}
r.StudentList = append(r.StudentList, &Student{
Name: name,
Age: age,
})
return r
}
}
container := dig.New()
if err := container.Provide(NewUser("tom", 3)); err != nil {
t.Fatal(err)
}
if err := container.Provide(NewUser("jerry", 1)); err != nil {
t.Fatal(err)
}
type InParams struct {
dig.In
StudentList []*Student `group:"stu"`
}
Info := func(params InParams) error {
for _, u := range params.StudentList {
t.Log(u.Name, u.Age)
}
return nil
}
if err := container.Invoke(Info); err != nil {
t.Fatal(err)
}
}
输出
jerry 1
tom 3
生成dot图
从dot图可以看出有两个方法生成了Group: stu
需要注意的一点是，命名方式和组方式不能同时使用。
可选参数
如果注册的方法返回的参数是可以为nil的，可以使用option来实现
func TestOption1(t *testing.T) {
type Student struct {
dig.Out
Name string
Age *int `option:"true"`
}
c := dig.New()
if err := c.Provide(func() Student {
return Student{
Name: "Tom",
}
}); err != nil {
t.Fatal(err)
}
if err := c.Invoke(func(n string, age *int) {
t.Logf("name: %s", n)
if age == nil {
t.Log("age is nil")
} else {
t.Logf("age: %d", age)
}
}); err != nil {
t.Fatal(err)
}
}
输出
name: Tom
age is nil
dry run
如果我们只是想看一下依赖注入的整个流程是不是通的，可以通过dry run来跑一下，他不会调用具体的函数，而是直接返回函数的返回参数的zero值
func TestDryRun1(t *testing.T) {
// Dry Run
c := dig.New(dig.DryRun(true))
type Config struct {
Prefix string
}
err := c.Provide(func() (*Config, error) {
return &Config{Prefix: "[foo] "}, nil
})
if err != nil {
panic(err)
}
err = c.Provide(func(cfg *Config) *log.Logger {
return log.New(os.Stdout, cfg.Prefix, 0)
})
if err != nil {
panic(err)
}
err = c.Invoke(func(l *log.Logger) {
l.Print("You've been invoked")
})
if err != nil {
panic(err)
}
}
运行代码不会有任何输出。