Нэш Трей - C# 2010. Ускоренный курс для профессионалов (2010) (1160865), страница 71
Текст из файла (страница 71)
В со11ессьоп<т> также реализованы необобщенные интерфейсы 1со11ессаоп, 111яг и 1ЕппыегзЬ1е. Однако чтобы получить доступ к свойствам и методам одного из этих интерфейсов, может потребоваться явное приведение, поскольку многие из этих интерфейсов реализованы явно. Более того, тип Со11есс1оп<Т> использует шаблон 1ЧЪЧ' для обеспечения производных типов набором защищенных виртуальных методов, которые можно переопределять.
Подробное описание общедоступного интерфейса типа Со11есгаоп<Т> находится в документации МЗР)т), поэтому полное определение со11есгаоп<т> здесь приводиться не будет. Тем не менее, зицищенные виртуальные методы, которые можно переопределять, все-таки показаны ниже: Рпьаас с1аяя со11есгаоп<т>: 1со11ескаоп<т>, 111яг<т>, 1епивтеквь1е<т>, 1Со11ессгоп, 111яс, 1ЕпиыегяЬ1е ! ргоеесеет) чагспа1 чо!т) С1евг1Сепя!)т ргогесгет)чагспа1 чоти 1пяегг1геп! !пг 1пк)ех, Т 1сеп ) Ргогескет) чгггиа1 чотк) Кепоче1геп ! 1пг 1пт)ех ); Ргогесгек) чггепв1 чогб зег1сет! Тпг 1пс)ех, Т Тгеа ); С помотцью переопределения этих методов нельзя модифицировать местоположение хранилища коллекции.
Со11есгаоп<Т> управляет хранилищем элементов, и эти элементы содержатся в приватном поле типа 1ьая с<т>. Однако эти методы можно переопределить, чтобы управлять дополнительной информацией, порожденной этими операциями. Только не забывайте в переопределениях вызывать версии методов базового класса. и,наконец, тип со11есстоп<т> предоставляет два конструктора: один создает пустой экземпляр,а другой принимает 11,!.яг<т>. Второй конструктор копирует переданное значение экземпляра 1ьаяс<т> в новую коллекцию в порядке, который определяется перечислителем, полученным от 111яг<т>.
сесеппвтегзсог. Об этом порядке важно упомянуть, поскольку в следующем разделе, где речь пойдет о блоках перечислителей и итераторов, будет показан способ управления им. Реализация перечислителя исходного списка позволяет выполнять множество действий, таких как обращение порядка элементов на противоположный тому, в каком они помещались в коллекцию, просто предоставлением правильной реализации перечислителя. По идее, типу Со11ессаоп<т> ' Шаблон В)Л описан з главе 15.
266 Глава 9 не помешали бы и дополнительные конструкторы, принимающие 1епивегасог<т> и 1ЕпивегаЬ1е<т>, чтобы обеспечить больше гибких способов наполнения коллекции. Эту задачу можно решить самостоятельно, добавив дополнительные конструкторы к типам, производным от Со11есС).оп<Т>, как показано ниже: иясп9 Яуясегп ивспч яуягев.со11есгсопя.пепег1с) иятпч Буягев.Со11есгсопв.ОЬ9есгноее1; риЫТс с1аяя мусо11есс1оп<т> : со11есстоп<т> ( риЬ11с МуСо11есС1оп() : Ьвяе() ( риЬ11с мусо11есссоп( 1(тяс<т> 11яс ) Ьаве(1).яг) ( риЫТс мусо11есс1оп( 1епивегаь1е<т> епивегвь1е ) : Ьаве() Гогеясп( Т ТСев Тп епивегяЫе ) ( Сбтя.пс)С( 1Сев )г риЫтс мусо11есссоп( 1епивегасог<т> епивегвсог ) : Ьаяе() ( зЬ11е( епивегагог.ноиенехС() ) ( СЬ1в.лс)о( епивегагаг.СиггепС ); риЫ1с с1аяв Епггуро1пг ( вгагсс ио1с) Мвтп() ( МуСо11есгсоп<тпС> со11 = пек МуСо11есс1оп<тпг>( СепегягепивЬегя() ) Гогеасп( гпС и гп со11 ) ( Сопво1е.кгтгеьупе( и ); ) ) всастс 1епивегаь1е<1пс> Оепегясемивьегв() ( Тот( Тпг 1 4) 1 > 0) -1 ) ( уте1Е гегигп Тг В Мвтп имеется эквемпляр МуСо11есС1оп<1пС>, который создан передачей ему типа 1ЕпивегаЬ1е<1пС>, возвращенного методом СепегагекивЬегя.
Если ключевое слово у1е1с( в методе ЕепегаеенивЬегв покажется незнакомым, это может объясняться тем, что данное средство появилось только в версии Сз 2.0. Смысл втого ключевого слова обьясняетса чуть позже в атой главе. По сути, оно определяет то, что называется блоком игперсцпора, который создает из кода перечислитель, сгенерированный компилятором. После создания к экземпляру типа МуСо11есгуоп<1пС> можно обращаться исключительно через ссылку на со11ессуоп<т>.
В конце концов, мусо11есстоп<т> является Со11есСТоп<Т>. Кстати, конструкторы, принимающие необобщенные 1ЕпивегаЬ1е и 1Епивегагог, не предусмотрены просто потому, что предпочтение было отдано достижению более строгой безопасности в отношении типов. Массивы, типы коллекций и итерзторы 267 Возможно, вы отметили присутствие 11яс<Т> в пространстве имен Еуятелт. Со11есГ1опв.бепег1с. Было бы соблазнительно использовать 11яс<т> в приложениях всякий раз, когда нужно предоставить потребителям обобщенный список. Однако вместо Ейвк<Т> подумайте о применении Со11ессгоп<Т>. В типе Еаяк<Т> ие реализованы защищенные виртуальные методы. имеющиеся в со11есгзоп<т>. Поэтому, если список не унаследован от 11я Г<Т>.
то производный тип не имеет возможности определить, где именно были произведены модификации списка. С другой стороны, 11вг<т> служит отличным инструментом, ногда внутрь типа необходимо встроить простую списочную реализацию, поскольку он свободен от таких вызовов виртуальных методов, как у Со11ессгоп<Т>, и, как следствие, более эффективен. другим полезным типом из пространства имен Еувсев. Со11ес11опя. Опл есГМоае1 является тип еезбОп1усо11есгьоп<т>.
который представляет собой оболочку,используемую для реализации коллекций, доступныхтолько для чтения. Поскольку в Сз отсутствует понятие ключевого слова сопят для выражения константности, как в языке С++, важно иметь возможность создавать при необходимости неизменяемые типы и передавать их методам в виде константных параметров. Конструктор КеаттОп1уСо11есГ1оп<Т> принимает тип параметра 111як<Т>. Поэтому тип ЕеааОп1уСо11ессйоп<Т> можно использовать в качестве оболочки для любого типа, реализующего 111яг<т>, включая со11есггоп<т>. Естественно, если пользователь обратится к свойству 1Со11ескгоп<Т>.
1вкезоОп1у, он получит в результате Ггпе. При каждой попытке вызова модифицирующего метода, такого как 1Со11есггоп<т>. с1еаг, будет сгенерировано исключение ЫосяцррогкебЕхсерсэоп. Более того, для вызова модифицирующего метода ссылка еезттОп1усо11есг1оп<т> должна быть приведена к интерфейсу, в котором этот метод объявлен, поскольку Аезбоп1уСо11ес11оп<Т> реализует все модифицирующие методы явно. Самый большой выигрыш от явной реализации этих методов заключается в том, что это помогает избежать их использования во время компиляции.
Эффективность При наличии выбора всегда следует отдавать предпочтение обобщенным типам коллекций перед необобщенными их версиями. Это связано с дополнительной безопасностью типов и повышенной эффективностью. Рассмотрим аргумент, касающийся эффективности, более подробно. Обобщенные типы коллекций, хранящих типы значений, позволяют исюпочнть излишнюю упаковку и распаковку. Упаковка — определенно более дорогая операция, чем распаковка, поскольку требует выделения памяти в нуче, а распаковка — нет. Рико марианн (йтсо магтап1) указывает на многие другие узкие места эффективности в своем благе Нтсо Магйгпрв Ребопткпюе ТЫЬттв'.
Он подчеркивает, что команды разработчиков тратят массу времени на решение проблем производительности, и упрощение всегда помогает в атом. Он приводит один блестящий пример, доказывающий, что ь1вг<т> существенно быстрее, чем Аггау1.т.вг, когда используется много операций Тогезсп. Однако повышенная скорость объясняется не очевидными причинами, связанными с отсутствием упаковки/распаковки, а скорее тем, что Аггауь1вг использует "бесплатный"набор виртуальных методов — особенно во время перечислений.
Аггаубйяс.беГЕпцвегзсог является виртуальным методом,а вложенный тип перечисления АггауЬ1вГЕпцтлегасогя1лтр1е также виртуально реализует методМочеиехс и свойство Сц ггепс. Это добавляет много дорогостоящих вызовов виртуальных методов при перечислении. Если вы интенсивно не используете перечисление Аггау1.т.вс, то, возможно, не заметите ущерба для производительности, но это лишь демонстрирует, Блог Рико доступен по адресу ПГГР://Ь1одя.яябп.сот/г1сов/. 268 Глава 9 насколько много внимания команда разработчиков ВСЬ уделяла вопросам эффективности в последнее время. Это — отличный пример того.
почему стоит тщательно анализировать дизайн своего класса. чтобы оправдать его наслелуемость. Не делайте метод виртуальным, если только точно не уверены в том. что кому-то понадобится переопределять его, и если уж объявили его виртуальным, убедитесь, что использовали шаблон МЪЧ, описанный в главе 13. Если нет абсолютной уверенности в наличии причин, по которым кто-то пожелает выполнить наследование от класса, ориентироваться следует на создание герметизнрованных (зеа1ег)) классов. Не имея веских причин, не оставляйте класс открытым для наследования только потому, что считаете, что такая необходимость может возникнуть в будущем. Если убедительной причины для наследования нет, то маловероятно, чтобы класс получился с прицелом на наследование, и может оказаться, что он не будет работать предсказуемым образом в своих наследниках.
Наслелуемость должна быть осознанным решением, а не основанным лишь на интуиции. Ма заметку! Даже если класс унаследован от класса, использующего виртуальные методы, более эффективно объявить его как герметизированный, потому что компилятор в этом случае сможет вызывать эти методы не виртуальным способом при обращении к ним через ссылку производного типа. К упомянутому ранее следует добавить еще одно предупреждение: бесплатное использование обобщений или любого средства подобного рода без знания их ограничений — всегда плохо.
Всякий раэ, когда конструируется конкретный тип на основе обобщенного, исполняющая система должна генерировать его код в памяти. К тому же, полностью сконструированные типы, созданные иэ обобщенных типов со статическими полями, получают каждый свою копию набора статических полей.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
