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

В главе 5 кратко упоминалась концепция вложенных типов, которая является развитием рассмотренного выше отношения "имеет". В C# (а также в других языках .NET) допускается определять тип (перечисление, класс, интерфейс, структуру или делегат) прямо внутри области действия класса либо структуры. В таком случае вложенный (или "внутренний") тип считается членом охватывающего (или "внешнего") типа, и в глазах исполняющей системы им можно манипулировать как любым другим членом (полем, свойством, методом и событием). Синтаксис, применяемый для вложения типа, достаточно прост:

public class OuterClass

{

  // Открытый вложенный тип может использоваться кем угодно.

  public class PublicInnerClass {}

  // Закрытый вложенный тип может использоваться.

  // только членами включающего класса

  private class PrivateInnerClass {}

}

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

• Вложенные типы позволяют получить полный контроль над уровнем доступа внутреннего типа, потому что они могут быть объявлены как закрытые (вспомните, что невложенные классы нельзя объявлять с ключевым словом private).

• Поскольку вложенный тип является членом включающего класса, он может иметь доступ к закрытым членам этого включающего класса.

• Часто вложенный тип полезен только как вспомогательный для внешнего класса и не предназначен для использования во внешнем мире.

Когда тип включает в себя другой тип класса, он может создавать переменные-члены этого типа, как в случае любого другого элемента данных. Однако если с вложенным типом нужно работать за пределами включающего типа, тогда его придется уточнять именем включающего типа. Взгляните на приведенный ниже код:

// Создать и использовать объект открытого вложенного класса. Нормально!

OuterClass.PublicInnerClass inner;

inner = new OuterClass.PublicInnerClass;

// Ошибка на этапе компиляции! Доступ к закрытому вложенному

// классу невозможен!

OuterClass.PrivateInnerClass inner2;

inner2 = new OuterClass.PrivateInnerClass;

Для применения такой концепции в примере с сотрудниками предположим, что определение BenefitPackage теперь вложено непосредственно в класс Employee:

partial class Employee

{

  public class BenefitPackage

  {

    // Предположим, что есть другие члены, представляющие

    // медицинские/стоматологические программы и т.д.

    public double ComputePayDeduction

    {

      return 125.0;

    }

  }

  ...

}

Процесс вложения может распространяться настолько "глубоко", насколько требуется. Например, пусть необходимо создать перечисление по имени BenefitPackageLevel, документирующее разнообразные уровни льгот, которые может выбирать сотрудник. Чтобы программно обеспечить тесную связь между типами Employee, BenefitPackage и BenefitPackageLevel, перечисление можно вложить следующим образом:

// В класс Employee вложен класс BenefitPackage.

public partial class Employee

{

  // В класс BenefitPackage вложено перечисление BenefitPackageLevel.

  public class BenefitPackage

  {

    public enum BenefitPackageLevel

    {

      Standard, Gold, Platinum

    }

    public double ComputePayDeduction

    {

      return 125.0;

    }

  }

  ...

}

Вот как приходится использовать перечисление BenefitPackageLevel из-за отношений вложения:

...

// Определить уровень льгот.

Employee.BenefitPackage.BenefitPackageLevel myBenefitLevel =

    Employee.BenefitPackage.BenefitPackageLevel.Platinum;

Итак, к настоящему моменту вы ознакомились с несколькими ключевыми словами (и концепциями), которые позволяют строить иерархии типов, связанных посредством классического наследования, включения и вложения. Не беспокойтесь, если пока еще не все детали ясны. На протяжении оставшихся глав книги будет построено немало иерархий. А теперь давайте перейдем к исследованию последнего принципа ООП — полиморфизма.