Нэш Трей - C# 2010. Ускоренный курс для профессионалов (2010) (1160865), страница 16
Текст из файла (страница 16)
Затем вы узнаете о Яуэ сея. оь) ест (базовом типе для всех прочих типов) и изучите нюансы создания и уничтожения экземпляров объектов, написания выражений инициализации объектов, а также реализации упаковки и распаковки. Кроме того, рассматриваются новые средства С№, такие как анонимные типы и именованные и необязательные аргументы. И, наконец, речь пойдет о наследовании и полиморфизме, а также об отличиях между наследованием и включением с точки зрения повторного использования кода. Мощь объектно-ориентированных систем заключается в возможности создания разработчиками собственных типов.
Замечательно, что несмотря на то, что встроенные типы языка являются простыми старыми объектами СЬК, создаваемые вами объекты обращаются со встроенными типами на уровне полей. Другими словами, встроенные типы не обладают никакими специальными возможностями, которые нельзя было бы реализовать в типах, определяемых пользователем. Краеугольный камень создания этих типов — определение класса. Определения классов с использованием ключевого слова С№ с1азз задают внутреннее состояние и поведение, ассоциируемое с объектами типа данного класса. Внутреннее состояние объекта представлено полями, объявляемыми в классе, среди которых могут быть ссылки на другие объекты либо просто значения.
Иногда, хотя и редко, говорят. что описывается "форма" объекта, поскольку определения полей экземпляра внутри класса формируют "отпечаток" объекта в куче. 60 Глава 4 Объекты, создаваемые на основе классов. инкапсулируют поля данных, представляющие внутреннее состояние объектов, и объекты могут тонко управлять доступом к этим полям. Поведение объектов определяется реализуемыми методами, которые объявляются и определяются внутри определения класса. Вызывая один из методов на экземпляре объекта, вы инициируете единицу работы этого объекта. Зта работа может модифицировать внутреннее состояние объекта, проверить состояние объекта либо сделать что-то другое в том же духе.
В классе можно определить конструкторы, которые система выполняет при каждом создании нового объекта. Кроме того, можно определить метод, называемый финэлизатором, который будет работать во время удаления объекта сборщиком мусора. Как будет показано в главе 13, финализаторов следует по возможности избегать. В этой главе подробно рассматривается конструирование и уничтожение, включая детальное описание последовательности событий, происходящих во время создания объекта.
Объекты поддерживают концепцию наследования, посредством которой производный класс наследует поля и методы базового класса. Наследование также позволяет трактовать объекты производного класса как обьекты его базового типа. Например, дизайн, в котором объект типа Рос унаследован от типа Ап1па1, говорит о том, что это модель отношения "является" (1з-а) (те, собака (Рос) является животным (Ап№па1)). Таким образом, можно просто неявно преобразовать ссылку на тип Рос в ссылку на тип Ап1пз1.
Здесь неявно означает, что преобразование имеет форму простого выражения присваивания. В противоположность этому, ссылку на тип Ап№аз1 можно преобразовать явно через операцию приведения, чтобы она ссылалась на тип Рос, если определенный объект, на который ссылается тип Ап1ва1, фактически является объектом, созданным на основе класса Роп. Зта концепция, называемая полиморфизмом — когда можно манипулировать объектами взаимосвязанных типов, как если бы они относились к одному общему типу — должна быть вам знакомой. Часто для обоаначения простых вещей вроде этой щщдумывают забавные и мудреные слова.
Полиморфизм — тому не исключение, хотя он означает всего-навсего то, что объект может принимать идентичности нескольких типов. В этой главе рассматривается наследование, со всеми его подводными камнями. Среда СЬК отслеживает ссылки на объекты. Зто значит, что каждая переменная ссылочного пила в действительности содержит ссылку на объект в куче (или пп11, если в данный момент не ссылается на какой-либо объект).
В результате копирования значения переменной ссылочного типа в другую переменную ссылочного типа создается другая ссылка на тот же самый объект — другими словами, копируется ссылка. Таким образом, получаются две переменных, ссылающихся на один и тот же объект. В СЬК для создания полноценных копий объектов понадобится проделать дополнительную работу, например, реализовать интерфейс 1С1опеаЬ1е или аналогичный шаблон. Все объекты, созданные на основе определения класса С№, располагаются в системной куче, которой управляет сборщик мусора (ОагЬаяе Со11есгог — ОС) среды СЬК. Сборщик мусора избавляет от необходимости очистки памяти, занятой объектами.
Вы можете выделять память для новых объектов хоть целый день, не заботясь о том, кто потом освободит эту память, ассоциированную с ними. ОС достаточно интеллектуален, чтобы отслеживать ссылки на объекты, и когда он обнаруживает, что на объект не осталось никаких ссылок, он помечает его для удаления. Затем, когда в следующий раз ОС уплотняет кучу, он уничтожает такой обьект и освобождает занятую им память. На заметку1 В действительности процесс сборки мусора намного сложнее, чем описано выше. Существует множество скрытых нюансов того, каким образом ВС освобождает память неиспользуемых объектов. Об этом пойдет речь в разделе 'Уничтожение объектов" далее з этой главе. Имейте в виду, что ВС сокращает сложность в этой области, но привносит массу новых сложностей э другие.
Классы, структуры и обьекты 61 Наряду с классами, язык С№ также поддерживает определение новых гпцпоз значений через ключевое слово з Г го сг.. Типы значений — это легковесные обьекты, которые обычно не находятся в куче, а вместо этого располагаются в стеке. Чтобы быть совершенно точным, следует сказать, что тип значений может находиться в куче, но только в том случае, если он является полем внутри объекта, расположенного в куче. Типы значений не могут быть определены так, чтобы наследоваться от другого класса или другого типа значений, равно как и никакой другой класс или тип значений не может наследоваться от них.
Типы значений могут иметь конструкторы, но не финализаторы. По умолчанию при передаче методу типа значения в качестве параметра метод принимает копию этого значения. В этой главе и в главе 13 подробно рассматриваются типы значений, а также их отличия от ссылочных типов. А теперь давайте обратимся к деталям. Не бойтесь, если они покажутся поначалу несколько громоздкими. Дело в том, что можно приступить к разработке полезных приложений на С№, даже не зная всех тонкостей поведения языка. Это хорошо, потому что С№ вместе с !ПЕ-средой тг)эца) БШ61о предназначены облегчить быструю разработку приложений. Однако чем больше подробностей вы знаете о языке и СЬК, тем более эффективными и устойчивыми будут создаваемые приложения на С№.
Определения классов Определения нлассов в С№ похожи на определения классов в С++ и дача. Чтобы вы могли получить представление об этом, рассмотрим простейший класс. В следующем коде показаны базовые части, из которых состоит определение класса. // ПРИМЕЧАНИЕ: этот код не предназначен для компиляции в том виде, как есть [Яеггэ11хаЬ1е] рцЬ11с с1азз Регачеа: Вазе, 1С1опеаЬ1е ( рггчаке Рег1чеа( Реггчеа огпег ) ГЫэ.х = оспег.хг ) рцЬ11с оЬ)ест С1опе() ( г'г' реализует интерфейс 1С1опзЬ1е.с1опе гегцгп пен Рег1чеа( гЫэ ); ргзчзсе 1пс х; ) Это объявление класса определяет класс Рек).чег), унаследованный от класса Вазе и также реализующий интерфейс 1С1 опеаЫе. На заметку! Если вы впервые сталкиваетесь с концепцией интерфейса, не беспокойтесь.
Глава 5 полностью посвящена теме интерфейсов и программирования на основе контрактов. Модгэ)бикапюр доступа перед ключевым словом с1азэ управляет видимостью типа извне сборки (сборни рассматривались в главе 2). Класс Реггчеа является общедоступным, а это означает, что пользователи сборки, содержащей этот класс. могут создавать его экземпляры. Этот тип содержит приватный (рг1чзге) конструнтор, используемый общедоступным (рцЬ11с) методом С1опе, который реализует интерфейс 1С1опеаЬ1е.
Когда класс реализует интерфейс, это значит, что понадобится реализовать все методы этого интерфейса. Почти к любой именованной сущности внутри системы типов СЬК можно применять аптрцбугпы В данном случае атрибут Бег) з1) хаЫ е был применен к классу, чтобы 62 Глава 4 продемонстрировать пример использования синтаксиса атрибутов. Эти атрибуты становятся частью метаданных, описывающих тип для его потребителей. Вдобавок можно создавать собственные атрибуты для присоединения их к различным сущностям, таким как классы, параметры, возвращаемые значения и поля, что позволяет легко реализовать возможности аспектно-ориентированного программирования ГАарес1 Ог1еп1еб Ргойгагшшпй — АОР).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
