Читать онлайн «Полное руководство. С# 4.0». Страница 114

Помимо модификаторов доступа public, private и protected, использовавшихся в представленных ранее примерах программ, в C# предусмотрен также модификатор доступа internal. Этот модификатор определяет доступность члена во всехфайлах сборки и его недоступность за пределами сборки. Проще говоря, о члене, обозначенном как internal, известно только в самой программе, но не за ее пределами.Модификатор доступа internal особенно полезен для создания программных компонентов.

Модификатор доступа internal можно применять к классам и их членам, а такжек структурам и членам структур. Кроме того, модификатор internal разрешаетсяиспользовать в объявлениях интерфейсов и перечислений.

Из модификаторов protected и internal можно составить спаренный модификатор доступа protected internal. Уровень доступа protected internal можетбыть задан только для членов класса. Член, объявленный как protected internal,доступен лишь в пределах собственной сборки или для производных типов.

Ниже приведен пример применения модификатора доступа internal.// Использовать модификатор доступа internal.using System;class InternalTest { internal int x;}class InternalDemo { static void Main() { InternalTest ob = new InternalTest(); ob.x = 10; // доступно, потому что находится в том же файле Console.WriteLine("Значение ob.x: " + ob.x); }}

В классе InternalTest поле х объявляется как internal. Это означает, что поле хдоступно в самой программе, но, как показывает код класса InternalDemo, оно недоступно за пределами программы.

ГЛАВА 17. Динамическая идентификация типов, рефлексия и атрибуты

В этой главе рассматриваются три эффективных средства: динамическая идентификация типов, рефлексияи атрибуты. Динамическая идентификация типов представляет собой механизм, позволяющий определить типданных во время выполнения программы. Рефлексия — этосредство для получения сведений о типе данных. Используяэти сведения, можно конструировать и применять объектыво время выполнения. Это довольно эффективное средство,поскольку оно дает возможность расширять функции программы динамически, т.е. в процессе ее выполнения. Атрибут описывает характеристики определенного элементапрограммы на С#. Атрибуты можно, в частности, указатьдля классов, методов и полей. Во время выполнения программы разрешается опрашивать атрибуты для получениясведений о них. Для этой цели в атрибутах используетсядинамическая идентификация типов и рефлексия.Динамическая идентификация типов

Динамическая идентификация типов (RTTI) позволяетопределить тип объекта во время выполнения программы.Она оказывается полезной по целому ряду причин. В частности, по ссылке на базовый класс можно довольно точноопределить тип объекта, доступного по этой ссылке. Динамическая идентификация типов позволяет также проверить заранее, насколько удачным будет исход приведениятипов, предотвращая исключительную ситуацию в связи снеправильным приведением типов. Кроме того, динамическая идентификация типов является главной составляющейрефлексии.

Для поддержки динамической идентификации типов в С# предусмотрены триключевых слова: is, as и typeof. Каждое из этих ключевых слов рассматривается далее по очереди.Проверка типа с помощью оператора is

Конкретный тип объекта можно определить с помощью оператора is. Ниже приведена его общая форма:выражение is тип

где выражение обозначает отдельное выражение, описывающее объект, тип которогопроверяется. Если выражение имеет совместимый или такой же тип, как и проверяемый тип, то результат этой операции получается истинным, в противном случае —ложным. Так, результат будет истинным, если выражение имеет проверяемый типв той или иной форме. В операторе is оба типа определяются как совместимые, еслиони одного и того же типа или если предусмотрено преобразование ссылок, упаковкаили распаковка.

Ниже приведен пример применения оператора is.// Продемонстрировать применение оператора is.using System;class A {}class В : A {}class UseIs { static void Main() { A a = new A(); В b = new В(); if(a is A) Console.WriteLine("а имеет тип A"); if(b is A) Console.WriteLine("b совместим с А, поскольку он производный от А"); if(a is В) Console.WriteLine("Не выводится, поскольку а не производный от В"); if(b is В) Console.WriteLine("В имеет тип В"); if(a is object) Console.WriteLine("а имеет тип object"); }}

Вот к какому результату приводит выполнение этого кода.а имеет тип Аb совместим с А, поскольку он производный от Аb имеет тип Ва имеет тип object

Большая часть выражений is в приведенном выше примере не требует пояснений,но два из них необходимо все же разъяснить. Прежде всего, обратите внимание на следующую строку кода.if(b is A) Console.WriteLine("b совместим с А, поскольку он производный от А");

Условный оператор if выполняется, поскольку b является объектом типа В, производным от типа А. Но обратное несправедливо. Так, если в строке кодаif(a is В) Console.WriteLine("Не выводится, поскольку а не производный от В");

условный оператор if не выполняется, поскольку а является объектом типа А, не производного от типа В. Поэтому а не относится к типу В.Применение оператора as

Иногда преобразование типов требуется произвести во время выполнения, но негенерировать исключение, если исход этого преобразования окажется неудачным, чтовполне возможно при приведении типов. Для этой цели служит оператор as, имеющий следующую общую форму:выражение as тип

где выражение обозначает отдельное выражение, преобразуемое в указанный тип.Если исход такого преобразования оказывается удачным, то возвращается ссылка натип, а иначе — пустая ссылка. Оператор as может использоваться только для преобразования ссылок, идентичности, упаковки, распаковки.

В некоторых случаях оператор as может служить удобной альтернативой оператору is. В качестве примера рассмотрим следующую программу, в которой оператор isиспользуется для предотвращения неправильного приведения типов.// Использовать оператор is для предотвращения неправильного приведения типов.using System;class А {}class В : А {}class CheckCast { static void Main() { A a = new A(); В b = new В(); // Проверить, можно ли привести а к типу В. if(a is В) // если да, то выполнить приведение типов b = (В) а; else // если нет, то пропустить приведение типов b = null; if(b==null) Console.WriteLine("Приведение типов b = (В) HE допустимо."); else Console.WriteLine("Приведение типов b = (В) допустимо."); }}

Эта программа дает следующий результат.Приведение типов b = (В) НЕ допустимо.

Как следует из результата выполнения приведенной выше программы, тип объектаа не совместим с типом В, и поэтому его приведение к типу В не допустимо и предотвращается в условном операторе if. Но такую проверку приходится выполнять в дваэтапа. Сначала требуется убедиться в обоснованности операции приведения типов,а затем выполнить ее. Оба этапа могут быть объединены в один с помощью оператораas, как демонстрирует приведенная ниже программа.// Продемонстрировать применение оператора as.using System;class A {}class В : A {}class CheckCast { static void Main() { A a = new A(); В b = new В(); b = a as В; // выполнить приведение типов, если это возможно if(b==null) Console.WriteLine("Приведение типов b = (В) НЕ допустимо."); else Console.WriteLine("Приведение типов b = (В) допустимо."); }}

Эта программа дает прежний результат.Приведение типов b = (В) НЕ допустимо.

В данном варианте программы в одном и том же операторе as сначала проверяетсяобоснованность операции приведения типов, а затем выполняется сама операция приведения типов, если она допустима.Применение оператора typeof

Несмотря на всю свою полезность, операторы as и is проверяют лишь совместимость двух типов. Но зачастую требуется информация о самом типе. Для этой цели вС# предусмотрен оператор typeof. Он извлекает объект класса System.Туре для заданного типа. С помощью этого объекта можно определить характеристики конкретного типа данных. Ниже приведена общая форма оператора typeof:typeof(тип)