Версия для печати темы Нажмите сюда для просмотра этой темы в оригинальном формате

Форум программистов > Общие вопросы по .NET и C# > Значимые и ссылочные типы данных

Автор: Idsa 23.1.2007, 23:33

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

Автор: Дрон 23.1.2007, 23:47

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

Автор: Idsa 24.1.2007, 04:25

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

Автор: Дрон 24.1.2007, 10:28

Цитата(Idsa @  24.1.2007,  04:25 ) А кстати, корректно ли переводить value type как значимый Вообще слух немного режет, но как правильней -- не знаю. Надо в МСДН на русском поискать.

Автор: Idsa 24.1.2007, 13:58

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

Автор: ivashkanet 24.1.2007, 14:23

Цитата(Idsa @  24.1.2007,  12:58 ) В русском MSDN'e используется термин "типы значений". Тоже не очень красиво А какая разница? Тут не капитан Врунгель "Как вы лодку назовете, так она и поплывет"  Тут, как не назови --- будет работать  P.S. Я называю ссылочные и значимые типы

Автор: anonym 24.1.2007, 14:27

А такой вопрос. Структура по идее хранится в стеке. А что если одно из полей структуры будет к примеру массив? Правильно ли я понимаю, что если у нас есть структура Код struct MyType {     public int[,] Data;     public int x; } то в стеке хранится значение х, а так же адрес первого элемента массива, хранящегося в куче?

Автор: ivashkanet 24.1.2007, 14:34

Цитата(anonym @  24.1.2007,  13:27 ) то в стеке хранится значение х, а так же адрес первого элемента массива, хранящегося в куче? Ага, только вот не уверен насчет "адреса первого элемента".  Мало ли как они там хранят эти данные   Это не рассказывается

Автор: Idsa 24.1.2007, 15:13

Цитата(ivashkanet @  24.1.2007,  14:23 ) P.S. Я называю ссылочные и значимые типы  Нас как минимум двое  Цитата(ivashkanet @  24.1.2007,  14:34 ) Ага, только вот не уверен насчет "адреса первого элемента". Мало ли как они там хранят эти данные  Ну а как иначе-то? Думаю, anonym прав.

Автор: ivashkanet 24.1.2007, 15:22

Цитата(Idsa @  24.1.2007,  14:13 ) Ну а как иначе-то? Как-нибудь  Цитата(Idsa @  24.1.2007,  14:13 ) Думаю, anonym прав. Я тоже так думаю, но утверждать не берусь

Автор: anonym 29.1.2007, 23:34

Что-то я не въехал в одну вещь. Прочитал в Троелсене В главе 2 рассказывалось о том, что в классе System.Object определен метод МеmberwiseClone(). Этот метод используется для специального типа копирования объекта — когда реальное копирование не происходит, а вместо этого создается еще одна ссылка на область оперативной памяти, занимаемую данным объектом. Для такого типа копирования используется специальный термин — «поверхностное копирование» (shallow сору). Пользователи объектов не вызывают метод MemberwiseClone() напрямую — он вызывается автоматически, когда к объектам ссылочного типа применяется оператор назначения (=), то есть одна ссылка начинает указывать на ту же область оперативной памяти, что и другая. Пример из msdn-a. Код using System; class MyBaseClass {     public static string CompanyName = "My Company";     public int age;     public string name; } class MyDerivedClass : MyBaseClass {     static void Main()     {         MyDerivedClass m1 = new MyDerivedClass();         m1.age = 42;         m1.name = "Sam";                  MyDerivedClass m2 = (MyDerivedClass)m1.MemberwiseClone();         m1.age = 50;                  MyDerivedClass m3 = new MyDerivedClass();         m3.age = 42;         m3.name = "Sam";                  MyDerivedClass m4 = m3;         m3.age = 50;                  Console.WriteLine(m2.age);         Console.WriteLine(m4.age);     } } Тогда, если при выполнении оператора = вызывается данный метод, должны вывестись одинаковые строки. Но выводит 42 и 50. Почему так?

Автор: mr.DUDA 29.1.2007, 23:45

Цитата(anonym @  24.1.2007,  13:27 ) А такой вопрос. Структура по идее хранится в стеке. А что если одно из полей структуры будет к примеру массив? Правильно ли я понимаю, что если у нас есть структура Цитата(anonym @  24.1.2007,  13:27 ) то в стеке хранится значение х, а так же адрес первого элемента массива, хранящегося в куче? Если есть структура, поле которой - ссылочный тип, то в структуре будет некий адрес, не обязательно совпадающий с адресом первого элемента массива. Первый элемент можно получить из Marshal.UnsafeAddrOfPinnedArrayElement. Цитата(anonym @  29.1.2007,  22:34 ) Тогда, если при выполнении оператора = вызывается данный метод, должны вывестись одинаковые строки. Но выводит 42 и 50. Почему так? Глядя на пример, всё правильно выводит.

Автор: anonym 30.1.2007, 09:42

Цитата(mr.DUDA @  29.1.2007,  23:45 ) Глядя на пример, всё правильно выводит.  Так если у нас m1 и m2 ссылаются на одну область оперативной памяти, когда меняем m1.age на 50, m2.age тоже должно изменится на 50... Короче так же, как и в простом присваивании m4 = m3... Что я неправильно понимаю?...

Автор: ivashkanet 30.1.2007, 10:32

Цитата(anonym @  29.1.2007,  22:34 ) МеmberwiseClone(). Этот метод используется для специального типа копирования объекта — когда реальное копирование не происходит, а вместо этого создается еще одна ссылка на область оперативной памяти, занимаемую данным объектом. Для такого типа копирования используется специальный термин — «поверхностное копирование» (shallow сору). Не знаю где ты такое взял, но по моим сведениям МеmberwiseClone() делает копию объекта, но не глубокую (shalllow). Т.е. если у объекта есть поля-ссылки, то там будет только копия ссылки. В отличии от Deep Copy когда создается полная копия дерева объекта. Цитата(MSDN) Remarks The MemberwiseClone method creates a shallow copy by creating a new object, and then copying the nonstatic fields of the current object to the new object. If a field is a value type, a bit-by-bit copy of the field is performed. If a field is a reference type, the reference is copied but the referred object is not; therefore, the original object and its clone refer to the same object. For example, consider an object called X that references objects A and B. Object B, in turn, references object C. A shallow copy of X creates new object X2 that also references objects A and B. In contrast, a deep copy of X creates a new object X2 that references the new objects A2 and B2, which are copies of A and B. B2, in turn, references the new object C2, which is a copy C. Use a class that implements the ICloneable interface to perform a deep or shallow copy of an object.  Пример: Код         [STAThread]         static void Main(string[] args)         {             MyClass o1 = new MyClass();             MyClass o2 = o1.GetShallowCopy(o1);             if (o1.Equals(o2))             {                 Console.WriteLine("Ссылки на объекты совпадают");             }             else             {                 Console.WriteLine("Ссылки на объекты не совпадают");             }             Console.ReadKey();         }         class MyClass         {             public static string CompanyName = "My Company";             public int age;             public string name;             public MyClass GetShallowCopy(MyClass o)             {                 return (MyClass)o.MemberwiseClone();             }         }

Автор: anonym 30.1.2007, 11:18

Цитата(ivashkanet @  30.1.2007,  10:32 ) Не знаю где ты такое взял Троелсен жжёт... Троелсен. Э. С# и платформа .NET. Библиотека программиста. — СПб.: Питер, 2004. —796 с. ISBN 5-318-00750-3 страница 212    Короче, из вышесказанного, как я понял, следует, что метод MemberwiseClone() и знак = равноправны только в том случае, если все поля объекта - ссылочные. Правильно я понял?

Автор: ivashkanet 30.1.2007, 11:22

Цитата(anonym @  30.1.2007,  10:18 ) Правильно я понял? Нет. Только для структурных типов (там по равенству создается новый экземпляр). А для ссылочных "=" --- коприование ссылки на объект

Автор: anonym 30.1.2007, 12:45

Я имею ввиду, если мы создали объект какого-то класса, затем присвоили этот объект другому, то при изменении любых полей одного объекта будет меняться и второй. Верно? И если применить метод MemberwiseClone(), то для класса, где все поля ссылочные - скопируются все ссылки (т. е. как при = ), а если есть значимые типы, то для них будет скопировано само значение.

Автор: EvgenZ 28.2.2007, 22:00

Всем привет, такой вопрос, как я понял Clone() это метод интерфейса ICloneable, и класс у которого собираюсь сделать Clone()  должен наследовать интерфейс ICloneable, но почему привпеденный код работает без наследования? Это правильно или это правильно только для данного примера и в нормальном проекте потерпит фиаско, или даже здесь это неправильно. Код using System; namespace name  {     class two      {         public int getmC          {             get { return mC; }             set { mC = value; }         }         private int mC;             };          class one      {         two t = new two();         public int getmI         {             get{return mI;}             set { mI = value; }                     }         public int getmJ          {             get { return mJ; }             set { mJ = value; }         }         public two getC          {             get { return t; }         }         public object Clone()         {             return new one();         }         private int mI, mJ;     };     class main          {         public static void Main()          {             one o = new one();             one o1 = (one)o.Clone();             o.getC.getmC = 33;             o.getmJ = 5;             o.getmI = 7;             o1.getmI = 111;             o1.getmJ = 999;             Console.WriteLine("mI= {0}  mJ= {1}, mI1= {2}  mJ1= {3},   mC= {4}, mC1= {5}", o.getmI, o.getmJ, o1.getmI,                 o1.getmJ, o.getC.getmC, o1.getC.getmC );                                 }     } }

Автор: ivashkanet 28.2.2007, 22:34

EvgenZ, а в чем проблема? Метод Clone можно вызвать только потому, что он есть    Интерфейсы нужны для того, чтобы классы, которые ничего не знают о классе кроме того, что он реализует (это слово более точно, чем "наследует") конкретный интерфейс, все же могли вызывать методы объявленные в интерфейсе. Откуда, например, MS могло знать о классе "class one". Что не помешало ему создать кучу методов, в которых используется метод Clone() и интерфейса IClonable.  Вроде часть технологии ремоутинг очень сильно юзает его

Автор: Idsa 28.2.2007, 22:39

Чтобы обеспечить классу возможность вовращать свою копию, можно реализовать интерфейс ICloneable, которые содержит единственный метод - Clone(): Код public interface ICloneable   {     // Summary:     //     Creates a new object that is a copy of the current instance.     //     // Returns:     //     A new object that is a copy of this instance.     object Clone();   } Если наш класс не содержит ссылочных типов данных, то реализация клонирования предельно проста: Код public object Clone() {   return this.MemberwiseClone(); } Если же в классе есть ссылочные типы данных, то метод MemberwiseClone() вернет их поверхностные копии (тупо скопирует ссылки на те же объекты). В этом случае клонирование нужно выполнять ручками. Реализуем клонирование для твоего класса one. Чтобы облегчить себе жизнь, сначала вызовем MemberwiseClone(), а затем изменим значение для нашего единственного ссылочного типа данных - объекта класса two.  Код public object Clone() {   one tmp = (one)this.MemberwiseClone();   two tmp2 = new two();   tmp2.getmC = this.t.getmC();   tmp.t = tmp2;   return tmp; }

Автор: EvgenZ 28.2.2007, 22:45

Т.е. можно не писать  Код class one : ICloneable а просто в класе описать интерфейс? И что-то не работает ))) подскажите пожалуйста Код using System; namespace name  {     class two      {         public int getmC          {             get { return mC; }             set { mC = value; }         }         private int mC;             };          class one      {         two t = new two();         public int getmI         {             get{return mI;}             set { mI = value; }                     }         public int getmJ          {             get { return mJ; }             set { mJ = value; }         }         public two getC          {             get { return t; }             set { t = value; }         }         public object Clone()         {             one q = (one)this.MemberwiseClone();             two t = new two();             t.getmC = this.getC.getmC;             q.getmI = this.getmI;             q.getmJ = this.getmJ;             return q;         }         private int mI, mJ;     };     class main          {         public static void Main()          {             one o = new one();             one o1 = (one)o.Clone();             o.getC.getmC = 33;             o1.getC.getmC = 44;             o.getmJ = 5;             o.getmI = 7;             o1.getmI = 111;             o1.getmJ = 999;             Console.WriteLine("mI= {0}  mJ= {1}, mI1= {2}  mJ1= {3},   mC= {4}, mC1= {5}", o.getmI, o.getmJ, o1.getmI,                 o1.getmJ, o.getC.getmC, o1.getC.getmC );                                 }     } }

Автор: Idsa 28.2.2007, 22:57

Конечно, можно! Но не нужно . Реализация интерфейся придает классу дополнительную функциональность. Реализовав интерфейс, мы можем сделать, например вот так: Код       one t = new one();       if (t is ICloneable)         t.Clone();       else         Console.WriteLine("Извините, копирование объекта невозможно!"); Приведенный код позволяет проверить, реализован ли у класса определенный интерфейс. Подобный подход может быть полезен, например, когда хранишь массив ссылок на различные объекты, используя интерфейсный полиморфизм. Дык вот в этом массиве некоторые объекты могут поддерживать интерфейс, а другие - нет. Если бы мы не реализовали интерфейс, такую проверку сделать было бы нельзя.

Автор: EvgenZ 28.2.2007, 23:04

Respect! подскажите еще пожалуйста, что не так в последнем примере, почему ссылочное поле  "t" продолжает указывать в одно место?

Автор: Idsa 28.2.2007, 23:06

Цитата(EvgenZ @  28.2.2007,  22:45 ) И что-то не работает ))) подскажите пожалуйста Во-первых, строчки Код q.getmI = this.getmI; q.getmJ = this.getmJ; нужно удалить: за нас это сделает Memberwise.Clone(). А поверхностное копирование выполняется из-за того, что не присваивается Код q.t = t; Добавим эту строчку, удалим 2 вышеописанные и в итоге получим: Код     public object Clone()     {       one q = (one)this.MemberwiseClone();       two t = new two();       t.getmC = this.getC.getmC;       q.t = t;       return q;     }

Автор: EvgenZ 1.3.2007, 00:24

немогу никак понять,  q.t = t; почему = t, что такое t - это локальная переменная почему просто t ... может утро вечера мудренее )) Добавлено @ 00:26  и если я явно пишу копирование полей не ссылочных, это разве плохо?

Автор: Idsa 1.3.2007, 00:43

Цитата(EvgenZ @  1.3.2007,  00:24 ) может утро вечера мудренее )) Зачем откладывать на утро то, что можно сделать ночью?  Сейчас еще раз посмотрел на код и задумался: "А почему он работает?"  t у нас private, а мы к нему напрямую обращаемся в Clone()... но при этом все работает! Я в шоке. Правильно, конечно, будет заменить строчку q.t = t на q.getC = t; Добавлено @ 00:48  Цитата(EvgenZ @  1.3.2007,  00:24 ) и если я явно пишу копирование полей не ссылочных, это разве плохо? Это не плохо. Вполне нормально. Только при этом не нужно вызывать MemberwiseClone(), т. к. это бессмысленно. Добавлено @ 00:58  Цитата(Idsa @  1.3.2007,  00:43 ) Сейчас еще раз посмотрел на код и задумался: "А почему он работает?"  t у нас private, а мы к нему напрямую обращаемся в Clone()... но при этом все работает! Я в шоке. Пытаюсь разобраться... При клонировании мы в классе one создаем объект o типа one. При этом нам доступны private-члены этого объекта... Может, это такая фишка, чтобы упростить клонирование?

Автор: EvgenZ 1.3.2007, 10:47

А t разве не локальная переменная?    Код public object Clone()         {             one q = (one)this.MemberwiseClone();             two tt = new two();             tt.getmC = this.getC.getmC;             q.t = tt;              return q;         } ихихих кажется понял, сам себя запутал, зато длагодаря этому вроде понял, как это работает!

Автор: Naum 1.3.2007, 11:36

Цитата(Idsa @  1.3.2007,  01:43 ) t у нас private, а мы к нему напрямую обращаемся в Clone()... но при этом все работает! Я в шоке. Если в классе C объявлен приватный член M. То у любых экземпляров класса C, созданных в методах класса C, член M будет видимым. Грубо говоря, если человек знает свое строение, то он знает строение любого другого человека. Однако он не знает строение, например, собаки, пока не разрежет ее, или по нашему не взломает. ))

Автор: Idsa 1.3.2007, 12:28

Цитата(Naum @  1.3.2007,  11:36 ) Если в классе C объявлен приватный член M. То у любых экземпляров класса C, созданных в методах класса C, член M будет видимым. Naum, +1. Спасибо, буду знать. В некоторых ситуациях это действительно может помочь при клонировании. Например, если у нас есть private член, для которого не определено public-свойства (но при этом он используется в каком-либо методе), то без этой фишки не обойтись.

Автор: Madrid 2.3.2007, 00:13

Всем привет!Прочитав ваш разговор у меня возник вопрос. Переменные значимого типа располагаются в стеке! А переменные ссылочного типа в куче! 1) Цитата 1) память под элементы массива выделяется в куче, а не на стеке т.е. переменные значимого типа могут располагаться в куче? 2) А переменные ссылочного типа могут располагаться в стеке?(К примеру структурная переменая, одним из членов которой является  переменная ссылочного типа).

Автор: Idsa 2.3.2007, 01:17

Цитата(Madrid @  2.3.2007,  00:13 ) 1) память под элементы массива выделяется в куче, а не на стеке Это действительно так. Проверить это достаточно просто. Как известно, все значимые типы данных должны наследоваться от класса ValueType. Однако, как гласит MSDN: Код public abstract class Array : ICloneable, IList, ICollection, IEnumerable , Array является прямым неследником Object. Цитата(Madrid @  2.3.2007,  00:13 ) т.е. переменные значимого типа могут располагаться в куче? Цитата(Madrid @  2.3.2007,  00:13 ) А переменные ссылочного типа могут располагаться в стеке?(К примеру структурная переменая, одним из членов которой является  переменная ссылочного типа). Да, конечно. Помимо описанного способа хранения значимых данных в куче через массив, не стоит забывать про boxing/unboxing, когда мы можем при необходимости хранения объекта значимого типа данных в куче (или наоборот) сделать, например, вот так: Код int i = 3; object objInt = i; ... try {  int ii = (int)objInt; } catch (InvalidCastException e) {  ... } } Да и вообще, возвращаясь к вопросу, могут ли переменные значимого типа храниться в куче, стоит вспомнить, что объекты классов, которые, в частности, содержат значимые типы данных, хранятся в куче.

Автор: ivashkanet 2.3.2007, 09:47

Цитата(Madrid @  1.3.2007,  23:13 ) т.е. переменные значимого типа могут располагаться в куче? Да. Есть такая операция как запаковка (boxing). Или распаковка  Я их путаю Цитата(Madrid @  1.3.2007,  23:13 ) А переменные ссылочного типа могут располагаться в стеке? Нет. От ссылочного типа в стеке хранится только ссылка (4 байта) на объект в куче

Автор: Madrid 2.3.2007, 10:23

Спасибо!

Автор: kurzon 17.8.2007, 11:09

А приметивніе типы ето какие типы?

Автор: thomas 17.8.2007, 11:20

kurzon,  "C# 2005 для профессионалов" стр. 82 "Типы значений и ссылочные типы".

Автор: ivashkanet 17.8.2007, 11:21

http://www.google.com/search?ie=UTF-8&oe=UTF-8&sourceid=navclient&gfns=1&q=.net+%D0%BF%D1%80%D0%B8%D0%BC%D0%B8%D1%82%D0%B8%D0%B2%D0%BD%D1%8B%D0%B5+%D1%82%D0%B8%D0%BF%D1%8B  Цитата(http://www.intuit.ru/department/sa/compilersdev/1/5.html)  Примитивные типы в .NET .NET поддерживает достаточно большой набор встроенных типов. Только C# поддерживает полный набор примитивных типов .NET. В следующей таблице приведены некоторые встроенные типы данных и объяснено их назначение: sbyte    System.SByte    Signed 8-bit value byte    System.Byte    Unsigned 8-bit value short    System.Int16    Signed 16-bit value ushort    System.UInt16    Unsigned 16-bit value int    System.Int32    Signed 32-bit value uint    System.UInt32    Unsigned 32-bit value long    System.Int64    Signed 64-bit value ulong    System.UInt64    Unsigned 64-bit value char    System.Char    16-bit Unicode character float    System.Single    IEEE 32-bit float double    System.Double    IEEE 64-bit float boolean    System.Boolean    A True/False value decimal    System.Decimal    96-bit signed integer times 100 through 1028 (for financial calculations) Добавлено через 1 минуту и 51 секунду Еще там же: Цитата  Примитивные типы Некоторые типы данных используются настолько часто, что компиляторы позволяют обращаться с ними по упрощенной схеме. Например, в С# возможно следующее определение: string s = "Hello C#"; Эта форма записи удобна, коротка и читабельна. Однако на самом деле, под таким оператором подразумевается следующее присваивание: System.String s = new System.String();  s = "Hello C#"; так как вообще говоря, string является обычным типом, который ничем не отличается от других типов данных. Типы данных, напрямую поддержанные компилятором и допускающие подобные сокращения записи, называются примитивными типами. Примитивные типы преимущественно являются типами-значениями и память под них выделяется на стеке данного потока. Большинство примитивных типов различных языков программирования проецируется на типы данных, существующие в базовой библиотеке классов .NET. Т.е. можно сказать, что это все что подсвечивается синим в редакторе

Автор: thomas 17.8.2007, 11:23

ivashkanet,

Автор: ivashkanet 17.8.2007, 12:59

thomas,

Powered by Invision Power Board (http://www.invisionboard.com)
© Invision Power Services (http://www.invisionpower.com)