6

Что из себя представляет полиморфизм подтипов в C#? Как его реализовать?

1 ответ 1

7

Полиморфизм подтипов -- это то, что обычно понимают под полиморфизмом в объектно-ориентированном программировании. Он заключается в том, что вызывающий код использует объект, опираясь только на его интерфейс (контракт), не зная при этом фактического типа. Такой подход позволяет подтипам реализовывать свое поведение и т.о. изменять поведение программы без перекомпиляции кода-клиента. Возьмем пример из Википедии:

public abstract class Animal
{
    public abstract String Talk();
}

public class Cat : Animal
{
    public override String Talk()
    {
        return "Meow!";
    }
}

public class Dog : Animal
{
    public override String Talk()
    {
        return "Woof!";
    }
}

public class Program
{
    private static void Write(Animal animal)
    {
        Console.WriteLine(animal.Talk());
    }

    public static void Main(String args[])
    {
        Write(new Cat());
        Write(new Dog());
    }
}

Здесь класс Animal -- это базовый тип, объявляющий интерфейс (контракт). Интерфейс состоит всего из одного метода. Далее у нас есть два дочерних класса -- Cat и Dog, каждый из которых переопределяет метод Talk своим собственным поведением, соответствующим этому классу.

Метод Program.Write является в данном случае клиентом -- он принимает на вход объект типа Animal и вызывает метод Talk. При этом он не знает ничего о фактическом типе объекта, а пользуется только объявленным интерфейсом. Подсовывая ему экземпляры разных типов -- Cat и Dog -- мы получаем разное поведение (на консоль выводится разный текст).

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими условиями использования и подтверждаете, что прочитали и поняли наши политику конфиденциальности и нормы поведения.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.