入门
下面是一个官方的例子:
package main
import (
"context"
"fmt"
"go.uber.org/fx"
"io"
"net"
"net/http"
"os"
)
func main() {
fx.New(
fx.Provide(
NewHTTPServer,
NewEchoHandler,
NewServeMux,
),
fx.Invoke(func(srv *http.Server) {}),
).Run()
}
func NewHTTPServer(lc fx.Lifecycle, mux *http.ServeMux) *http.Server {
srv := &http.Server{
Addr: ":8080",
Handler: mux,
}
lc.Append(fx.Hook{
OnStart: func(ctx context.Context) error {
ln, err := net.Listen("tcp", srv.Addr)
if err != nil {
return err
}
fmt.Println("Starting HTTP server at", srv.Addr)
go srv.Serve(ln)
return nil
},
OnStop: func(ctx context.Context) error {
return srv.Shutdown(ctx)
},
})
return srv
}
// EchoHandler is an http.Handler that copies its request body
// back to the response.
type EchoHandler struct{}
// NewEchoHandler builds a new EchoHandler.
func NewEchoHandler() *EchoHandler {
return &EchoHandler{}
}
// ServeHTTP handles an HTTP request to the /echo endpoint.
func (*EchoHandler) ServeHTTP(w http.ResponseWriter, r *http.Request) {
if _, err := io.Copy(w, r.Body); err != nil {
fmt.Fprintln(os.Stderr, "Failed to handle request:", err)
}
}
// NewServeMux builds a ServeMux that will route requests
// to the given EchoHandler.
func NewServeMux(echo *EchoHandler) *http.ServeMux {
mux := http.NewServeMux()
mux.Handle("/echo", echo)
return mux
}
详解
fx.Lifecycle
使用 fx.Lifecycle
对象向应用程序添加生命周期挂钩。这告诉 Fx 如何启动和停止 HTTP 服务器。
func NewHTTPServer(lc fx.Lifecycle) *http.Server {
srv := &http.Server{Addr: ":8080"}
lc.Append(fx.Hook{
OnStart: func(ctx context.Context) error {
ln, err := net.Listen("tcp", srv.Addr)
if err != nil {
return err
}
fmt.Println("Starting HTTP server at", srv.Addr)
go srv.Serve(ln)
return nil
},
OnStop: func(ctx context.Context) error {
return srv.Shutdown(ctx)
},
})
return srv
}
Fx 应用程序的生命周期有两个高级阶段:初始化和执行。这两者又由多个步骤组成。
在初始化期间,Fx 将,
- 注册传递给
fx.Provide
的所有构造函数 - 注册所有传递给
fx.Decorate
的装饰器 - 运行传递给
fx.Invoke
的所有函数,根据需要调用构造函数和装饰器 - 在执行期间,Fx 将,运行由提供者、装饰器和调用的函数附加到应用程序的所有启动挂钩等待信号停止运行运行附加到应用程序的所有关闭挂钩
生命周期挂钩提供了在应用程序启动或关闭时安排 Fx 执行的工作的能力。 Fx提供了两种钩子:
-
启动挂钩,也称为 OnStart 挂钩。它们按照附加的顺序运行。
-
关闭挂钩,也称为 OnStop 挂钩。它们以与附加顺序相反的顺序运行。 通常,提供启动钩子的组件也会提供相应的关闭钩子来释放它们在启动时获取的资源。
Fx 运行两种类型的钩子并强制执行硬超时。因此,钩子仅在需要安排工作时才会阻塞。换句话说,
挂钩不得阻塞以同步运行长时间运行的任务 hooks 应该在后台 goroutine 中安排长时间运行的任务 关闭钩子应该停止由启动钩子启动的后台工作
fx.Provide
使用 fx.Provide
将上面的HttpServer构造函数提供给 Fx 应用程序。
func main() {
fx.New(
fx.Provide(NewHTTPServer),
).Run()
}
fx.Invoke
fx.Invoke
可以注册一些在应用启动时立即执行的函数。这些函数的参数由在应用生命周期内注册的构造函数构建。换句话说,这些函数会在所有提供的组件都已经被构造并且已经添加到容器中后执行。
这是一个例子来说明如何使用fx.Invoke
:
package main
import (
"go.uber.org/fx"
"log"
)
func main() {
app := fx.New(
fx.Invoke(func() {
log.Println("Application started")
}),
)
app.Run()
}
在这个例子中,我们注册了一个匿名函数到fx.Invoke
。这个函数会在应用启动时立即执行并记录 “Application started”。
fx.Invoke
通常用于执行像数据库迁移或运行HTTP服务器等需要在应用启动时完成的任务。
请注意,任何从invoke函数返回的错误都会导致应用的启动失败,并立即返回错误给App.Start
。
fx.Annotated
fx.Annotated
fx库中的一个结构体,主要用于给提供给容器的函数或调用的函数添加元数据。
下面是fx.Annotated
的定义:
type Annotated struct {
Name string
Target interface{}
Group string
}
- Name字段可以指定该函数提供的结果在fx图中的名称。此名称可用于解析命名的实例。
- Target字段是你想添加注释的构造函数。
- Group字段可以指定结果应该添加到的值组。
这是如何使用fx.Annotated
的一个例子:
type Result struct{}
func NewResult() Result {
return Result{}
}
func main() {
fx.New(
fx.Provide(
fx.Annotated{
Name: "example",
Target: NewResult,
},
),
)
}
在这个例子中,我们使用 fx.Annotated
将 NewResult
函数的返回值以 “example” 的名称提供给fx容器。然后,我们可以通过该名称在其他地方获取此结果。
这种提供命名实例的能力非常有用,特别是当你有多个实现同一接口的值时,在fx中需要明确指定使用哪一个。
Group字段的作用
在构建Fx应用程序时,你可能会遇到一种情况,也就是你需要把多个提供者的结果(通常是具有共同类型或接口的对象)集中在一起,这就是“Group”派上用场的地方。
以下是使用值组的一些典型情况:
- 多个提供者提供相同类型的结果:你可能有多个提供者都返回相同的类型,这在创建插件系统或模块化设计时很常见。在这种情况下,你可能需要将所有的插件(通过各自的提供者提供)聚合到一个列表中。
- 需要动态注入依赖项:有时候,你可能不知道需要依赖多少或哪些具体的实例。例如,你的应用可能依赖一个插件系统,这个系统允许其他开发者添加他们自己的插件。在这种情况下,你可以使用值组来动态地收集和注入插件。
- 需要将多个对象组合在一起进行处理:例如,你可能想把所有实现了特定接口的对象收集起来,并在单个函数中一次处理它们。通过使用值组,你可以轻松地将这些对象注入到这个函数中。
值组允许你在不知道具体数量或具体实例的情况下注入一组对象,同时保持代码的解耦。这样可以帮助你创建更模块化和可扩展的应用程序。
在fx.Annotated
中,Group
字段用于将一个供应器的结果注入到一个特定的“值组”中。在构建fx应用程序时,你可能会遇到一种情况,也就是你不知道需要提供多少实例,或者你想把多个提供者的结果集中在一起。这就是“值组”派上用场的地方。
在fx中,你可以定义一个供应器的结果应该被添加到一个特定的值组。然后,你可以注入这整个结果集。Group
字段就是用来标识这个值组的名称。
下面是一个例子:
type ResType struct{
Value string
}
func Provider1() ResType {
return ResType{Value: "From Provider 1"}
}
func Provider2() ResType {
return ResType{Value: "From Provider 2"}
}
type ResGroup struct {
Group []ResType `group:"myGroup"`
}
func main() {
fx.New(
fx.Provide(
fx.Annotated{
Group: "myGroup",
Target: Provider1,
},
fx.Annotated{
Group: "myGroup",
Target: Provider2,
},
),
fx.Invoke(func(r *ResGroup) {
for _, res := range r.Group {
fmt.Println(res.Value)
}
}),
).Run()
}
在这个例子中,Provider1
和Provider2
的结果都被添加到名为 myGroup
的值组。然后,我们可以通过在一个类型中定义一个带有 group:"myGroup"
标签的字段来注入整个 myGroup
组。fx.Invoke
的函数接收这个类型作为参数,然后它可以访问这个值组中的所有实例。
fx.Supply()
fx.Supply
用于供应一个或多个已经存在的值到 Fx App 的依赖注入容器中。这个函数是 fx.Provide
的一个特例,它用于处理那些你已经拥有的值,不需要通过任何构造函数创建新的实例。
下面是 fx.Supply
的使用方法:
type MyType struct{
Value int
}
func main() {
myInstance := MyType{Value: 10}
app := fx.New(
fx.Supply(myInstance),
fx.Invoke(func(m MyType) {
fmt.Println(m.Value) // Output: 10
}),
)
app.Run()
}
在这个例子中,我们首先创建一个 MyType
的实例 myInstance
,然后我们通过 fx.Supply
函数将这个已经存在的实例供应到 Fx App 的依赖图中。然后使用 fx.Invoke
依赖注入这个实例到目标函数中。
fx.Module
Fx 模块是一个可共享的 Go 库或包,为 Fx 应用程序提供独立的功能。
编写模块
要编写 Fx 模块:
-
定义从
fx.Module
调用构建的顶级Module
变量。为您的模块指定一个简短且易于记忆的日志名称。var Module = fx.Module("server", Copied!
-
使用
fx.Provide
添加模块的组件。var Module = fx.Module("server", fx.Provide( New, parseConfig, ), ) Copied!
-
如果您的模块有一个必须始终运行的函数,请为其添加
fx.Invoke
。var Module = fx.Module("server", fx.Provide( New, parseConfig, ), fx.Invoke(startServer), )
-
如果您的模块需要在使用其依赖项之前对其进行修饰,请为其添加
fx.Decorate
调用。var Module = fx.Module("server", fx.Provide( New, parseConfig, ), fx.Invoke(startServer), fx.Decorate(wrapLogger), )
-
最后,如果您希望将构造函数的输出保留到您的模块(以及您的模块包含的模块)中,您可以在提供时添加
fx.Private
。var Module = fx.Module("server", fx.Provide( New, ), fx.Provide( fx.Private, parseConfig, ), fx.Invoke(startServer), fx.Decorate(wrapLogger), )
在这种情况下,
parseConfig
现在是“服务器”模块私有的。包含“server”的模块将无法使用生成的Config
类型,因为它只能由“server”模块看到。
这就是编写模块的全部内容。本节的其余部分介绍了我们为在 Uber 编写 Fx 模块而建立的标准和约定。
命名
包名
独立的 Fx 模块,即作为独立库分发的模块,或在库中具有独立 Go 包的模块,应根据它们包装的库或它们提供的功能来命名,并添加“fx”后缀。
Bad | 好的 |
---|---|
package mylib |
package mylibfx |
package httputil |
package httpfx |
作为另一个 Go 包一部分的 Fx 模块或为特定应用程序编写的单服务模块可能会省略此后缀。
参数和结果对象
参数和结果对象类型应以它们所属的函数命名,方法是在函数名称中添加 Params
或 Result
后缀。
例外:如果函数名称以 New
开头,请在添加 Params
或 Result
后缀之前去除 New
前缀。
功能 | 参数对象 | 结果对象 |
---|---|---|
New | 参数 | 结果 |
Run | 运行参数 | 运行结果 |
新富 | Foo参数 | Foo结果 |
导出边界函数
如果您的模块使用的功能无法以其他方式访问,则通过 fx.Provide
或 fx.Invoke
导出该功能。
var Module = fx.Module("server",
fx.Provide(
New,
parseConfig,
),
)
type Config struct {
Addr string `yaml:"addr"`
}
func New(p Params) (Result, error) {
在此示例中,我们不导出 parseConfig
,因为它是一个简单的 yaml.Decode
,我们不需要公开,但我们仍然导出 Config
所以用户可以自己解码。
理由:应该可以在不使用 Fx 本身的情况下使用 Fx 模块。用户应该能够直接调用构造函数并获得与 Fx 模块提供的相同功能。这对于破坏性更改和部分迁移是必要的。
坏处:没有 Fx 就无法构建服务器
var Module = fx.Module("server", fx.Provide(newServer), ) func newServer(...) (*Server, error)
使用参数对象
模块公开的函数不应直接接受依赖项作为参数。相反,他们应该使用参数对象。
type Params struct {
fx.In
Log *zap.Logger
Config Config
}
func New(p Params) (Result, error) {
理由:模块不可避免地需要声明新的依赖项。通过使用参数对象,我们可以以向后兼容的方式添加新的可选依赖项,而无需更改函数签名。
坏:无法在不破坏的情况下添加新参数
func New(log *zap.Logger) (Result, error)
使用结果对象
模块公开的函数不应将其结果声明为常规返回值。相反,他们应该使用结果对象。
type Result struct {
fx.Out
Server *Server
}
func New(p Params) (Result, error) {
Copied!
理由:模块不可避免地需要返回新结果。通过使用结果对象,我们可以以向后兼容的方式生成新结果,而无需更改函数签名。
坏:无法在不破坏的情况下添加新结果
func New(Params) (*Server, error)
不要提供你不拥有的东西
Fx 模块应该只向应用程序提供其权限范围内的类型。模块不应向应用程序提供它们碰巧使用的值。模块也不应该批发地捆绑其他模块。
理由:这使消费者可以自由选择依赖项的来源和方式。他们可以使用您推荐的方法(例如,“include zapfx.Module”),或者构建自己的该依赖项的变体。
坏:提供依赖
package httpfx type Result struct { fx.Out Client *http.Client Logger *zap.Logger // BAD }
坏:捆绑另一个模块
package httpfx var Module = fx.Module("http", fx.Provide(New), zapfx.Module, // BAD )
例外:仅用于捆绑其他模块的组织或团队级别的“厨房水槽”模块可能会忽略此规则。例如,在 Uber,我们定义了一个 uberfx.Module
来捆绑其他几个独立的模块。所有服务都需要此模块中的所有内容。
保持独立模块的精简
独立的 Fx 模块——那些名称以“fx”结尾的模块很少包含重要的业务逻辑。如果 Fx 模块位于包含重要业务逻辑的包内,则其名称中不应包含“fx”后缀。
理由:某人应该可以迁移到或离开 Fx,而无需重写其业务逻辑。
好:业务逻辑消耗 net/http.Client
package httpfx import "net/http" type Result struct { fx.Out Client *http.Client }
坏处:Fx 模块实现了记录器
package logfx type Logger struct { // ... } func New(...) Logger
谨慎调用
请慎重选择在模块中使用 fx.Invoke
。根据设计,仅当应用程序通过另一个模块、构造函数或调用直接或间接使用其结果时,Fx 才会执行通过 fx.Provide
添加的构造函数。另一方面,使用 fx.Invoke
添加的函数无条件运行,并在此过程中实例化它们所依赖的每个直接值和传递值。
fx.In/fx.Out
fx.In
和 fx.Out
是 Uber 的 go 语言 fx 库中的结构体,被用作函数的参数和返回值的标记,以告知 fx 应用如何处理这些函数的参数和返回值。
fx.In
用于标记一个函数的输入参数,这允许函数声明其依赖项,而 fx 应用会自动提供这些依赖项。在 fx 中,你可以通过在参数结构体中使用 fx.In
标签来注入多个依赖项。
fx.Out
用于标记一个函数的输出,这使得函数的返回值可以被添加到 fx 应用的依赖图中,供后续的组件使用。你可以使用 fx.Out
标签在结构体中定义多个返回值。
下面是 fx.In
和 fx.Out
的使用例子:
type MyType1 struct{
Value int
}
type MyType2 struct{
Value string
}
type ModuleAParams struct{
fx.In
Value1 MyType1
}
type ModuleAResults struct {
fx.Out
Value2 MyType2
}
func ModuleA(p ModuleAParams) ModuleAResults {
// use p.Value1
return ModuleAResults{
Value2: MyType2{Value: "Hello, world"},
}
}
func main() {
v1 := MyType1{Value: 10}
app := fx.New(
fx.Supply(v1),
fx.Provide(ModuleA),
fx.Invoke(func(v2 MyType2) {
fmt.Println(v2.Value) // Output: Hello, world
}),
)
app.Run()
}
在这个例子中,ModuleA
通过 ModuleAParams
结构体声明它需要 MyType1
类型的对象,然后 fx 应用会自动从依赖图中提供这个对象。ModuleA
也通过 ModuleAResults
结构体把它的输出 MyType2
类型的对象添加到依赖图中,供后续的组件使用。
fx.Replace
fx.Extract
fx.Populate
fx.Populate
用于在Go应用程序中填充多个值。
在fx中,有时我们的组件需要访问由另一个函数提供的一组值。这种情况下,可以使用fx.Populate构造一个值,并将它传递给组件,如以下例子所示:
var result struct {
Reader io.Reader
Writer io.Writer
}
app := fx.New(
fx.Provide(fx.Annotated{
Group: "io",
Target: func() io.Reader { return strings.NewReader("...") },
}),
fx.Provide(fx.Annotated{
Group: "io",
Target: func() io.Writer { return ioutil.Discard },
}),
fx.Invoke(func(in struct {
In `group:"io"`
Out `group:"io"`
}) {
r := in.In.Reader
w := in.Out.Writer
}),
fx.Populate(&result),
)
app.Run()
在此例中,我们使用fx.Annotated的Group标签分别提供了io.Reader和io.Writer,并使用fx.Invoke填充了结果对象的Reader和Writer字段。
这只是fx.Populate
可能的用法之一,更多复杂的用法可能涉及在运行时配置对象的字段到特定的提供者。
因此,在适当的地方使用fx.Populate
,能有效地实现依赖注入从而简化应用程序组件之间的通信。