программирование. Руководство su P# a n Reference в herbert schildt полное руководство с 0 герберт шилдт
 Скачать 3.32 Mb.
|
|
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 try { // Найти наименование поставщика по заданному номеру телефона. Supplier sp = plist2.FindByNumber("555‑2564"); Console.WriteLine(sp.Name + ": " + sp.Number); } catch(NotFoundException) { Console.WriteLine("He найдено"); } // в классе EmailFriend НЕ реализуется интерфейс IPhoneNumber. // PhoneList // new PhoneList } } В этой версии программы ограничение на интерфейс, указываемое в классе PhoneList, требует, чтобы аргумент типа реализовал интерфейс IPhoneList. А поскольку этот интерфейс реализуется в обоих классах, Friend и Supplier, то они относятся к допустимым типам, привязываемым к типу Т. В то же время интерфейс не реализуется в классе EmailFriend, и поэтому этот класс не может быть привязан к типу Т. Для того чтобы убедиться в этом, удалите символы комментария в двух последних строках кода в методе Main () . Вы сразу же обнаружите, что программа не компилируется. Применение ограничения new () на конструктор Ограничение new () на конструктор позволяет получать экземпляр объекта обобщенного типа. Как правило, создать экземпляр параметра обобщенного типа не удается. Но это положение изменяет ограничение new () , поскольку оно требует, чтобы аргумент типа предоставил конструктор без параметров. Им может быть конструктор, вызываемый по умолчанию и предоставляемый автоматически, если явно определяемый конструктор отсутствует или же конструктор без параметров явно объявлен пользователем. Накладывая ограничение new () , можно вызывать конструктор без параметров для создания объекта. Ниже приведен простой пример, демонстрирующий наложение ограничения new(). // Продемонстрировать наложение ограничения new() на конструктор. using System; class MyClass { public MyClass() { // ... } //. . . } class Test T obj; public Test() { // Этот код работоспособен благодаря наложению ограничения new(). obj = new Т(); // создать объект типа Т } // ... } class ConsConstraintDemo { static void Main() { Test } } Прежде всего обратите внимание на объявление класса Test. class Test В силу накладываемого ограничения new () любой аргумент типа должен предоставлять конструктор без параметров. Далее проанализируем приведенный ниже конструктор класса Test. public Test () { // Этот код работоспособен благодаря наложению ограничения new(). obj = new Т(); // создать объект типа Т } В этом фрагменте кода создается объект типа Т, и ссылка на него присваивается переменной экземпляра obj. Такой код допустим только потому, что ограничение new () требует наличия конструктора. Для того чтобы убедиться в этом, попробуйте сначала удалить ограничение new () , а затем попытайтесь перекомпилировать программу. В итоге вы получите сообщение об ошибке во время компиляции. В методе Main () получается экземпляр объекта типа Test, как показано ниже. Test Обратите внимание на то, что аргументом типа в данном случае является класс MyClass и что в этом классе определяется конструктор без параметров. Следовательно, этот класс допускается использовать в качестве аргумента типа для класса Test. Следует особо подчеркнуть, что в классе MyClass совсем не обязательно определять конструктор без параметров явным образом. Его используемый по умолчанию конструктор вполне удовлетворяет накладываемому ограничению. Но если классу потребуются другие конструкторы, помимо конструктора без параметров, то придется объявить явным образом и вариант без параметров. Что касается применения ограничения new (), то следует обратить внимание на три других важных момента. Во‑первых, его можно использовать вместе с другими ограничениями, но последним по порядку. Во‑вторых, ограничение new () позволяет конструировать объект, используя только конструктор без параметров, – даже если доступны другие конструкторы. Иными словами, передавать аргументы конструктору параметра типа не разрешается. И в‑третьих, ограничение new () нельзя использовать одновременно с ограничением типа значения, рассматриваемым далее. Ограничения ссылочного типа и типа значения Два других ограничения позволяют указать на то, что аргумент, обозначающий тип, должен быть либо ссылочного типа, либо типа значения. Эти ограничения оказываются полезными в тех случаях, когда для обобщенного кода важно провести различие между ссылочным типом и типом значения. Ниже приведена общая форма ограничения ссылочного типа. where Т : class В этой форме с оператором where ключевое слово class указывает на то, что аргумент Т должен быть ссылочного типа. Следовательно, всякая попытка использовать тип значения, например int или bool, вместо Г приведет к ошибке во время компиляции. Ниже приведена общая форма ограничения типа значения. where Т : struct В этой форме ключевое слово struct указывает на то, что аргумент Г должен быть типа значения. (Напомним, что структуры относятся к типам значений.) Следовательно, всякая попытка использовать ссылочный тип, например string, вместо Г приведет к ошибке во время компиляции. Но если имеются дополнительные ограничения, то в любом случае class или struct должно быть первым по порядку накладываемым ограничением. Ниже приведен пример, демонстрирующий наложение ограничения ссылочного типа. // Продемонстрировать наложение ограничения ссылочного типа. using System; class MyClass { //... } // Наложить ограничение ссылочного типа, class Test Т obj; public Test () { // Следующий оператор допустим только потому, что // аргумент Т гарантированно относится к ссылочному // типу, что позволяет присваивать пустое значение, obj = null; } // ... } class ClassConstraintDemo { static void Main() { // Следующий код вполне допустим, поскольку MyClass является классом. Test // Следующая строка кода содержит ошибку, поскольку // int относится к типу значения. // Test } } Обратите внимание на следующее объявление класса Test, class Test Ограничение class требует, чтобы любой аргумент Т был ссылочного типа. В данном примере кода это необходимо для правильного выполнения операции присваивания в конструкторе класса Test. public Test () { // Следующий оператор допустим только потому, что // аргумент Т гарантированно относится к ссылочному // типу, что позволяет присваивать пустое значение, obj = null; } В этом фрагменте кода переменной obj типа Т присваивается пустое значение. Такое присваивание допустимо только для ссылочных типов. Как правило, пустое значение нельзя присвоить переменной типа значения. (Исключением из этого правила является обнуляемый тип, который представляет собой специальный тип структуры, инкапсулирующий тип значения и допускающий пустое значение (null). Подробнее об этом – в главе 20.) Следовательно, в отсутствие ограничения такое присваивание было бы недопустимым, и код не подлежал бы компиляции. Это один из тех случаев, когда для обобщенного кода может оказаться очень важным различие между типами значений и ссылочными типами. Ограничение типа значения является дополнением ограничения ссылочного типа. Оно просто гарантирует, что любой аргумент, обозначающий тип, должен быть типа значения, в том числе struct и enum. (В данном случае обнуляемый тип не относится к типу значения.) Ниже приведен пример наложения ограничения типа значения. // Продемонстрировать наложение ограничения типа значения. using System; struct MyStruct { //... } class MyClass { // ... } class Test T obj; public Test(T x) { obj = x; } // ... } class ValueConstraintDemo { static void Main() { // Оба следующих объявления вполне допустимы. Test Test //А следующее объявление недопустимо! // Test } } В этом примере кода класс Test объявляется следующим образом. class Test На параметр типа Т в классе Test накладывается ограничение struct, и поэтому к нему могут быть привязаны только аргументы типа значения. Это означает, что объявления Test Установление связи между двумя параметрами типа с помощью ограничения Существует разновидность ограничения на базовый класс, позволяющая установить связь между двумя параметрами типа. В качестве примера рассмотрим следующее объявление обобщенного класса. class Gen В этом объявлении оператор where уведомляет компилятор о том, что аргумент типа, привязанный к параметру типа V, должен быть таким же, как и аргумент типа, привязанный к параметру типа Т, или же наследовать от него. Если подобная связь отсутствует при объявлении объекта типа Gen, то во время компиляции возникнет ошибка. Такое ограничение на параметр типа называется неприкрытым ограничением типа. В приведенном ниже примере демонстрируется наложение этого ограничения. // Установить связь между двумя параметрами типа. using System; class А { //... } class В : А { // ... } // Здесь параметр типа V должен наследовать от параметра типа Т. class Gen // ... } class NakedConstraintDemo { static void Main() { // Это объявление вполне допустимо, поскольку // класс В наследует от класса А. GerKA, В> х = new Gen // А это объявление недопустимо, поскольку // класс А‑.не наследует от класса В. . // Gen } } Обратите внимание на то, что класс В наследует от класса А. Проанализируем далее оба объявления объектов класса Gen в методе Main (). Как следует из комментария к первому объявлению Gen оно вполне допустимо, поскольку класс В наследует от класса А. Но второе объявление // Gen недопустимо, поскольку класс А не наследует от класса В. Применение нескольких ограничений С параметром типа может быть связано несколько ограничений. В этом случае ограничения указываются списком через запятую. В этом списке первым должно быть указано ограничение class либо struct, если оно присутствует, или же ограничение на базовый класс, если оно накладывается. Указывать ограничения class или struct одновременно с ограничением на базовый класс rte разрешается. Далее по списку должно следовать ограничение на интерфейс, а последним по порядку – ограничение new (). Например, следующее объявление считается вполне допустимым. class Gen // ... В данном случае параметр типа Т должен быть заменен аргументом типа, наследующим от класса MyClass, реализующим интерфейс IMylnterface и использующим конструктор без параметра. Если же в обобщении используются два или более параметра типа, то ограничения на каждый из них накладываются с помощью отдельного оператора where, как в приведенном ниже примере. // Использовать несколько операторов where, using System; // У класса Gen имеются два параметра типа, и на оба накладываются // ограничения с помощью отдельных операторов where, class Gen where V : struct { T obi; V ob2; public Gen(T t, V v) { obi = t; ob2 = v; } } class MultipleConstraintDemo { static void Main() { // Эта строка кода вполне допустима, поскольку // string – это ссылочный тип, a int – тип значения. Gen //А следующая строка кода недопустима, поскольку // bool не относится к ссылочному типу. // Gencbool, int> obj = new Gencbool, int>(true, 11); } } В данном примере класс Gen принимает два аргумента с ограничениями, накладываемыми с помощью отдельных операторов where. Обратите особое внимание на объявление этого класса. class GenCT, V> where T : class where V : struct { Как видите, один оператор where отделяется от другого только пробелом. Другие знаки препинания между ними не нужны и даже недопустимы. Получение значения, присваиваемого параметру типа по умолчанию Как упоминалось выше, при написании обобщенного кода иногда важно провести различие между типами значений и ссылочными типами. Такая потребность возникает, в частности, в том случае, если переменной параметра типа должно быть присвоено значение по умолчанию. Для ссылочных типов значением по умолчанию является null, для неструктурных типов значений – 0 или логическое значение false, если это тип bool, а для структур типа struct – объект соответствующей структуры с полями, установленными по умолчанию. В этой связи возникает вопрос: какое значение следует присваивать по умолчанию переменной параметра типа: null, 0 или нечто другое? Например, если в следующем объявлении класса Test: class Test Т obj; П ... переменной obj требуется присвоить значение по умолчанию, то какой из двух вариантов obj = null; // подходит только для ссылочных типов или obj =0; // подходит только для числовых типов и // перечислений, но не для структур следует выбрать? Для разрешения этой дилеммы можно воспользоваться еще одной формой оператора default, приведенной ниже. default (тип) Эта форма оператора default пригодна для всех аргументов типа, будь то типы значений или ссылочные типы. Ниже приведен короткий пример, демонстрирующий данную форму оператора default. // Продемонстрировать форму оператора default. using System; class MyClass { //... } // Получить значение, присваиваемое параметру типа Т по умолчанию, class Test |