LINUX.ORG.RU

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

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

Просто праздный вопрос, а оно в compile time проверяется? То есть это некий куцый вариант трейтов или нет?

Gorthauer ★★★★★ ()

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 ★★★★★ ()
Ответ на: комментарий от Gorthauer

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

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

derlafff ★★★★★ ()

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

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

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

удачи.

qulinxao ★★☆ ()

Это очень извращенный ООП, который сложно понять и проще забить

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

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

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

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