Язык программирования C#9 и платформа .NET5 - Троелсен Эндрю

Полезность абстрактных методов становится совершенно ясной, как только вы снова вспомните, что подклассы никогда не обязаны переопределять виртуальные методы (как в случае

). Следовательно, если создать экземпляры типов и , то обнаружится, что знает, как правильно "рисовать" себя (или, по крайней мере, выводить на консоль подходящее сообщение). Тем не менее, реакция порядком сбивает с толку.

Взгляните на вывод предыдущего кода:

Очевидно, что это не самое разумное проектное решение для текущей иерархии. Чтобы вынудить каждый дочерний класс переопределять метод

, его можно определить как абстрактный метод класса , т.е. какая-либо стандартная реализация вообще не предлагается. Для пометки метода как абстрактного в C# используется ключевое слово . Обратите внимание, что абстрактные методы не предоставляют никакой реализации:

На заметку! Абстрактные методы могут быть определены только в абстрактных классах, иначе возникнет ошибка на этапе компиляции.

Методы, помеченные как

t, являются чистым протоколом. Они просто определяют имя, возвращаемый тип (если есть) и набор параметров (при необходимости). Здесь абстрактный класс информирует производные типы о том, что у него есть метод по имени , который не принимает аргументов и ничего не возвращает. О необходимых деталях должен позаботиться производный класс.

С учетом сказанного метод

в классе теперь должен быть обязательно переопределен. В противном случае также должен быть абстрактным классом и декорироваться ключевым словом (что очевидно не подходит в настоящем примере). Вот изменения в коде:

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

, действительно имеет уникальную версию метода . Для демонстрации полной картины полиморфизма рассмотрим следующий код:

Ниже показан вывод, выдаваемый этим кодом:

Данный код иллюстрирует полиморфизм в чистом виде. Хотя напрямую создавать экземпляры абстрактного базового класса (

) невозможно, с помощью абстрактной базовой переменной допускается хранить ссылки на объекты любого подкласса. Таким образом, созданный массив объектов способен хранить объекты классов, производных от базового класса (попытка добавления в массив объектов, несовместимых с , приведет к ошибке на этапе компиляции).