go - 为什么 Go 设计在将变量分配给具有相同签名的任何接口(interface)时不标记为错误

Question

我刚刚开始学习 Go，我的大部分背景来自 Java、Ruby。

我只是想知道，从我的示例来看，为什么 Go 语言设计者在实现接口(interface)时故意设计为不指定接口(interface)类型。因此，如果有人不小心尝试将对象分配给与签名匹配但不打算实现该接口(interface)的接口(interface)，这将导致错误并且无法在编译时捕获。

你可以试试这个:https://play.golang.org/p/1N0kg7m4eE

package main

import "fmt"

type MathExpression interface {
    calculate() float64
}

type AreaCalculator interface {
    calculate() float64
}

type Square struct {
    width, height float64
}

//This implementation intend to implement AreaCalculator interface
func (s Square) calculate() float64 {
    return s.width * s.height
}

func main() {
    //Suppose that a developer got this object from 
    //somewhere without a knowledge that object is a Square struct
    mysteryStruct := Square{width: 4, height: 3}
    var areaCalculator AreaCalculator = mysteryStruct
    fmt.Println("Area of something:", areaCalculator.calculate())

    var mathExpression MathExpression = mysteryStruct
    fmt.Println("This should not work:", mathExpression.calculate())
}

Answer 1

“隐式满足”接口(interface)(类型不需要显式声明它们实现它们的接口(interface))的一个优点是可以在事后创建接口(interface)。您可以看到几种具有共同方法的类型，可能在不同的包中，并决定编写一个可以通过调用指定该方法的新接口(interface)来接受其中任何一种的函数。

此外，Go 的接口(interface)方法允许您在现有包中编写类型行为的抽象，而无需修改原始包。我想到的第一个例子是 net/http 包中的 File 接口(interface):

type File interface {
    io.Closer
    io.Reader
    io.Seeker
    Readdir(count int) ([]os.FileInfo, error)
    Stat() (os.FileInfo, error)
}

它表示可以由 http.FileServer 提供的文件。通常它是一个 os.File，但它可以是任何满足接口(interface)的东西。例如，我认为有人已经实现了从 zip 存档中提供文件的实现。

由于 net/http 包是在标准库中定义的，因此可以显式声明 os.File 实现 http.File——但这会使 os 包依赖于 net/http 包。这是一个循环依赖，因为 net/http 依赖于 os。

在基于继承的语言中，尝试这样做的人可能会放弃使用接口(interface)，并让 http.FileServer 要求所有文件都是 os.File 的子类。但这会很痛苦，因为他们不需要任何 os.File 的实现；他们只是从它继承以满足类型系统。

OP 中的示例之所以有效，是因为方法名称选择不当。完全不清楚 Square 的计算方法应该返回什么。它的面积？它的周长？它的对角线？如果该方法被命名为 CalculateArea，这将是名为 AreaCalculator 的接口(interface)中单个方法的惯用名称，那么就不可能混淆 AreaCalculator 和 MathExpression。