LINUX.ORG.RU

Сам сталкивался с таким вопросов, вот небольшой пример.
А в двух словах, любой тип соответствует интерфейсу, если он реализует все методы данного интерфейса.

joy4eg ★★★★★
()

If it looks like a duck, swims like a duck, and quacks like a duck, then it probably is a duck.

На пальцах — интерфейс — это поведение, которое ожидается от типа.

Если у типа имплементированы необходимые методы — он соответстует интерфейсу.

beastie ★★★★★
()
Ответ на: комментарий от Gorthauer

а оно в compile time проверяется?

Да. И если ты попытаешься куда-то завернуть объект который не полностью реализует все методы, то получишь ошибку.

joy4eg ★★★★★
()

man duck typing

Deleted
()
Ответ на: комментарий от Gorthauer

а оно в compile time проверяется?

Вообще — да, но можно и в runtime приводить к интерфейсу

derlafff ★★★★★
()

пощупай в этой части Хаскел - после Хаскела твоё сабж будет понятней.

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

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

удачи.

qulinxao ★★☆
()
Ответ на: комментарий от Debasher

Он про встраивание имел ввиду, вероятно.

Алсо, ОП, ты вообще читал effective go? Что за вопросы?

Zaskard
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.