Почему структура не имплементирует интерфейс?

Question

[Кирилл Новак]

Есть такой код.

type Monetary interface {
    GetDecimals() int64
}

type Account interface {
    GetBalance() Monetary
}

type balance struct {
    decimals int64
}

func (b *balance) GetDecimals() int64 {
    return 0
}

type account struct {
    b *balance
}

func (a *account) GetBalance() *balance {
    return a.b
}

func NewAccount() *account {
    return &account{
        b: &balance{},
    }
}

func main() {
    var acc Account = NewAccount()
    fmt.Println(acc)
}

Выдает ошибку:

cannot use NewAccount() (value of type *account) as Account value in variable declaration: *account does not implement Account (wrong type for method GetBalance)
        have GetBalance() *balance
        want GetBalance() Monetary

Но при этом, если я буду запускать такой код, ошибок не будет.

func main() {
    acc := NewAccount()
    b := acc.GetBalance()
    m := (Monetary)(b)
    fmt.Println(acc, m)
}

Я не понимаю, почему так, ведь по идее `*balance` полностью имплементирует интерфейс `Monetary`.

Answer 1

[O . J]

Ты возвращаешь указатель на структуру *balance вместо того, чтобы возвращать значение, реализующее интерфейс Monetary - а это не соответствует требованиям интерфейса Account, которые указывают, что метод GetBalance() должен возвращать тип, реализующий интерфейс Monetary.

type Account interface {
    GetBalance() Monetary
}

type account struct {
    b Monetary
}

func (a *account) GetBalance() Monetary {
    return a.b
}

func NewAccount() *account {
    return &account{
        b: &balance{},
    }
}

func main() {
    var acc Account = NewAccount()
    fmt.Println(acc)
}

Comments

[Кирилл Новак]

У меня диссонанс возникает, потому что такой код работает.

func GetBalance(a *account) Monetary {
return a.GetBalance()
}

func main() {
var acc = NewAccount()
fmt.Println(GetBalance(acc))
}


Я не понимаю в чем принципиальная разница с точки зрения компилятора. Ну то есть. По факту ведь ошибки не будет в коде, если бы я попробовал вызвать метод GetBalance() в *balance, будто это Monetary, потому что он полностью его реализует. Почему тогда это ограничение есть? Неужели компилятор не может (или не должен) посмотреть, что *balance соответствует Monetary, если он возвращается и описан в другом методе интерфейса.

[Александр Павлюк]

Кирилл Новак, под капотом интерфейс это структура, в которой есть указатель на данные и таблица виртуальных методов. Когда из интерфейса вызывается метод, он на рантайме ищется в этой таблице и к нему подкладываются данные.

Если еще туда добавлять двойной матчинг всех аргументов (как в случае с возвращаемым типом, если его матчить на интерфейс), это будет совсем медленно. Да и по философии го такие вещи принято делать явно, не скрывая за синтаксическим сахаром, чтобы быть ближе к железу.

Answer 2

[Andrey Tsvetkov]

В определении функции написано, что она возвращает указатель на balance, а согласно интерфейсу Account, она должна возвращать Monetary. Просто поправьте возвращаемое значение в функции GetBalance