如何编写惯用的构造函数

Question

我对 Go 中的构造函数感到困惑。我见过的大多数构造函数都会返回一个结构体，但“Effective Go”表明，根据“通用性”规则，在某些情况下可以返回一个接口。

我相信“Effective Go”能够提供好的想法，但这似乎不遵循“接受接口，返回结构”的原则。我猜想许多类型都实现了一个接口，仅此而已，因此在这种情况下，很容易看到返回接口的构造函数。

另一个相关的说法是接口应该由消费者定义，但“通用性”意味着接口由生产者定义。

有人可以澄清一下吗？

Answer 1

正如已经提到的，返回一个接口应该被认为是特殊的事情。

返回接口类型的错误error就是其中之一。

返回表示未导出类型的接口是另一个例外。但是为什么要有一个描述未导出结构的导出接口，而不是仅仅有一个导出结构呢？

原因很简单，这允许您更好地控制该结构的构造方式。

比较这两段代码：

type MyType struct {
    MyField string
}

func NewMyType(value string) MyType {
    return MyType{value}
}

func (t MyType) MyMethod() string {
    return t.MyField
}

type MyType interface {
    MyMethod() string
}

type myType struct {
    MyField string
}

func NewMyType(value string) MyType {
    return myType{value}
}

func (t myType) MyMethod() string {
    return t.MyField
}

在第一种情况下，我可以这样做：myVar := MyType{}而在第二种情况下，我将无法这样做，我被迫使用提供的构造函数。第一种情况还允许在创建后修改字段值，而第二种情况则不允许。使该字段不导出将解决第二部分，但不能解决第一部分。

这个例子显然是微不足道的，但是能够构造无效的结构可能会产生可怕的影响。通过使用特定的构造函数，您可以确保对象处于有效的起始状态，并且您只需要确保它始终保持有效状态。如果您不能确保这一点，您可能需要在每个方法开始时检查它是否处于有效状态。

例如，考虑一个数据库请求。它需要数据库连接。如果用户能够在没有数据库连接的情况下创建数据库请求，您将必须检查它在每种方法中是否有效。如果你强迫他使用构造函数，你可以在创建时检查并完成。