Герберт Шилдт - C# 4.0 - полное руководство

Console.WriteLine("Площадь равна " + shapes[i].Area());

Console.WriteLine() ;

}

}

}

Как показывает представленный выше пример программы, во всех производных классах метод Area()должен быть непременно переопределен, а также объявлен абстрактным. Убедитесь в этом сами, попробовав создать производный класс, в котором не переопределен метод Area(). В итоге вы получите сообщение об ошибке во время компиляции. Конечно, возможность создавать ссылки на объекты типа TwoDShapeпо-прежнему существует, и это было сделано в приведенном выше примере программы, но объявлять объекты типа TwoDShapeуже нельзя. Именно поэтому массив shapesсокращен в методе Main()до 4 элементов, а объект типа TwoDShapeдля общей двухмерной формы больше не создается.

Обратите также внимание на то, что в класс TwoDShapeпо-прежнему входит метод ShowDim()и что он не объявляется с модификатором abstract. В абстрактные классы вполне допускается (и часто практикуется) включать конкретные методы, которые могут быть использованы в своем исходном виде в производном классе. А переопределению в производных классах подлежат только те методы, которые объявлены как abstract.

Несмотря на всю эффективность и полезность наследования, иногда возникает потребность предотвратить его. Допустим, что имеется класс, инкапсулирующий последовательность инициализации некоторого специального оборудования, например медицинского монитора. В этом случае требуется, чтобы пользователи данного класса не могли изменять порядок инициализации монитора, чтобы исключить его неправильную настройку. Но независимо от конкретных причин в C# имеется возможность предотвратить наследование класса с помощью ключевого слова sealed.

Для того чтобы предотвратить наследование класса, достаточно указать ключевое слово sealedперед определением класса. Как и следовало ожидать, класс не допускается объявлять одновременно как abstractи sealed, поскольку сам абстрактный класс реализован не полностью и опирается в этом отношении на свои производные классы, обеспечивающие полную реализацию.

Ниже приведен пример объявления класса типа sealed.

sealed class А {

// . . .

}

// Следующий класс недопустим.

class В : A { // ОШИБКА! Наследовать класс А нельзя / / ...

}

Как следует из комментариев в приведенном выше фрагменте кода, класс В не может наследовать класс А, потому что последний объявлен как sealed.

И еще одно замечание: ключевое слово sealedможет быть также использовано в виртуальных методах для предотвращения их дальнейшего переопределения. Допустим, что имеется базовый класс В и производный класс D. Метод, объявленный в классе В как virtual, может быть объявлен в классе D как sealed. Благодаря этому в любом классе, наследующем от класса % предотвращается переопределение данного метода. Подобная ситуация демонстрируется в приведенном ниже фрагменте кода:

class В {

public virtual void MyMethodO { /* ... */ }

}

class D : В {

// Здесь герметизируется метод MyMethodO и

// предотвращается его дальнейшее переопределение,

sealed public override void MyMethodO { /* ... */ }

}

class X : D {

// Ошибка! Метод MyMethodO герметизирован!

public override void MyMethodO { /* ••• */ }

}

Метод MyMethod()герметизирован в классе D, и поэтому не может быть переопределен в классе X.

В C# предусмотрен специальный класс object, который неявно считается базовым классом для всех остальных классов и типов, включая и типы значений. Иными словами, все остальные типы являются производными от object. Это, в частности, означает, что переменная ссылочного типа objectможет ссылаться на объект любого другого типа. Кроме того, переменная типа objectможет ссылаться на любой массив, поскольку в C# массивы реализуются как объекты. Формально имя objectсчитается в C# еще одним обозначением класса System.Object, входящего в библиотеку классов для среды .NET Framework.

В классе objectопределяются методы, приведенные в табл. 11.1. Это означает, что они доступны для каждого объекта.