Нэш Трей - C# 2010. Ускоренный курс для профессионалов (2010) (1160865), страница 43
Текст из файла (страница 43)
Ратпк (); В атом примере следует отметить два момента. Во-первых, РапсуСоглЬовох перечисляет 1()1сопсго1 в списке наследования. Так вы указываете, что РапсусовЬоВох собирается заново реализовать интерфейс 101сопсго1. если бы 1()1сопсго1 наследовался Интерфейсы и контракты 159 от другого интерфейса, то ГапсуСовЬоВох пришлось бы повторно реализовать методы унаследованного интерфейса. Я также должен был использовать ключевое слово пен для ГапсуСовЬоВсх.
Ра1пщ поскольку он скрывает СовЬовох. Ра1пг. Это не было бы проблемой, если бы совЬовох реализовал метод 1()1сопсго1. Ра1пс явно, поскольку он не был бы частью общедоступного контракта. Когда компилятор находит соответствие метода класса методу интерфейса, он также просматривает общедоступные методы базовых классов. В реальности ГапсуСсвЬЬВох должен был бы указать, что он заново реализует 1С1Сопгго1.
Ра1пк, но без повторного объявления его методов, так что компилятор должен был бы просто связать интерфейс с методами базового класса. Конечно, зто было бы бессмысленно, поскольку причина повторной реализации интерфейса в производном классе — изменение поведения. На заметку! Возможность заново реализовать интерфейс — мощное средство. Оно подчеркивает огромную разницу между способом обработки интерфейсов в СВ и СЬВ и трактовкой интерфейсов в Сч-+ как определения абстрактных классов. Исключается сложность виртуальных таблиц Сч.+, а вместе с ними и вопрос о том, когда должно применяться виртуальное наследование С+з. Как уже неоднократно упоминалось, интерфейсы СВ(СЬ — зто не что иное, как просто контракт, который означает согласие конкретного класса на реализацию всех методов, перечисленных в контракте, т.е, интерфейсе. Если методы контракта интерфейса реализованы неявно, они должны быть общедоступными.
Пока они отвечают этим требованиям. они также могут иметь другие атрибуты, включая ключевое слово ч1гкпа1. Фактически реализация интерфейса 1()1Соппго1 в классе СовЬоВох с применением виртуальных методов, в противоположность не виртуальным, несколько облегчает решение предыдущей задачи, как показано ниже: пз1пд Яузгев; рпЬ11с 1пкеггасе 1ц1Соп го1 ( чо1д Ратпк(); чо1с( ЯЬон(); ) рпЬ11с 1пкеггасе 1ЕдТСВох: 1()1Соппго1 ( чо1д Яе1есетехк(); ) рив11с Гпкеггасе 1огорььзт: 1Ц1Сопкго1 ( чотд Япоиьазк()) ) рип11с с1азз совьоВох: 1ед1сВох, 1огорь1зс ( рпЬ11с чьгкца1 чо1д Раьпк() Сопзо1е.нгтке11пе( "СовЬовох.ра1пт()" ); ) риЬ11с чо1д ЯЬон() ( ) рпваьс чотд Яе1есктехк() ( ) рцЬ11с чо1д Японвьзс() ( ) ) рпп11с с1азз ГапсуСовЬоВох: Соп1ЬоВох ( рпв11с очегтьде чоьд Раьпт() ( Сопзо1е.нгьке11пе( "ГапсусовпоВох.Ра1пк()" ) ) 160 Глава 5 РоЬ11с с1азз ЕпегуРозпс ( зеаг1с чо1с( На1п() ГапсуСовЬоВох сЬ = пен ГапсуСовЬоВох(); сЬ.Раьпг(); ( (1П1Сопсго1 ) сЬ) .
Ра1пг () ! ((1Ес(1твох)сЬ).Ра1пс()1 ) ) В этом случае класс ГапсуСопЬовох не обязан реализовать интерфейс 1()1Сопгго1. Он должен просто переопределить виртуальный метод совЬовох. Ра1пс. Намного яснее для сопйювох сразу объявлять Раалг как чггсоа1. Всякий раз, когда приходится использовать ключевое слово пен для подавления предупреждений компилятора о сокрытии метода, следует рассмотреть возможность объявления метода базового класса как ч1гсиа1.
Внимание! Сокрытие методов вызывает путаницу и затрудняет понимание и отладку кода. Не забывайте: вы не должны делать что-либо только потому, что язык это позволяет. Конечно, разработчику СовЬоВох нужно было бы заранее подумать о том, что ктото пожелает провести наследование от класса Сол|ЬоВох, и предвидеть эти сложности. Существует мнение, что лучше герметизировать класс и избежать любых сюрпризов от тех, кто попытается выполнить от него наследование, когда класс никоим образом не предназначен для этого.
Представьте, какой шум они поднимут, столкнувшись с проблемой. Приходилось ли вам в прошлом работать с библиотекой М!сговой РЬппс1а1(оп С1аэвев (Мг С) и попадать в ситуацию, когда при наследовании от класса МгС очень хотелось видеть какой-то определенный метод виртуальным7 В таких случаях часто начинают обвинять проектировщиков МгС в чудовищной непредусмотрительности, заключающейся в том, что они не сделали метод виртуальным, когда в действительности у них, скорее всего, даже в мыслях не было, что кто-то захочет выполнить наследование от этого класса.
В главе 13 показано, как в подобной ситуации заменить наследование включением. Остерегайтесь побочных аффектов от реализации интерфейсов типами значений Во всех приведенных до сих пор примерах было показано, как классы могут реализовывать методы интерфейсов. На самом деле типы значений также могут реализовывать интерфейсы. Однако при этом возникает один главный побочный эффект.
Приведение типа значений к интерфейсному типу вызывает упаковку. Хуже того, модификация значения через ссылку на интерфейс приводит к модификации упакованной копии, а не оригинала. Учитывая сложности, присущие упаковке. которые рассматриваются в главах 4 и 13, такое поведение может быть сочтено нежелательным. Возьмем для примера Яуэгев.1пг32. Пожалуй. это один из самых базовых типов СЬВ. Однако следует отметить, что он реализует несколько интерфейсов: 1сотрзгаЬ1е, 1ГогтасваЬ1е и 1Сопчегс1Ь1е. Рассмотрим,к примеру, реализацию интерфейса 1сопчехсаь1ев яуэсев.1пс32.
Все методы реализованы явно. интерфейс 1сопчеггЕЬ1е имеет довольно много методов, но ни один из них не входит в общедоступный контракт Вузгев. 1пг32. Чтобы вызвать один из его методов, понадобится сначала привести тип значений 1пг32 к ссылке на интерфейс 1Сопчегг1Ь1е. И, конечно же, поскольку переменные типов интерфейсов являются ссылками, значение 1пг32 должно быть упаковано. Интерфейсы и контракты 161 Отдавайте предпочтение классу сопчехв вместо интерфейса 1СопчехваЬ1е Несмотря на то что в качестве примера используется интерфейс 1СопчегСТЬ1е, реализованный типом значений, в документации не рекомендуется вызывать метод 1соптегс№Ь1е на 1пг32, а вместо этого рекомендуется применять класс Сопчегю Этот класс предоставляет коллекцию методов со многими перегрузками для распространенных типов, которые позволяют преобразовать одно значение почти в любое другое, включая пользовательские типы (с помощью сопчегс.
сьапоетуре), что облегчает изменение кода в будущем. Например, если имеется код.' Тпс 1 = О; г(ооЬ1е г( = 1пг32.ТорооЬ1е(1); и необходимо изменить тип 1 на 1опо, то также понадобится заменить тип 1пс32 на 1псб№. С другой стороны, если написать следующим образом: 1пс 1 = О; г(ооЬ1е г( = Сопчегс.ТооооЬ1е(1); тогда все, что потребуется сделать — это изменить тип 1. Правила сопоставления членов интерфейсов Каждый язык. поддерживающий определения интерфейсов, имеет правила сопоставления реализаций методов с методами интерфейсов.
Сопоставление членов интерфейсов в С№ достаточно прямолинейно и сводится к нескольким простым правилам. Однако чтобы определить, какой именно метод в действительности вызывается во время выполнения, необходимо также учитывать правила СЬК. Эти правила действуют только во время компиляции. Предположим, что есть иерархия классов и интерфейсов. Чтобы найти реализацию Яотенеглос( в 15оте1пгеггасе, начинайте со дна иерархии и ищите первый тип, реализующий нужный интерфейс.
В данном случае этим интерфейсом является 15оме1пгеггзсе. Это уровень, с которого начинается сопоставление метода. Как только тип найден, рекурсивно перемещайтесь вверх по иерархии типов и ищите метод с совпадающей сигнатурой, отдавая предпочтение явным реализациям членов интерфейса. Если ничего не найдено, обратитесь к общедоступным методам экземпляра, соответствующим той же ситнатуре.
Компилятор С№ использует этот алгоритм при сопоставлении реализаций методов с реализациями интерфейсов. Выбранный им метод должен быть общедоступным методом экземпляра или явно реализованным методом экземпляра, причем он может быть (а может и не быть) помечен в С№ модификатором ч1гсоа1. Однако в сгенерированном коде П. все вызовы методов интерфейса осуществляются с помощью (Ь-инструкции са11чьгс, Таким образом, даже если метод не помечен как виртуальный в смысле С№, среда СЬК трактует вызовы интерфейса как виртуальные.
Не путайте эти две концепции. Если метод помечен как виртуальный в С№ и имеет методы, переопределяющне его в типах, лежащих ниже, то компилятор С№ генерирует существенно отличающийся код в точке вызова. Будьте осторожны, поскольку это может вызвать путаницу, как продемонстрировано в следующем надуманном примере: озапд Эуэсеп; рпв11с 1пгеггасе 1Му1пгеггзсе ( чоьб Оо()! риЬ11с с1аэз А: 1Му1пгегтасе ( 162 Глава б роЫгс тога бо() ( Сопяс1е.нг11еьтпе( "А.бо()" )," ) ) риЬ11с с1ая* В: А рпЬ11с с1аяя С: В, 1Му1пьегтасе риЬ11с пен чо1г) бо() Сопяо1е.иг1теьгпе( "С.бо()" риЫхс с1аяя Еппгурстпт яяас1с тога матп() ( В Ь1 = пен В () г С с1 = пен С(); В Ь2 = с1; Ы.бо() г с1.бо(); Ь2.бо(); ( (1) Ь2) .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
