C# 4.0 полное руководство - 2011

Рассмотрим данный пример программы более подробно. Прежде всего, методArea объявляется какvirtualв классеTwoDShapeи переопределяется в классахTriangleиRectangleпо объяснявшимся ранее причинам. В классеTwoDShapeметодArea реализован в виде заполнителя, который сообщает о том, что пользователь данного метода должен переопределить его в производном классе. Каждое переопределение методаArea предоставляет конкретную его реализацию, соответствующую типу объекта, инкапсулируемого в производном классе. Так, если реализовать класс для эллипсов, то методArea должен вычислять площадь эллипса.

У программы из рассматриваемого здесь примера имеется еще одна примечательная особенность. Обратите внимание на то, что в методеMain двумерные формы объявляются в виде массива объектов типаTwoDShape,но элементам этого массива присваиваются ссылки на объекты классовTriangle, RectangleиTwoDShape.И это вполне допустимо, поскольку по ссылке на базовый класс можно обращаться к объекту прризводного класса. Далее в программе происходит циклическое обращения к элементам данного массива для вывода сведений о каждом объекте. Несмотря на всю свою простоту, данный пример наглядно демонстрирует преимущества наследования и переопределения методов. Тип объекта, хранящийся в переменной ссылки на базовый класс, определяется во время выполнения и соответственно обусловливает дальнейшие действия. Так, если объект является производным от классаTwoDShape,то для получения его площади вызывается методArea . Но интерфейс для выполнения этой операции остается тем же самым независимо от типа используемой двумерной формы.

Применение абстрактных классов

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