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

Помимо модификаторов доступа 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, оно недоступно за пределами программы.

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

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

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

Конкретный тип объекта можно определить с помощью оператора 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 А)

Console.WriteLine("b совместим с А, поскольку он производный от А");

Условный оператор ifвыполняется, поскольку b является объектом типа В, производным от типа А. Но обратное несправедливо. Так, если в строке кода

if(a is В)

Console.WriteLine("Не выводится, поскольку а не производный от В");

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

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

выражение as тип

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