【问题标题】:How do cleanly initialize two structs in golang which depend on each other?如何在golang中干净地初始化两个相互依赖的结构?
【发布时间】:2020-09-25 04:20:24
【问题描述】:

我在当前项目中遇到了一个问题,我有两个模块,一个实现了用于测试目的的接口,一个只是一个具体的结构,每个都依赖于另一个的方法。

为了解决这种紧张关系,我尝试创建一个顶级“容器”结构,该结构包含对依赖结构和接口的引用,然后使用容器结构上的方法,将其分配为每个组件结构都是顶级容器指向另一个结构的指针。我这样做而不是使用全局变量是为了能够更好地封装我的代码以进行测试。

但是,似乎无论哪个结构首先初始化,在第二个结构初始化时都看不到另一个结构地址的变化。我不明白为什么,我似乎无法按预期实现此功能。

由于实际代码中有许多无关的细节,我创建了这个玩具示例来说明我在说什么。

type container struct {
    r requestor
    a *A
}

type requestor interface {
    Request()
}

type A struct {
    r requestor
}

type R struct {
    a *A
}

func (r R) Request() {
    log.Info("I requested")
    return
}

func (container *container) NewA() *A {
    log.Info("New A received container.r: ", container.r)
    a := &A{
        r: container.r,
    }
    container.a = a
    return a
}

func (container *container) NewR() *R {
    r := &R{
        a: container.a,
    }
    container.r = r
    return r
}

func TestDepResolution(t *testing.T) {
    top := container{}

    top.NewR()
    top.NewA()

    // top.a.r = r

    log.Infof("top: %+v", top)
    log.Infof("R: %+v", top.r)
    log.Infof("A: %+v", top.a)

}

它被设置为一个测试,所以我可以在我的项目中轻松地执行它。输出如下:

=== RUN   TestDepResolution
INFO[0000] New A received container.r: <nil>
INFO[0000] top: {r:0xc000010028 a:0xc00006abc0}
INFO[0000] R: &{a:0xc00006abc0}
INFO[0000] A: &{r:<nil>}

我预计在调用 NewR() 后 A 的 r 变量将等于 top 的 r 变量,但它似乎没有改变。如果我切换 NewA() 和 NewR() 的顺序,也会出现同样的问题。

由于我在这里使用指针和接口,所以我预计当 top 的值发生变化时这些值会被连接,但很明显我一定是误解了一些东西。我已经尝试过使用指针,但无济于事。

那么为什么这不按我的预期工作呢?有没有办法按照我的建议进行这项工作?还是我以一种完全错误的方式思考这个问题?我试图考虑从模块中提取功能,使它们不相互依赖,我可以完全避免这个问题,但我还没有想出一个好的方法来做到这一点。

【问题讨论】:

  • "一个实现一个用于测试目的的接口" 这是你的第一个问题:只为测试目的引入接口是危险的,特别是如果你打算只有一个实现"和一个只是一个具体的结构,这每个人都依赖于另一个人的方法。”考虑重构这种用于测试的接口。
  • 这里为什么接口有问题?为什么使用接口进行测试会很危险?我的理解是,这是首先使用界面的关键原因之一,到目前为止它对我很有帮助。如果您有相反的论点,我很乐意听到。

标签: pointers go dependency-injection interface


【解决方案1】:

为了能够以您想要的方式使用指针,您首先需要实际的指针(即不是nil 指针),您还需要使用指针间接来“共享”指向的更新价值观。

例如:

type T struct { F string }

a := &T{"foo"} // non-nil pointer
b := a
fmt.Println(b) // output: {"foo"}

*a = T{"bar"}  // pointer indirection
fmt.Println(b) // output: {"bar"}

为了比较,以下是您的代码尝试执行的操作:

type T struct { F string }

a := (*T)(nil) // nil pointer
b := a
fmt.Println(b) // output: <nil>

a = &T{"bar"}  // plain assignment
fmt.Println(b) // output: <nil>

请注意,即使你使用了指针间接,在nil 指针上这样做也是非法的,运行时如果遇到这样的操作,将会崩溃。

a := (*T)(nil) // nil pointer
b := a
fmt.Println(b) // output: <nil>

*a = T{"bar"} // pointer indirection on nil, will crash the program
fmt.Println(b)

因此,您的示例不起作用,因为它没有正确初始化指针并且它不使用指针间接,而是使用简单的赋值,它只更新目标变量的指针而不是指向的值。


要正确初始化容器,您应该一步完成:

func NewContainer() *container {
    c := &container{a: &A{}}
    c.r = &R{a: c.a}
    c.a.r = c.r
    return c
}

https://play.golang.com/p/hfbqJEVyAHZ

或者,如果您想要分两次进行,您可以这样做:

func (c *container) NewA() *A {
    log.Println("New A received c.r: ", c.r)
    a := &A{
        r: c.r,
    }
    if c.a != nil {
        *c.a = *a
    } else {
        c.a = a
    }
    return a
}

func (c *container) NewR() *R {
    if c.a == nil {
        c.a = new(A)
    }

    r := &R{
        a: c.a,
    }
    c.r = r
    c.a.r = r
    return r
}

https://play.golang.com/p/krmUQOsACdU

但是,正如您所看到的,初始化如此紧密耦合的依赖项的多步骤方法可能会变得不必要的复杂和丑陋,即复杂,即非常容易出错。尽量避免。


说了这么多,就我个人而言,我会认为这种循环依赖是一种气味,并会开始考虑重新设计,但也许这只是我自己。

【讨论】:

  • 啊,非常感谢您帮我解决这个问题。我现在可以清楚地看到我在理解指针间接和零指针方面的错误。你的例子很有意义,我喜欢你一步初始化的建议。我看到的唯一问题是如果 a 和 r 都成为接口,那么 c.a.r 将不能在这里直接修改。我在这里唯一的选择是在接口上创建一个方法吗,比如 r.SetA() ,它可以到达具体对象并在调用 NewA 和 NewR 后的某个时间正确设置值?
  • 另外,同意这种气味,但处理笨拙的 init 似乎比重构循环依赖更重要。 A 和 R 代表两个模块,每个模块都保持状态并响应来自不同来源的外部事件。简而言之,R 需要使用 A 的方法来处理它接收到的事件并制定响应,并且 A 需要参考 R 的方法以使 R 能够代表它发送消息。我确信这一定是软件中的常见问题,但我自己无法解决。如果您知道任何学习如何解决此类问题的好资源,我将不胜感激。
  • @DanielVeenstra play.golang.com/p/si_hyoa3Pap(同样的,只是更详细,更清晰)
  • @DanielVeenstra 在我看来,您处于这种情况是因为模块违反了单一职责原则,即模块所做的不仅仅是“一件事”。要解决此问题,您可以拆分模块,直到它们的各个部分只做一件事,这在实践中应该消除循环依赖。请记住,气味仅表示更深层次问题的可能性,即在您的情况下,循环依赖可能是正确的方法,通常不是,但有时不能得到帮助。这是你的代码,你必须知道,你必须决定。
  • 我确信我的模块在某种程度上违反了单一职责原则,这可能是由于代码的目的随着时间的推移而蔓延。知道我最终必须决定这种循环依赖是否真的是正确的方法,我想知道是否有一个原则可以帮助确定循环依赖何时真正是唯一正确的选择,何时它只是一个副产品一个错误的设计。当我检查我的代码时,我肯定会考虑这一点。
猜你喜欢
  • 1970-01-01
  • 2017-11-29
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多