C# 4.0: полное руководство - Герберт Шилдт

  // ...

}

// Класс для телефонных номеров поставщиков,

class Supplier : IPhoneNumber {

public Supplier(string n, string num) {

  Name = n;

  Number = num;

}

// Реализовать интерфейс IPhoneNumber.

public string Number { get; set; }

public string Name { get; set; }

  // ...

}

// В этом классе интерфейс IPhoneNumber не реализуется,

class EmailFriend {

  // ...

}

// Класс PhoneList способен управлять любым видом списка телефонных

// номеров, при условии, что он реализует интерфейс PhoneNumber.

class PhoneList<T> where T : IPhoneNumber {

  T[] phList;

  int end;

  public PhoneList() {

    phList = new T[10];

    end = 0;

  }

  public bool Add(T newEntry) {

    if (end == 10) return false;

    phList[end] = newEntry;

    end++;

    return true;

  }

  // Найти и возвратить сведения о телефоне по заданному имени,

  public T FindByName(string name) {

    for (int i = 0; i < end; i++) {

      // Имя может использоваться, потому что его свойство Name

      // относится к членам интерфейса IPhoneNumber, на который

      // накладывается ограничение,

      if (phList[i].Name == name) return phList[i];

    }

    // Имя отсутствует в списке,

    throw new NotFoundException();

  }

  // Найти и возвратить сведения о телефоне по заданному номеру,

  public T FindByNumber(string number) {

    for (int i = 0; i < end; i++) {

      // Номер телефона также может использоваться, поскольку его

      // свойство Number относится к членам интерфейса IPhoneNumber,

      // на который накладывается ограничение.

      if (phList[i].Number == number) return phList[i];

    }

    // Номер телефона отсутствует в списке,

    throw new NotFoundException();

  }

  // ...

}

// Продемонстрировать наложение ограничения на интерфейс,

class UselnterfaceConstraint {

  static void Main() {

    // Следующий код вполне допустим, поскольку

    //в классе Friend реализуется интерфейс IPhoneNumber.

    PhoneList<Friend> plist = new PhoneList<Friend>();

    plist.Add(new Friend("Том", "555-1234", true));

    plist.Add(new Friend("Гари", "555-6756", true));

    plist.Add(new Friend("Матт", "555-9254", false));

    try {

      // Найти номер телефона по заданному имени друга.

      Friend frnd = plist.FindByName("Гари");

      Console.Write(frnd.Name + ": " + frnd.Number);

      if (frnd.IsWorkNumber)

        Console.WriteLine(" (рабочий)");

      else

        Console.WriteLine();

    }

    catch (NotFoundException) {

      Console.WriteLine("He найдено");

    }

    Console.WriteLine();

    // Следующий код также допустим, поскольку в классе Supplier

    // также реализуется интерфейс IPhoneNumber.

    PhoneList<Supplier> plist2 = new PhoneList<Supplier>();

    plist2.Add(new Supplier("Фирма Global Hardware", "555-8834"));

    plist2.Add(new Supplier("Агентство Computer Warehouse", "555-9256"));

    plist2.Add(new Supplier("Компания NetworkCity", "555-2564"));

    try {

      // Найти наименование поставщика по заданному номеру телефона.

      Supplier sp = plist2.FindByNumber("555-2564");

      Console.WriteLine(sp.Name + ": " + sp.Number);

    }

    catch (NotFoundException) {

      Console.WriteLine("He найдено");

    }

    // в классе EmailFriend НЕ реализуется интерфейс IPhoneNumber.

    // PhoneList<EmailFriend> plist3 =

    // new PhoneList<EmailFriend>(); // Ошибка!

  }

}

В этой версии программы ограничение на интерфейс, указываемое в классе PhoneList, требует, чтобы аргумент типа реализовал интерфейс IPhoneList. А поскольку этот интерфейс реализуется в обоих классах, Friend и Supplier, то они относятся к допустимым типам, привязываемым к типу Т. В то же время интерфейс не реализуется в классе EmailFriend, и поэтому этот класс не может быть привязан к типу Т. Для того чтобы убедиться в этом, удалите символы комментария в двух последних строках кода в методе Main(). Вы сразу же обнаружите, что программа не компилируется.

Применение ограничения new() на конструктор

Ограничение new() на конструктор позволяет получать экземпляр объекта обобщенного типа. Как правило, создать экземпляр параметра обобщенного типа не удается. Но это положение изменяет ограничение new(), поскольку оно требует, чтобы аргумент типа предоставил конструктор без параметров. Им может быть конструктор, вызываемый по умолчанию и предоставляемый автоматически, если явно определяемый конструктор отсутствует или же конструктор без параметров явно объявлен пользователем. Накладывая ограничение new(), можно вызывать конструктор без параметров для создания объекта.

Ниже приведен простой пример, демонстрирующий наложение ограничения new().

// Продемонстрировать наложение ограничения new() на конструктор.

using System;

class MyClass {

  public MyClass() {

    // ...

  }

  //. . .

}

class Test<T> where T : new() {

  T obj;

  public Test() {

    // Этот код работоспособен благодаря

    // наложению ограничения new().

    obj = new T(); // создать объект типа Т

  }

  // ...

}

class ConsConstraintDemo {

  static void Main() {

    Test<MyClass> x = new Test<MyClass>();

  }

}

Прежде всего обратите внимание на объявление класса Test.

class Test<T> where T : new() {

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

Далее проанализируем приведенный ниже конструктор класса Test.

public Test() {

  // Этот код работоспособен благодаря

  // наложению ограничения new().

  obj = new Т(); // создать объект типа Т

}

В этом фрагменте кода создается объект типа Т, и ссылка на него присваивается переменной экземпляра obj. Такой код допустим только потому, что ограничение new() требует наличия конструктора. Для того чтобы убедиться в этом, попробуйте сначала удалить ограничение new(), а затем попытайтесь перекомпилировать программу. В итоге вы получите сообщение об ошибке во время компиляции.

В методе Main() получается экземпляр объекта типа Test, как показано ниже.

Test<MyClass> х = new Test<MyClass>();

Обратите внимание на то, что аргументом типа в данном случае является класс MyClass и что в этом классе определяется конструктор без параметров. Следовательно, этот класс допускается использовать в качестве аргумента типа для класса Test. Следует особо подчеркнуть, что в классе MyClass совсем не обязательно определять конструктор без параметров явным образом. Его используемый по умолчанию конструктор вполне удовлетворяет накладываемому ограничению. Но если классу потребуются другие конструкторы, помимо конструктора без параметров, то придется объявить явным образом и вариант без параметров.