Хочу лучше понять, как работает .net, поэтому такой вопрос.
Что здесь происходит:

Вариан 1: Каждую итерацию цикла создаётся новый объект х типа int. Далее все эти объекты уничтожаются при сборке мусора.
Вариант 2: Создаётся один обет х типа int, и каждую итерацию он инициализируется новым значением.
С одной стороны объект, создан в одной итерации, невидим для другой, с другой стороны, создавая объект только раз, а далее присваиваем ему новые значения можно сэкономить. Так как же всё происходит на самом деле, во время выполнения приложения?

Rohoss, 2-е, но с поправкой что объект не создается. int - value type. Под него один раз выделяется место в стеке. На кажодй итерации в выделенное место (оно же "переменная") записывается новое значение.

Вроде как любой тип данных в .net наследуется от System.Object...

Rohoss, вот придирчивый. 
Спецификация Ecma-225, Common Language Infrastructure (CLI)
8.2.3 Classes, interfaces, and objects
For some values, called objects, it is always possible to determine the exact type from the value. Exact types of
objects are also called object types. Objects are values of reference types, but not all reference types describe
objects.

Переменная типа int (value type) - не объект.

А что же это тогда? Переменная типа int  - объект, но объект размерного типа(value type), что означает, что память под него выделяется в стеке, а не в куче.

Это мне тоже как то непонятно:


Ведь запись вида:

Это просто сокращённая версия:


По моему всё происходит по такому сценарию:

Каждую итерацию цикла:
1. создаётся новый объект х типа int в стеке и инициализируется значением
2. выполняется инкремент
3. при завершении блока операторов объект уничтожается.

KelTron, не-а...в стек просто кладётся константа 3 и всё...

Хм...

А что в таком случае происходит здесь:



Для вызова метода переменная х должна быть объектом => должен создаться объект.

Это сообщение отредактировал(а) KelTron - 19.4.2009, 10:47

boxing


Это сообщение отредактировал(а) mihryak - 19.4.2009, 11:48

KelTron, я же специально процитировал спеку. Не веришь - посмотри il:

mihryak, полезная статья, но всё же в том примере, что я привёл никакого boxing не происходит. 



Из этой же статьи:

Никакого преобразования к базовому типу в данном примере нет. 

Так вот интересно как происходит вызов метода, если никакого объекта нету. Хотя судя по IL здесь вызывается метод 
именно объекта: call instance.

С этим тоже какая то несостыковка:

Тут говорится именно про "содержимое исходного объекта".

PashaPash, с созданием переменной value type всё понятно (объекта нет), но что с вызовом метода?

KelTron, в msdn вообще хватает несостыковок 

По il там вызывается "method indicated by the passed method descriptor". Instance - значит метод вызывается у экземпляра типа (!= объект). Экземпляр передается через стек -  ldloca.s x. Вызывающий код знает, что туда надо положить значение int32. Вызываемый знает что в стеке будет лежать this - значение int32.

  

Я думаю я успокою себя тем, что буду думать, что это магия..))