Что означает «динамический тип» в интерфейсе Go?

Question

путь: Тщательное Введение в язык программирования Go (Ivo Balbaert) содержит это предложение, которое я не совсем понимаю:

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

Что является примером этого и почему это полезно?

Answer 1

Определение

интерфейс имеет то, что называется динамическим типом

Динамический тип означает, что он может содержать ссылку на различные типы (например, строка, INT, ...) и что он может меняться во время выполнения, тогда как статический тип проверяется во время компиляции и не может измениться.

Однако определение, данное книгой, подвергается сомнению. Согласно официальному сайту Голанга:

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

Source

Пример

Даже если интерфейс не действительно динамический тип, вот как их использовать.

Скажите, что у вас есть следующий интерфейс.

type Locker interface { 
    Lock() 
    Unlock() 
} 

Это на самом деле в Locker из sync пакета.

Теперь, если вы создадите две структуры, реализующие функции, определенные интерфейсом Locker. Другими словами, если вы выполняете договор Locker, вы сможете использовать структуры Foo и Bar в качестве интерфейса Locker.

type Foo struct { 
    A string 
} 

func (f *Foo) String() string { 
    return f.A 
} 

func (f *Foo) Lock() { 
    // ... 
} 

func (f *Foo) Unlock() { 
    // ... 
} 

type Bar struct {} 

func (b *Bar) Lock() { 
    // ... 
} 

func (b *Bar) Unlock() { 
    // ... 
} 

Так дано определение вы дали:

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

Это может быть переведено на:

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

Что в коде означает:

var lock Locker 

lock = &Foo{"Foo"} // We assign an instance of type Foo to a Locker var 
lock.Lock() // We can call all functions defined by the interface Locker 
lock.Unlock() 
lock.String() // This won't work because the Locker interface does not define the String() function, even though Foo implements it. 

lock = &Bar{} 
lock.Lock() 

В приведенном выше примере мы можем видеть, что переменная lock содержит ссылку на различные типы, но это не по-настоящему динамичным, так как условие для назначения типа для lock заключается в том, что его тип соответствует договору Locker. И эта часть определяется во время компиляции.

Почему это полезно?

Это сообщение объяснит, почему интерфейсы полезны лучше меня. https://softwareengineering.stackexchange.com/questions/108240/why-are-interfaces-useful

Answer 2

Скажем, у вас есть интерфейс:

type I interface{ F() } 

И две реализации указанного интерфейса:

type S struct{} 
func (S) F() { } 

type T struct{} 
func (T) F() { } 

Тогда:

var x I 
x = S{} 

Теперь статический тип x является I, и его динамический тип - S.

Вы можете переназначить x значение другого типа, который реализует I:

x = T{} 

Теперь статический тип x еще I (она никогда не изменится), и его динамический тип T.

IOW: динамический тип значения интерфейса представляет собой тип значения, которое первоначально было преобразовано в тип интерфейса.

Answer 3

Каждая переменная имеет тип. Этот тип является либо статическим типом (int, string, bool, map, struct, slice и т. Д.), Либо типом интерфейса.

Интерфейс может быть реализован любым статическим типом (обычно с псевдонимом).

Переменная типа интерфейса фактически хранится в двух частях. Первая часть - это символическое имя базового статического типа. Вторая часть - это данные в формате этого статического типа.

Итак, если переменная объявлена ​​как тип интерфейса, это означает, что ее тип является динамическим в том смысле, что базовый тип может оказаться любым из статических типов, реализующих интерфейс.

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

Это близко к полиморфизму и имеет большую часть преимуществ.