Почему это утверждение типа на интерфейсе с прямой реализацией не работает?

Я борюсь с механизмом утверждения типа Go. В приведенном ниже примере утверждение типа для Qux.(Bar) не выполняется.

Почему прямая реализация DoBar() в Qux не заполняет интерфейс Bar?

основной пакет

import (
    "fmt"
)

type Nameable interface {
    Name() string
}

type Foo interface {
    Nameable
    DoFoo() string
}

type Bar interface {
    Nameable
    DoBar() string
}

type bar struct {
    name string
}

func (b bar) Name() string {
    return b.name
}

// Qux embeds bar and is expected to fullfill Nameable interface
type Qux struct {
    bar
}

func (q *Qux) DoBar() string {
    return "DoBar"
}

func Check(subject Nameable) {
    if N, ok := subject.(Nameable); ok {
        fmt.Printf("%s has Nameable\n", N.Name())
    } 

    if F, ok := subject.(Foo); ok {
        fmt.Printf("%s has Foo: %s\n", F.Name(), F.DoFoo())
    }

    if B, ok := subject.(Bar); ok {
        fmt.Printf("%s has Bar: %s\n", B.Name(), B.DoBar())
    }
}

func main() {
    Check(bar{name: "bar"})
    Check(Qux{bar: bar{name: "Qux"}})
}

https://play.golang.org/p/PPkUMUu58JW

Выход:

bar has Nameable
Qux has Nameable

go methods interface type-assertion composition
person Christian Schmizz    schedule 10.10.2018    source источник
comment
Только *CUx имеет DoBar. Перестаньте пытаться имитировать наследование путем встраивания. Встраивание — это просто синтаксический сахар. Напишите Embeddings, и вы увидите.   -  person Volker    schedule 10.10.2018
comment
@Volker Но Qux терпит неудачу при утверждении типа subject.(Bar), хотя реализует сам DoBar() ?!   -  person Christian Schmizz    schedule 10.10.2018
comment
Нет, у него нет метода DoBar.   -  person Volker    schedule 10.10.2018

Ответы (1)


arrow_upward
1
arrow_downward

Qux.DoBar() имеет приемник указателя, поэтому только *Qux реализует Bar, но не Qux. Тип Qux и тип указателя на него *Qux — это разные типы с разными наборами методов.

Использование значения типа *Qux реализует Bar:

Check(&Qux{bar: bar{name: "*Qux"}})

Это выводит (попробуйте на Go Playground):

*Qux has Nameable
*Qux has Bar: DoBar

Также, если вы измените получателя Qux.DoBar() на неуказатель:

func (q Qux) DoBar() string {
    return "DoBar"
}

Тогда и Qux, и *Qux будут реализовывать Bar:

Check(bar{name: "bar"})
Check(Qux{bar: bar{name: "Qux"}})
Check(&Qux{bar: bar{name: "*Qux"}})

Результат (попробуйте на Go Playground):

bar has Nameable
Qux has Nameable
Qux has Bar: DoBar
*Qux has Nameable
*Qux has Bar: DoBar

См. соответствующий вопрос: X не реализует Y (... метод имеет получатель указателя)

person icza    schedule 10.10.2018
comment
Спасибо, @icza. - person Christian Schmizz; 10.10.2018