Тип int  - значимый тип данных, соответственно и переменные этого типа хранятся в стеке. Меня интересует, каким типом (значимым или ссылочным) является интовый массив, ну и соответственно, где будет хранитсья объект int[] a (в куче или стеке):
int a - значимый
int[] a - ?

Ссылочный, а следовательно:

1) память под элементы массива выделяется в куче, а не на стеке
2) ему можно присвоить значение null  ( int[] a = null; )

ну и к тому же все массивы, являются производными от класса System.Array, хотя и неявно.

Это сообщение отредактировал(а) Дрон - 23.1.2007, 23:48

Дрон, спасибо.
Это что-то меня ночью вдруг очень заинтересовал этот вопрос, а утром проснулся и понял, что ответ-то очевиден Не зря говорят утро вечера мудренее...

Добавлено @ 04:34 
А кстати, корректно ли переводить value type как значимый? А то вон в Троелсене-то вообще переводится "типы, характеризуемые значениями".

Вообще слух немного режет, но как правильней -- не знаю. Надо в МСДН на русском поискать.

В русском MSDN'e используется термин "типы значений". Тоже не очень красиво 

А какая разница? Тут не капитан Врунгель "Как вы лодку назовете, так она и поплывет" 

Тут, как не назови --- будет работать 


P.S. Я называю ссылочные и значимые типы 

А такой вопрос. Структура по идее хранится в стеке. А что если одно из полей структуры будет к примеру массив? Правильно ли я понимаю, что если у нас есть структура

то в стеке хранится значение х, а так же адрес первого элемента массива, хранящегося в куче?

Ага, только вот не уверен насчет "адреса первого элемента". 
Мало ли как они там хранят эти данные  
Это не рассказывается 

Нас как минимум двое 


Ну а как иначе-то? Думаю, anonym прав.

Как-нибудь 

Я тоже так думаю, но утверждать не берусь 

Что-то я не въехал в одну вещь. Прочитал в Троелсене
В главе 2 рассказывалось о том, что в классе System.Object определен метод МеmberwiseClone(). Этот метод используется для специального типа копирования объекта — когда реальное копирование не происходит, а вместо этого создается еще одна ссылка на область оперативной памяти, занимаемую данным объектом. Для такого типа копирования используется специальный термин — «поверхностное копирование» (shallow сору). Пользователи объектов не вызывают метод MemberwiseClone() напрямую — он вызывается автоматически, когда к объектам ссылочного типа применяется оператор назначения (=), то есть одна ссылка начинает указывать на ту же область оперативной памяти, что и другая.
Пример из msdn-a.

Тогда, если при выполнении оператора = вызывается данный метод, должны вывестись одинаковые строки. Но выводит 42 и 50. Почему так?

Если есть структура, поле которой - ссылочный тип, то в структуре будет некий адрес, не обязательно совпадающий с адресом первого элемента массива. Первый элемент можно получить из Marshal.UnsafeAddrOfPinnedArrayElement.


Глядя на пример, всё правильно выводит.

Так если у нас m1 и m2 ссылаются на одну область оперативной памяти, когда меняем m1.age на 50, m2.age тоже должно изменится на 50... Короче так же, как и в простом присваивании m4 = m3... Что я неправильно понимаю?...   

Это сообщение отредактировал(а) anonym - 30.1.2007, 09:44

Не знаю где ты такое взял, но по моим сведениям МеmberwiseClone() делает копию объекта, но не глубокую (shalllow). Т.е. если у объекта есть поля-ссылки, то там будет только копия ссылки. В отличии от Deep Copy когда создается полная копия дерева объекта.

Пример:

Троелсен жжёт...
Троелсен. Э. С# и платформа .NET. Библиотека программиста. — СПб.: Питер, 2004. —796 с. ISBN 5-318-00750-3 страница 212   

Короче, из вышесказанного, как я понял, следует, что метод MemberwiseClone() и знак = равноправны только в том случае, если все поля объекта - ссылочные. Правильно я понял?