Объект или экземпляр?

Question

[Yury Trofimov]

Доброго времени суток. Изучаю c# по видеокурсам, подобрался к классам и объектам. Как я понял, при создании объектов создаётся один объект (объединяет все, что повторяется в каждом объекте) и экземпляры класса (объединяют все, что различно). Если я понял неправильно, прошу поправить. Вопрос: Class1 Example = new Class(); - здесь я резервирую память под экземпляр класса и под объект одновременно? Как надо думать: здесь я создал объект?
Class1 Example2 = new Class(); - объект уже создан (сверху), поэтому здесь я резервирую память только под очередной экземпляр класса? Как надо думать: здесь я создал экземпляр класса?
https://yadi.sk/i/82ose5d3BWaOjg - мои мысли на рисунке
Заранее спасибо за ответы)

Comments

[freeExec]

Вы всё поняли неправильно. И Example и Example2 обладают всеми свойствами и по размеру в памяти они одинаковы.

[Yury Trofimov]

Вопрос был немного в другом: лектор объяснял, что для экономии памяти, создаётся один объект и несколько экземпляров класса, которые уже ссылаются на объект. Блин, почему здесь нельзя прикреплять картинки? Проще было бы рисунком донести мысль
То есть, как в вопросе сверху, я создал два экземпляра класса (они имеют в себе различающиеся сущности, например поля), которые ссылаются на один объект (содержащий все общее). Это верно? По-моему, это логично, если нужно создать очень много экземпляров одного класса

[Yury Trofimov]

freeExec, https://yadi.sk/i/82ose5d3BWaOjg

[freeExec]

Yury Trofimov, Так на картинке показан Метод, и это никакая не ссылка. Так сказать, данные отдельно, операции над этими данными отдельно. Вроде ничего сложного не должно быть в понимании, это как в математике, есть формула нахождения уменьшаемого, подставляй любые числа - получишь искомый результат.

Answer 1

[Даша Циклаури]

да, все верно, только терминология выбрана неудачная. Под объектом понимается часть в оперативной памяти, на которую ссылаются все экземпляры созданных классов. И эта часть - методы. Стоит разделять методы и поля. под поля у всех экземпляров выделяется отдельная память под каждое. методы это таблица виртуальных функций, если метод общий то его метаинформация описана в одном месте, в момент вызова ему прокидываются ссылки на тот или иной экземпляр. Так же устроено прототипное наследование в javascript.
upd: чтобы лучше понимать такие вещи как правило читают дисциплину организация эвм и систем, где в конечном итоге отвечаешь на вопросы:
- в какие ассемблерные инструкции превращается создание экземпляра
- как представлены данные в памяти
- что между ними общего

Comments

[Yury Trofimov]

Спасибо!)

Answer 2

[Stalker_RED]

Класс - это те буковки, которые вы видите на экране.
Представьте его как чертеж, например. А готовые объекты существуют в памяти компа во время работы программы. Представьте их как кучу какие-то штуковин, сделанных по общему чертежу.
Объекты - экземпляры класса.

Comments

[Yury Trofimov]

Это я понимаю. Вопрос был в другом: лектор объяснял, что для экономии памяти, создаётся один объект и несколько экземпляров класса, которые уже ссылаются на объект. Блин, почему здесь нельзя прикреплять картинки? Проще было бы рисунком донести мысль
То есть, как в вопросе сверху, я создал два экземпляра класса (они имеют в себе различающиеся сущности, например поля), которые ссылаются на один объект (содержащий все общее). Это верно? По-моему, это логично, если нужно создать очень много экземпляров одного класса

[askhat]

Yury Trofimov, можете привести ссылку на лекцию? Так будет легче понять о чем шла речь

[Yury Trofimov]

Askhat Bikmetov, лекция платная, не получится. Вот скрин слайда https://yadi.sk/i/82ose5d3BWaOjg

[Vitaly]

Yury Trofimov, Я не сильно знаком с C#, но как по мне, так на слайде какой-то бред написан.
Объект -- это по факту и есть экземпляр класса, т.е. это синонимично объект == экземпляр. Проще сказать, что статические поля и методы принадлежат всем объектам данного класса (общие для всех объектов данного класса).
Однако же, класс, в терминах ООП, это набор описательных и поведенческих характеристик, присущих группе объектов. Т.е. некоторое абстрактное понятие, и в этот контекст довольно сложно втиснуть понимание статических данных, да и не нужно.
А у лектор, скорее всего, просто несколько путается в терминах.

[Freeman]

Vitaly, на самом деле на слайде всё верно написано. Статические поля разделяются между всеми объектами, а поля экземпляра у каждого экземпляра объекта свои. Это основа типовой реализации ООП, помимо C# она присутствует в C++, Java и Delphi.

[Vitaly]

Vapaamies, Ну, ну для начала, статические данные они не разделяются, а совместно используются всеми объектами определённого класса (экземпляра класса). С этим утверждением я согласен.
Не статические данные принадлежат конкретному объекту и у каждого объекта они свои. С этим я тоже согласен.
В чём же разница между объектом и экземпляром, по вашему мнению? На слайде эти два определения не синонимичны. И у меня возникает закономерный вопрос: почему? В любой классической литературе по ООП есть определение вроде: "objects are instances of classes", и это выглядит логичным.

[Даша Циклаури]

Vitaly, почитай про принцип Фон Неймана о неделимости памяти под данные и под команды.

внешне в памяти неразличимы

Под каждый экземпляр одного класса память для команд выделяться не будет, а вместо этого будет выделена и заполнена на этапе компиляции или в случае intermediate code выделяется динамически, но остается единой для экземпляров одного класса. Отличное от этого поведение при выделении памяти под данные. И, в приведенной презентации, под объектом понимается выделенная память под команды, а под экземпляром - память под данные.

[Vitaly]

Даша Циклаури, Во-первых читал. Во-вторых нужно приводить ссылки на оригинальный английский контент, а то потом получаются ситуации как у автора презентации: выдумывание своей терминологии. Ну и в-третьих, приём тут это вообще?
Про память для, кхм, "команд" я с вами полностью согласен, о чём и писал выше.
Я не согласен с терминологическим салатом. Есть термины устоявшиеся для ООП, есть устоявшиеся термины для типов памяти. Не нужно всё смешивать, называть одно другим и что-то подразумевать. Это путает людей.