Наследование интерфейсов и приведение по типу интерфейса: они добавляются в метаданные класса?

Question

[nevro]

Класс реализовал интерфейс. Если в один из его методов передать любой объект, но типа такого же интерфейса, то с таким можно будет работать. В .NET, на сколько я понял, у каждого типа и объекта есть свои метаданные. При наследовании интерфейсов метаданные класса и интерфейса объединяются в один?

То есть в памяти лежит один объект типа - и с описаниями методов со static-полями (если есть), и с описаниями методов интерфейса?

Или у метаданных типа есть ссылка на метаданные унаследованного интерфейса и при работе "умной подсказки" и компилятора они сначала смотрят в метаданные объекта, а потом переходят по ссылке на метаданные интерфейса и смотрят там?

Answer 1

[jackroll]

ildasm.exe

Answer 2

[Станислав Макаров]

Возможно я не понял вопроса, но так или иначе в метаинфе о классе есть инфа об интерфейсах, которые он реализует (было бы странно, если бы ее не было :)). Т.к. указана и сборка, и полное имя интерфейса, и IDE-шкам ничего не мешает идти по дереву типов и смотреть где что есть.
Оффтоп: т.к. "наследовать" из интерфейса нечего, принятно говорить, что интерфейс "реализуется" (implemented) классом, чтобы подчеркнуть отличие от наследования, когда помимо установления отношения is-a классом наследуется и какая-то реализация. То, что в описании класса и базовый класс и интерфейсы перечисляются в одном списке не значит, что суть одна и та же.

Comments

[MrDywar Pichugin]

Да, наследовать нечего. Так пишут в книгах и на форумах. Но недавно Александр Шевчук на канале ITVDN сказал что интерфейсы в первую очередь наследуются а затем реализуются.
В C# нет множественного наследования, но если учесть предложение выше, то получается что есть :)

Книга Хейлсберг А., Торгерсен М., Вилтамут С., Голд П "Язык программирования C#. Классика Computers Science. 4-е изд".

Цитата "Интерфейс может не наследоваться ни от одного или наследоваться от одного или
более интерфейсов, именуемых его явными базовыми интерфейсами."

Цитата "ЭРИК ЛИППЕРТ
«Наследование» — неудачно выбранное слово для интерфейсов. Обычно под насле-
дованием от базового объекта подразумевают совместное использование реализации,
что для интерфейсов, очевидно, неверно."

Цитата "13.4.5. Наследование реализаций интерфейсов
Класс наследует все реализации интерфейсов, предоставляемые его базовыми
классами."

И массивы не индексируются.
Цитата "ЭРИК ЛИППЕРТ
... В языке C, когда используется myArray[x], это означает «начать с начала массива и обратиться к элементу, смещенному на x шагов. Таким образом, myArray[1] ссылается на второй элемент, потому что это то, что вы получили, когда начали с первого элемента и сделали один шаг.
На самом деле эти ссылки следовало бы называть сдвигами, а не индексами. Но поскольку поколения программистов во всем мире считают, что массивы «индексируются», начиная с нуля, мы придерживаемся этой терминологии."

Считаю это придирками, знать стоит, но заморачиваться нет.

[nevro]

Станислав Макаров: Такая инфа сохраняется только до этапа компиляции? Т.е. метаданные существуют только в исходном коде для убодства работы компилятора, интеллисенс и прочих инструментов?

[Станислав Макаров]

nevro Нет, "до этапа компиляции" - это про нативный C++, где программисту нужны header-файлы, чтобы передать компилятору необходимую метаинфу о скомпилированном модуле или библиотеке (какие классы есть, какие параметры у функций), т.к. в скомпилированном варианте остаются только имена функций (точек входа, если быть точнее). Вся фишка дотнетовских сборок в том и заключается, что вся метаинфа лежит у них внутри - достаточно взять dll-ку, подключить к проекту, или просто открыть Object Browser-ом - и вы все увидите: классы, методы, неймспейсы. И еще очень важно, что есть механизм атрибутов - т.е. пользовательской метаинфы, которая также сохранится в сборке, и которая может быть практически любой.

[nevro]

Станислав Макаров: Эта метаинформация используется при исполнении кода? Или IL-код - аналогия бинарного кода и в него уже никакие изменения во время работы не вносятся?

[Станислав Макаров]

@nevro
> Эта метаинформация используется при исполнении кода?
Да, как минимум с помощью этой метаинфы отыскиваются при выполнении кода классы и методы в сборках.

> Или IL-код - аналогия бинарного кода и в него уже никакие изменения во время работы не вносятся?
Не знаю, почему "или", т.к. также - да, не вносятся. IL-код это бинарный код, только не для реального процессора, а для стековой виртуальной машины, причем он более высокоуровневый - помимо простых операций вроде сложения и записи значения в переменную, есть еще и "создать объект" или "выполнить виртуальный вызов".