Дискуссия по поводу внутреннего устройства this в c#

this ссылается именно на экземпляр класса? или еще экземпляр значимого типа?
я знаю что при вызове метода передается неявный параметр this - ссылка на текущий экземпляр (к примеру класса).
я имею ввиду вот на этом этапе попрошу объяснить зачем нужен неявный параметр-ссылка this? (1-ый ВОПРОС)
просто хочу понять досконально как внутри все устроено и почему именно ТАК.
Мое мнение (комментируем так ли это): во внутренней реализации this ссылается на объект-тип (там же таблица методов), но с использованием этим
методом полей, текущего экземпляра класса, на который и указывает ссылка this (ссылка на объект).

Цитатка из Рихтера (глава про boxing/unboxing).

"Хотя неупакованные значимые типы не имеют указателя на типовой объект, вы все равно можете вызывать виртуальные методы (такие, как Equals, GetHashCode или ToString), унаследованные или переопределенные этим типом. Если ваш значимый тип переопределяет один из этих виртуальных методов, CLR может вызвать
метод не виртуально, потому что значимые типы неявно запечатываются и поэтому не могут выступать базовыми классами других типов. Кроме того, экземпляр значимого типа, используемый для вызова виртуального метода, не упаковывается.Но если ваше переопределение виртуального метода вызывает реализацию этого метода из базового типа, экземпляр значимого типа упаковывается при вызове реализации базового типа, чтобы в указателе this базового метода передавалась ссылка на объект в куче."

Т.е. меня интересует какой именно механизм в данном случае управляет тем, чтобы проверялось, что this указывает на объект в КУЧЕ? (ВТОРОЙ ВОПРОС)
так как this можно писать и в struct.

Или объяснение в том, что при вызове каждого экземплярного метода неявно передается ссылка this имеющая (или предполагается что имеет) соответствующие тип. К примеру если мы вызываем экземплярные методы на классе object, то предполагается что в this передается ссылка на экземпляр класса object и ПОЭТОМУ требуется упаковка... или как?

0

на счет передачи this в методы:

наши ЭВМ не знают никаких объектов/классов, там внизу нет никакого ООП, да и вообще холодно и сыро
есть только лента комманд, линейных, последовательных (хотя и есть прыжки вперед/назад по ленте)

класс это кучка данных, а не исполняемый код
кроме наших полей там всякие внутренние штуки вроде вирутальных таблиц методов, описание типа и т.п

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

0

Ну это примерно и было ясно. А что по второму вопросу?

0

kingass, Не очень понятны ваш вопросы. Нужно формулировать точнее.

Сообщение от kingass зачем нужен неявный параметр-ссылка this

This это указатель на объект. Дело в том, что методы класса существуют в единственном экземпляре. То есть код методов для всех объектов - один и тот же. Поэтому, что бы метод знал для какого именно объекта он вызывается - передается указатель this.

Сообщение от kingass какой именно механизм в данном случае управляет тем, чтобы проверялось, что this указывает на объект в КУЧЕ

Тут вопрос совсем непонятен. Какая нам разница куда указывает this? Он указывает на область памяти, где лежит объект. Куча ли это или стек - не важно. Поэтому ничего там не проверяется.
Что касается значимых типов, то там тоже есть this. Только разница в том, что по адресу, куда указывает this лежит не объект, а поля структуры (то есть там есть только данные, служебных данных, типа ссылки на таблицу вирт. методов - нет).
Как определяется что this указывает на значимый тип? Ну так компилятор же заранее знает, что тип - значимый.

Сообщение от kingass Но если ваше переопределение виртуального метода вызывает реализацию этого метода из базового типа, экземпляр значимого типа упаковывается при вызове реализации базового типа, чтобы в указателе this базового метода передавалась ссылка на объект в куче

А вот эта цитата из Рихтера непонятна. Про какие базовые типы он говорит, если значимые типы нельзя наследовать?

3

This это указатель на объект. Дело в том, что методы класса существуют в единственном экземпляре. То есть код методов для всех объектов - один и тот же. Поэтому, что бы метод знал для какого именно объекта он вызывается - передается указатель this.

Тут ясно, спасибо. (только интересно вы до этого сами дошли или прочитали где? если прочитали то очень интересно где)

А про кучу я сделал акцент так как Рихтер сделал на нее акцент. Что, типа, в некоторых случаях требуется определить что ссылка this указывает в куче... т.е. он (может) думал что this и не на объект в куче может указывать и т.д. ну да ладно... ок

Про непонятную цитату из Рихтера: он имеет в виду базовый тип ValueType для структур в котором переопределен метод ToString().

p.s. к слову В Рихтере бывают грубейшие неточности к примеру, еще одна цитата:
"В этой главе обсуждаются разновидности методов, которые могут определяться
в типе, и разбирается ряд вопросов, касающихся методов. В частности, показано, как
определяются методы-конструкторы (создающие экземпляры типов и сами типы),
методы перегрузки операторов и методы преобразования (выполняющие явное и не-
явное приведение типов)."

0

Сообщение от kingass к слову В Рихтере бывают грубейшие неточности

довольно часто ошибки случаются не у автора, а у переводчика, когда переводчик не в теме того, что переводит. Это цитата из переведённой книги или из оригинала?
Лично видел перевод книги (что-то из разряда " C# для начинающих"), там с первой главы описания классов просто какая-то бессвязная ересь была написана. Для интереса взялся сравнивать с оригиналом на английском, и оказалось, что переводчик для слов field и property использовал одинаковый перевод - "свойство". Дальше я ту книгу не читал...

0