Полное руководство. С# 4.0

Шилдт Герберт

Сборка является неотъемлемой частью программирования на С#. Она представляет собой один или несколько файлов, содержащих все необходимые сведения о развер тывании программы и ее версии. Сборки составляют основу среды .NET. Они предо ставляют механизмы для надежного взаимодействия компонентов, межъязыковой воз можности взаимодействия и управления версиями. Кроме того, сборки определяют область действия программного кода.

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

Второй раздел сборки содержит метаданные типов, т.е. сведения о типах данных, используемых в программе. Среди прочих преимуществ метаданные типов способствуют межъязы ковой возможности взаимодействия. Третий раздел сборки содержит программный код в формате MSIL (Microsoft Intermediate Language — промежуточный язык корпо рации Microsoft). И четвертый раздел сборки содержит ресурсы, используемые про граммой.

Правда, при программировании на C# сборки получаются автоматически, требуя от программирующего лишь минимальных усилий. Дело в том, что исполняемый файл, создаваемый во время компиляции программы на С#, на самом деле представ ляет собой сборку, содержащую исполняемый код этой программы, а также другие виды информации. Таким образом, когда компилируется программа на С#, сборка получается автоматически.

У сборок имеется много других особенностей, и с ними связано немало актуальных вопросов программирования, но, к сожалению, их обсуждение выходит за рамки этой книги. Ведь сборки являются неотъемлемой частью процесса разработки программ ного обеспечения в среде .NET, но формально они не относятся к средствам языка С#. Тем не менее в C# имеется одно средство, непосредственно связанное со сборкой. Это модификатор доступа internal, рассматриваемый в следующем разделе. Модификатор доступа internal

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