Судя по Рихтеру, существует объект-тип, общий для всех инстансов данного

Question

Судя по Рихтеру, существует объект-тип, общий для всех инстансов данного

типа, который содержит в себе ссылки на реализацию всех методов типа (виртуальных и нет), однако у неупакованных типов значений ссылки на данный объект-тип нет, поскольку для не выделяется дополнительная память (как в случае с ссылочными типами и упакованными типами значений). Если у неупакованных типов значений нет ссылки на объект тип, то возникает вопрос - как они узнают о реализации методов?
Если происходит поиск по методанным в поисках нужного метода, то тогда ответ понятен, но звучит странно, ибо неопизированно
Если это не так, то тогда как?
Извините, если Вы уже ответили, но я просто не понял ответ

#backend #dot #programming #russian

0

07.01.2020

2 ответов

7 просмотров

Andrei Kurosh

Подумайте - если методы были бы всегда зашиты в объекте, как вызвать статический метод без параметров? ;)

0

07.01.2020

Andrei Kurosh · Accepted Answer

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

170 похожих чатов

Судя по Рихтеру, существует объект-тип, общий для всех инстансов данного

2 ответов

Похожие вопросы