如何编写惯用的构造函数

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{}而在第二种情况下，我将无法这样做，我被迫使用提供的构造函数。第一种情况还允许在创建后修改字段值，而第二种情况则不允许。使该字段不导出将解决第二部分，但不能解决第一部分。这个例子显然是微不足道的，但是能够构造无效的结构可能会产生可怕的影响。通过使用特定的构造函数，您可以确保对象处于有效的起始状态，并且您只需要确保它始终保持有效状态。如果您不能确保这一点，您可能需要在每个方法开始时检查它是否处于有效状态。例如，考虑一个数据库请求。它需要数据库连接。如果用户能够在没有数据库连接的情况下创建数据库请求，您将必须检查它在每种方法中是否有效。如果你强迫他使用构造函数，你可以在创建时检查并完成。

Answer 2

这在一定程度上取决于您的偏好以及您如何看待事物。来自 OOP 背景的我的看法是：如果不能强制执行构造函数，那么构造函数就没有任何意义。添加构造函数意味着 - 您必须在实例化此项时提供这些值。如果您的结构是公共的，它将被滥用并绕过构造函数进行实例化。因此，构造函数返回公共接口并且结构是私有的（小写）是有意义的。如果结构是公共的，则构造函数中没有任何意义，因为您无法强制执行它。编写代码是作者和读者之间的对话，将结构公开并拥有构造函数会告诉读者 - 这里你有构造函数，但你也有一个公共结构，这意味着构造函数的使用是任意的。如果是这种情况，请采用该设置

Answer 3

在大多数情况下，构造函数返回具体类型（或指向类型的指针）。返回接口可能是一个好主意的情况是当调用工厂函数或构建器函数时，其中底层具体类型满足该接口。error例如，考虑接口，当你调用http.NewRequest底层集中错误类型可以是 of等net.Error。net.DNSError现在尝试思考如果函数返回具体类型，你将如何在没有接口的情况下创建这样的 api error？我能想到的唯一解决方案是为net包创建一个巨大的错误类型并添加额外信息的字段，但它很可能更难以维护，测试这种错误类型，更不用说内存膨胀了。无论您选择返回具体类型还是接口都是设计选择，都存在一些准则来为常见场景提供解决方案。