Тип 
 
ето обьект или нет?

это класс 

Но переменая етого типа есть обьектом или нет?

Demonid, безусловно. В .Net нет необьектов. Они могут быть примитивными (primitive) или не быть, но все они обьекты.

zaver, это структура!

  

Это сообщение отредактировал(а) tol05 - 12.10.2007, 17:03

а структура по-твоему не класс?


2аффтар: в С# есть две большие разницы- значимые типы и ссылочные типы. Копай в эту сторону 

структура - это не класс.

Всегда поражаюсь случаям гордости или упорства в отстаивании своего невежества!


не понял ни хрена.

в С# структура - это объект, а объект - элемент класса. 

  

zaver, посмотри, что чуваки на твоем аватаре делают? Сделай то же самое.   


..............................................................................................................................................................................................................................................
структура - это тип данных.
класс - это тип данных
интерфейс - это тип данных
перечисление - это тип данных
делегат - это тип данных
..............................................................................................................................................................................................................................................



но для ИМИТАЦИИ полиморфного поведения все эти типы ПРИВОДЯТСЯ К ТИПУ OBJECT


..............................................................................................................................................................................................................................................

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

Это сообщение отредактировал(а) tol05 - 12.10.2007, 18:18

ну я где-то понял
но всеравно такие вопросы:


во время имитации приводится к

?
---------------------------------------------------

MyClass - класс или структура?

Структуры размещаются в стеке, классы - в куче, а для взаимодействия между классами и структурами сделали абстрактный класс ValueType, наследник от object. А от ValueType уже наследуются структуры и получают доступ к интерфейсу класса Object. 
Но это НЕ ДЕЛАЕТ ИХ КЛАССАМИ. Они также будут размещаться в стеке, копироваться по значению, не будут поддерживать наследования и т.п.

P.S. код

писать нельзя. Компилятор не пропустит. Это просто код для пояснения вышеизложенных идей. И вместо этого кода нужно писать


Это сообщение отредактировал(а) tol05 - 12.10.2007, 19:41

Такой код ты не закомпилишь (выкидуеться ошибка типа MyClass cannot derive drom special class ValueType). Но это ограничение компилятора. В IL код структуры выглядит как:


Думаю ValueType - это скорее формальность. Он задает поведение структуры - JIT обнаружив такую штуку знает, что ее нужно рамещать в стеке и т.д. Структуры - есть структуры, Классы - есть классы. Как уже написал tol05, ValueType существует для того чтобы позволить боксинг. Тем не менее даже после боксинга структура помечается где-то что она структура.

Кстати привести структуру к ValueType можно - при этом тоже выполняется боксинг

Это сообщение отредактировал(а) archeg - 12.10.2007, 19:55

archeg,то, что для структур у разлаботчиков MSIL не нашлось отдельного слова - это ИМХО на их совести 
Ведь компилятор, встретив в MSIL "extends [mscorlib]System.ValueType" - понимает, что это - структура, правда? Есть еще такая возможность определения структур в MSIL

Можно структуру назвать как "класс, но без наследования, без полиморфизма, всегда размещаемый в стеке, всегда копируемый по значению"
Можно интерфейс назвать как "класс, но без полей, со всеми членами - абстрактными"
Можно делегат назвать как "класс, предназгаченный для хранения указателя на функцию"
Можно класс назвать как "перечисление, но с наследованием, в куче размещаемое, может не содержать данных"

И т.д. и т.п. 

Если одна сущность кардинально отличается от другой сущности, то для этой, другой сущности, нужно свое название. Поэтому "класс, не являющийся ООП классом и хранящийся в стеке" называется структурой.