1629295407-c61bfe4caba98380ea3e7cdae6295416 (846200), страница 57
Текст из файла (страница 57)
Язык C#}public string name {get { return pri_name; }set { pri_name = value; }}public void showDim() {Console.WriteLine("Ширина и высота равны " +width + " и " + height);}// Теперь метод area() абстрактный.public abstract double area();}// Класс треугольников, производный от класса TwoDShape.class Triangle : TwoDShape {string style; // Закрытый член.// Конструктор по умолчанию.public Triangle() {style = "null";}// Конструктор с параметрами.public Triangle(string s, double w, double h) :base(w, h, "triangle") {style = s;}// Создаем равнобедренный треугольник.public Triangle(double x) : base(x, "треугольник") {style = "равнобедренный";}}// Создаем объект из объекта.public Triangle(Triangle ob) : base(ob) {style = ob.style;}// Переопределяем метод area() для класса Triangle.public override double area() {return width * height / 2;}// Отображаем тип треугольника.public void showStyle() {Console.WriteLine("Треугольник " + style);}// Класс прямоугольников, производный от класса TwoDShape.class Rectangle : TwoDShape {// Конструктор с параметрами.public Rectangle(double w, double h) :base(w, h, "прямоугольник"){ }// Создаем квадрат.Глава 11.
Наследование311public Rectangle(double x) :base(x, "прямоугольник") { }// Создаем объект из объекта.public Rectangle(Rectangle ob) : base(ob) { }// Метод возвращает значение true, если// прямоугольник является квадратом.public bool isSquare() {if(width == height) return true;return false;}}// Переопределяем метод area() для класса Rectangle.public override double area() {return width * height;}class AbsShape {public static void Main() {TwoDShape[] shapes = new TwoDShape[4];shapes[0]shapes[1]shapes[2]shapes[3]}}====newnewnewnewTriangle("прямоугольный", 8.0, 12.0);Rectangle(10);Rectangle(10, 4);Triangle(7.0);for(int i=0; i < shapes.Length; i++) {Console.WriteLine("Объектом является " +shapes[i].name);Console.WriteLine("Площадь равна " +shapes[i].area());Console.WriteLine();}Как продемонстрировано этой программой, все производные классы должны илипереопределить метод area(), или также объявить себя абстрактными. Чтобы убедиться вэтом, попробуйте создать производный класс, который не переопределяет метод area().Вы тут же (т.е.
во время компиляции) получите сообщение об ошибке. Конечно, мы можемсоздать объектную ссылку типа TwoDShape, что и делается в программе. Однако теперьнельзя объявить объект типа TwoDShape. Поэтому в методе Main() размер массиваshapes сокращен до 4, и больше не создается “заготовка для фигуры” в виде объектакласса TwoDShape.Обратите также внимание на то, что класс TwoDShape по-прежнему включает методshowDim(), объявления которого не коснулся модификатор abstract. Ведь вполнедопустимо для абстрактного класса содержать конкретные (а не только абстрактные)методы, которые производный класс может использовать “как есть”. И только методы,объявленные с использованием ключевого слова abstract, должны переопределятьсяпроизводными классами.312Часть I.
Язык C#Использование ключевого слова sealed дляпредотвращения наследованияКаким бы мощным и полезным ни был механизм наследования, все же иногданеобходимо его отключать. Например, у вас может быть класс, который инкапсулируетпоследовательность действий при инициализации такого специализированного устройства,как медицинский монитор. В этом случае необходимо запретить пользователям изменятьхарактер инициализации этого монитора, чтобы исключить возможную некорректностьэтой процедуры. Специально для подобных ситуаций в C# предусмотрена возможностьпредотвращения наследования класса с помощью ключевого слова sealed.Чтобы запретить наследование класса, предварите его объявление ключевым словомsealed. Нетрудно догадаться, что нельзя объявлять класс одновременно с помощью двухмодификаторов — abstract и sealed, поскольку абстрактный класс сам по себе“полуфабрикат” и его полная реализация возможна только в следующих “поколениях”, т.е.после создания производных классов.Рассмотрим пример sealed-класса.sealed class А {// ...}// Следующий класс создать невозможно.class В : А { // ОШИБКА! Класс А не может иметь наследников.// ...}Класс B не может быть производным от класса А, так как последний объявленsealed-классом.Класс objectВ C# определен специальный класс с именем object, который является неявнымбазовым классом всех других классов и типов (включая типы значений).
Другими словами,все остальные типы выводятся из класса object. Это означает, что ссылочная переменнаятипа object может указывать на объект любого типа. Кроме того, поскольку C#-массивыреализованы как классы, переменная типа object также может ссылаться на любоймассив. Строго говоря, C#-имя object — еще одно имя для класса System.Object,который является частью библиотеки классов .NET Framework.Класс object определяет методы, перечисленные в табл. 11.1. Эти методы доступныдля каждого объекта.Таблица 11.1. Методы класса objectМетодНазначениеpublic virtual bool Equals(object ob)Определяет, является ли вызывающий объект такимже, как объект, адресуемый ссылкой obpublic static bool Equals(object ob1,object ob2)Определяет, является ли объект оb1 таким же, какобъект оb2Глава 11.
Наследование313Окончание табл. 11.1МетодНазначениеprotected Finalize()Выполняет завершающие действия перед процессомсбора мусора. В C# метод Finalize() доступен черездеструкторВозвращает хеш-код, связанный с вызывающимобъектомПолучает тип объекта во время выполненияпрограммыВыполняет "поверхностное копирование" объекта, т.е.копируются члены, но не объекты, на которыессылаются эти членыОпределяет, ссылаются ли объекты оb1 и оb2 на одини тот же объектpublic virtual int GetHashCode()public Type GetType()protected objectMemberwiseClone()public static boolReferenceEquals(object оb1,object ob2)public virtual string ToString()Возвращает строку, которая описывает объектНазначение некоторых из перечисленных выше методов требует дополнительныхразъяснений. По умолчанию метод Equals(object) определяет, ссылаются ливызывающий объект и объект, адресуемый аргументом, на один и тот же объект, т.е.
методопределяет, являются ли эти две ссылки одинаковыми. Метод возвращает значение true,если объекты совпадают, и false — в противном случае. Этот метод можнопереопределить в создаваемых им классах. Это позволит уточнить, что означает равенстводля вашего класса. Например, вы можете так определить метод Equals(object), чтобыон сравнивал содержимое двух объектов (и давал ответ на вопрос, равны ли они).
МетодEquals(object,object)дляполучениярезультатавызываетметодEquals(object).Метод GetHashCode() возвращает хеш-код, связанный с вызывающим объектом.Этот хеш-код можно использовать с любым алгоритмом, который применяет хешированиекак средство доступа к объектам, хранимым в памяти,Как упоминалось в главе 9, при перегрузке оператора “==” необходимопереопределить методы Equals(object) и GetHashCode(), поскольку функцииоператора “==” и метода Equals(object), как правило, должны быть идентичными.Переопределив метод Equals(object), необходимо переопределить и методGetHashCode(), чтобы они были совместимы.Метод ToString() возвращает строку, содержащую описание объекта, длякоторого вызывается этот метод. Кроме того, метод ToString() автоматическивызывается при выводе объекта с помощью метода WriteLine().
Метод ToString()переопределяется во многих классах, что позволяет подобрать описание специально длятипов объектов, которые они создают. Вот пример:// Демонстрация использования метода ToString().using System;class MyClass {static int count = 0;int id;public MyClass() {id = count;count++;}public override string ToString() {return "Объект класса MyClass #" + id;314Часть I. Язык C#}}class Test {public static void Main() {MyClass ob1 = new MyClass();MyClass ob2 = new MyClass();MyClass ob3 = new MyClass();}}Console.WriteLine(ob1);Console.WriteLine(ob2);Console.WriteLine(ob3);Эта программа генерирует следующие результаты:Объект класса MyClass #0Объект класса MyClass #1Объект класса MyClass #2Приведение к объектному типу и восстановление значенияКак упоминалось выше, все C#-типы, включая типы значений, выведены из классаobject.
Следовательно, ссылку типа object можно использовать в качестве ссылки налюбой другой тип, включая типы значений. Если ссылку типа object заставляютуказывать на значение нессылочного типа, этот процесс называют приведением кобъектному типу (boxing). В результате этого процесса значение нессылочного типадолжно храниться подобно объекту, или экземпляру класса. Другими словами,“необъектное” значение помешается в объектную оболочку. Такой “необъектный” объектможно затем использовать подобно любому другому объекту. В любом случае приведение кобъектному типу происходит автоматически. Для этого достаточно присвоить значениессылке на объект класса object.
Все остальное доделает C#.Восстановление значения из “объектного образа” (unboxing) — это по сути процессизвлечения значения из объекта. Это действие выполняется с помощью операцииприведения типа, т.е. приведения ссылки на объект класса object к значению желаемоготипа.Рассмотрим простой пример, который иллюстрирует приведение значения кобъектному типу и его восстановление.// Простой пример "объективизации" и "дезобъективизации".using System;class BoxingDemo {public static void Main() {int x;object obj;x = 10;obj = x; // "Превращаем" x в объект.int y = (int)obj; // Обратное "превращение"// объекта obj в int-значение.Console.WriteLine(y);}}Глава 11.