Где размещаются статические классы/члены?

Question

Прошло много времени с тех пор, как я пытаюсь выяснить правду о статических классах. моя точка зрения: типы значений выделяются в стеке, типы ссылок в куче при использовании нового оператора. но характер статического класса заключается в том, что вы не можете создать его экземпляр и, конечно, это не тип значения. поэтому у меня вопрос, когда и где CLR выделяет память для статического контента? о том, когда ... я предполагаю во время компиляции, когда сборка построена, но я не уверен. и о том, где ... пока я пытался узнать, что я читаю «CLR через C#» Дж. Рихтера, и он написал, что статический метод класса экземпляра выделяется в куче, когда вы создаете экземпляр этого конкретного class (вместе с указателем типа объекта и индексом блока синхронизации). но я не понимаю. это статично. он не должен зависеть от какого-либо состояния объекта. так что, пожалуйста, облегчите меня.

Answer 1

Как и память кучи пользователя, CLR хранит различные данные бухгалтерского учета & метаданные в куче. Это включает в себя фактический код для методов, которые вы выполняете, а также объект Type для каждого типа, загружаемого в AppDomain, - это имя, перегрузки, будь то абстрактное или запечатанное, и список всех методов (как статических, так и экземпляров), определенных на типа.

Когда вы выполняете метод, CLR просматривает информацию о методе в соответствующем объекте Type в части кучи только для CLR и выполняет этот метод. Единственное различие между экземпляром и статическими методами заключается в том, что методы экземпляра включают дополнительный «этот» указатель в аргументе метода, указывающий на экземпляр, в котором выполняется метод.

Итак, статическая информация хранится в куче вместе со всем остальным, но не связана с каким-либо конкретным экземпляром объекта.

Answer 2

CLR поддерживает несколько куч, связанных с AppDomain, которые в совокупности называются «кучи загрузчика». Они отличаются от собранной мусором, поскольку они не содержат коллекционируемых объектов, в основном относящихся к типу данных. Типы данных, которые существуют для жизни AppDomain.

Пространство для статических переменных выделяется в одном из них: HighFrequencyHeap. Компилятор JIT делает выделение, генерируемый им код напрямую ссылается на местоположение памяти. Фоновая информация находится в этом MSDN Magazine article.