17. C#. Абстрактные и конечные методы.

Использование абстрактных классов

Иногда полезно создать базовый класс, определяющий только своего рода "пустой

бланк", который унаследуют все производные классы, причем каждый из них запол-

нит этот "бланк" собственной информацией. Такой класс определяет "суть" методов,

которые производные классы должны реализовать, но сам при этом не обеспечивает

реализации одного или нескольких методов. Подобная ситуация может возникнуть,

когда базовый класс попросту не в состоянии реализовать метод. Этот случай был

проиллюстрирован версией класса TwoDShape (из предыдущей программы), в которой

определение метода агеа() представляло собой "заглушку", поскольку в нем пло-

щадь фигуры не вычислялась и, естественно, не отображалась.

В будущем, создавая собственные библиотеки классов, вы убедитесь, что отсутст-

вие у метода четкого определения в контексте своего (базового) класса, не является

чем-то необычным. Описанную ситуацию можно обработать двумя способами. Один

из них, который продемонстрирован в предыдущем примере, — вывод предупреж-

дающего сообщения. И хотя такой подход может быть полезным в определенных об-

стоятельствах (например, при отладке программы), все же он не соответствует уровню

профессионального программирования. Существует и другой способ. Наша цель —

заставить производные классы переопределить методы, которые в базовом классе не

имеют никакого смысла. Рассмотрим класс Triangle. Им нельзя пользоваться, если

не определен метод area (). Необходимо иметь средство, благодаря которому произ-

водный класс обязательно переопределит все необходимые методы. Этим средством в

С# является абстрактный метод.

Абстрактный метод создается с помощью модификатора типа a b s t r a c t . Абстракт-

ный метод не содержит тела и, следовательно, не реализуется базовым классом. По-

этому производный класс должен его переопределить, поскольку он не может исполь-

зовать версию, предложенную в базовом классе. Нетрудно догадаться, что абстракт-

ный метод автоматически является виртуальным, поэтому и нет необходимости в

использовании модификатора v i r t u a l . Более того, совместное использование моди-

фикаторов v i r t u a l и abstract считается ошибкой.

Для объявления абстрактного метода используйте следующий формат записи.

abstract ТИП ИМЯ(список_параметров) ;

Как видите, тело абстрактного метода отсутствует. Модификатор a b s t r a c t можно

использовать только применительно к обычным, а не к static-методам. Свойства

также могут быть абстрактными.

Класс, содержащий один или несколько абстрактных методов, также должен быть

объявлен как абстрактный с помощью спецификатора abstract, который ставится

перед объявлением class. Поскольку абстрактный класс нереализуем в полном объе-

ме, невозможно создать его экземпляры, или объекты. Таким образом, попытка соз-

дать объект абстрактного класса с помощью оператора new приведет к возникновению

ошибки времени компиляции.

Если производный класс выводится из абстрактного, он может реализовать все аб-

страктные методы базового класса. В противном случае такой производный класс

также должен быть определен как абстрактный. Таким образом, атрибут abstract на-

следуется до тех пор, пока реализация класса не будет полностью достигнута.

Используя абстрактный класс, можно усовершенствовать определение класса

TwoDShape. Поскольку для не определенной заранее двумерной фигуры понятие

площади не имеет смысла, в следующей версии предыдущей программы метод

area () в классе TwoDShape объявляется как абстрактный, как, впрочем, и сам класс

TwoDShape. Безусловно, это означает, что все классы, выведенные из TwoDShape,

должны переопределить метод area ().

// Создание абстрактного класса.

using System;

abstract class TwoDShape {

double pri_width; // Закрытый член,

double pri_height; // Закрытый член,

string pri_name; // Закрытый член.

// Конструктор по умолчанию,

public TwoDShape() {

width = height = 0.0;

name = "null";

}

// Конструктор с параметрами.

public TwoDShape(double w, double h, string n) {

width = w;

height = h;

name = n;

}

// Создаем объект, у которого ширина равна высоте,

public TwoDShape(double x, string n) {

width = height = x;

name = n;

// Создаем объект из объекта,

public TwoDShape(TwoDShape ob) {

width = ob.width;

height = ob.height;

name = ob.name;

}

// Свойства width, height и name,

public double width {

get { return pri_width; }

set { pri_width = value; }

}

public double height {

get { return pri_height; }

set { pri_height = value; }