.Net/C#: каков реальный размер целого числа?

Question

в .Net, целые числа являются знаками, что означает, что они хранятся в стеке. Целые классы также являются стандартными (обычно System.Int32). У них есть методы, такие как CompareTo, Equals, ... Таким образом, они должны принимать более четырех байтов в стеке. В приведенном ниже примере показывает, однако, что они занимают ровно 4 байта:

unsafe static void Main() 
{ 
    int a = 2, b = 4; 
    Console.WriteLine("Adress of a : {0}", (int)&a); 
    Console.WriteLine("Adress of b : {0}", (int)&b); 
    Console.WriteLine("Size of integer: {0}", (int)(&a) - (int)(&b)); 
} 

Выход:

Adress of a : 1372876 
Adress of b : 1372872 
Size of integer: 4 

ли CLR сделать специальную обработку для целых и других (типов значений с плавающей точкой, длинный, двойной, .. .)?

Answer 1

Таким образом, они должны принимать более четырех байтов в стеке.

Это не следует. Компилятор и runtime знает точный тип. Типы значений не могут быть дополнительно подтипами, поэтому нет необходимости в динамическом диспетчерском механизме «vtable» или другом объекте.

Когда значения типов помещаются в квадрат, чтобы поместить их в кучу, необходим стандартный заголовок .NET Object.

Answer 2

Нет, факт, что они являются типами значений, не означает, что они хранятся в стеке. Это означает, что они хранятся wherever the variable lives.

Но эй, давайте катимся с местным переменным бизнесом, в этот момент (без захвата и т. Д.) Они do живут на стеке. И они берут 4 байта. Зачем им больше? Нет необходимости в vtable в стеке, потому что метаданные уже задают тип: нет никакой двусмысленности относительно того, какие виртуальные методы будут вызваны и т. Д.

EDIT: Как указано в комментарии Шона (но я хотел сделать его более очевидным), System.Int32 - это структура, а не класс. (На самом деле, CLR создаст теневой тип ссылки, чтобы покрыть вложенные значения int, но это другое дело.)

Answer 3

Тип значения выделяется в стеке, если это локальная переменная в методе. Если тип значения является членом класса, он будет выделен как часть области памяти объекта в куче.

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

В куче выделяется ссылочный тип, и он имеет ссылку (или больше), которая указывает на него. Сама ссылка сама по себе является типом значения, поэтому она будет просто указателем, компилятор отслеживает, где она находится и какой тип. Тип ссылки не должен совпадать с типом объекта, на который он указывает, поэтому для отслеживания типа объект нуждается в дополнительной информации. Например, ссылка на объект указывает на экземпляр класса StringBuilder:

object o = new StringBuilder(); 

Здесь компилятор следит за этим типом ссылки является объектом, так что это будет просто указатель (4 байта в 32- бит). Объект StringBuilder хранится в куче, и у него есть два дополнительных указателя, которые отслеживают фактический тип.

Тип значения также может быть в штучной упаковке, т.е.хранится как объект в куче. Это происходит, когда вы приводите тип значения объекта:

object p = 42; 

Это будет выделить объект в куче и скопировать значение целого числа в него. Этот объект будет нуждаться в дополнительной информации о типе, чтобы отслеживать тип, поэтому он будет использовать 12 байтов в куче вместо четырех (в 32-битном приложении).

Answer 4

Там разница между определением типа и значением, сохраненным для экземпляра этого типа, например ...

// type definition 
public class Bla {} 
// instance of type bla 
public Bla myBla = new Bla(); 

по существу размером с междунар как кажется (4 байта), но, как вы выяснилось, это размер пространства памяти, которое требуется для объявления.

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