Г. Шилдт - Полный справочник по C# (1160789), страница 89
Текст из файла (страница 89)
Второй — параметр I n h e r i t e d , который также принимает значение типа bool.Если оно истинно, этот атрибут наследуется производными классами. В противномслучае — не наследуется. По умолчанию оба параметра AllowMultiple и I n h e r i t e dустанавливаются равными значению f a l s e .Атрибут ConditionalАтрибут Conditional, пожалуй, самый интересный из всех встроенных С#атрибутов. Он позволяет создавать условные методы. Условный метод вызываетсятолько в том случае, если соответствующий идентификатор определен с помощью директивы #def ine.
В противном случае вызов метода опускается. Таким образом, условный метод предлагает альтернативу условной компиляции на основе директивы #if.C o n d i t i o n a l — еще одно имя для класса System. Diagnostics . C o n d i t i o n a l A t t r i b u t e . Чтобы использовать атрибут Conditional, необходимо включить в программу объявление пространства имен System. Diagnostics.Как всегда, лучше начать с примера.// Демонстрация использования атрибута Conditional.#define TRIALusing System;using System.Diagnostics;class Test {[Conditional("TRIAL") ]void t r i a l ( ) {Console.WriteLine("Пробная версия, не для распространения.");}[Conditional("RELEASE")]void release() {Console.WriteLine("Окончательная версия.");}p u b l i c s t a t i c void Main() {Test t = new T e s t ( ) ;Глава 17.
Динамическая идентификация типов, отражение и атрибуты481t . t r i a l ( ) ; // Вызывается только в случае, если// идентификатор TRIAL определен,t . r e l e a s e ( ) ; // Вызывается только в случае, если// идентификатор RELEASE определен.Вот результаты выполнения этой программы:1 Пробная версия, не для распространения.Рассмотрим внимательно код этой программы, чтобы понять, почему получены такие результаты. Прежде всего следует отметить, что в программе определяется идентификатор TRIAL, и обратить ваше внимание на определение методов t r i a l () иr e l e a s e О .
В обоих случаях им предшествует атрибут C o n d i t i o n a l , который используется в таком формате:[Conditional"symbol"]Здесь элемент symbol означает идентификатор, который определяет, будет ли выполнен этот метод. Этот атрибут можно использовать только для методов. Если соответствующий идентификатор определен, вызываемый метод выполняется. В противном случае метод не выполняется.Внутри метода MainO вызывается как метод t r i a l (), так и метод r e l e a s e ().Однако в профамме определен только идентификатор TRIAL. Поэтому выполняетсяодин метод t r i a l (). Вызов же метода r e l e a s e () игнорируется.
Если определитьтакже и идентификатор RELEASE, выполнится и метод r e l e a s e (). Если при этомудалить определение идентификатора TRIAL, метод t r i a l () вызван не будет.На условные методы налагается ряд ограничений. Они должны возвращать voidзначение. Они должны быть членами класса, а не интерфейса.
Их определение неможет предварять ключевое слово o v e r r i d e .Атрибут ObsoleteИмяатрибута Obsolete представляет собой сокращение от имени классаSystem. O b s o l e t e A t t r i b u t e . Этот атрибут позволяет отметить какой-либо элементпрограммы как устаревший. Формат его применения таков:[Obsolete("message")]Здесь параметр message содержит сообщение, которое будет отображено в случаекомпиляции соответствующего элемента программы.
Рассмотрим короткий пример.// Демонстрация использования атрибута Obsolete.using System;class Test {[Obsolete("Лучше использовать метод myMeth2.")]static int myMeth(int a, int b) {return a / b;}// Улучшенная версия метода myMeth().static int myMeth2(int a, int b) {return b == 0 ? 0 : a /b;}public s t a t i c void MainO {482Часть I. Язык С#// Предупреждение, отображаемое при выполнении// этой инструкции.Console.WriteLine("4 / 3 i s " + Test.myMeth(4, 3 ) ) ;// Здесь не будет н и к а к о г о предупреждения.Console.WriteLine("4 / 3 i s " + Test.myMeth2(4, 3 ) ) ;Если при компиляции этой программы в методе Main () встретится вызов методаmyMeth (), сгенерируется предупреждение, в котором пользователю будет предложеноиспользовать вместо метода myMeth () метод inyMeth2 ().Второй формат применения атрибута Obsolete выглядит так:[Obsolete{"message", error)]Здесь параметр error имеет тип Boolean.
Если его значение равно t r u e , то прииспользовании устаревшего элемента программы будет сгенерировано не предупреждение, а сообщение об ошибке. Нетрудно догадаться, что разница между этими двумяформатами состоит в том, что программа с ошибкой не может быть скомпилирована ввыполняемую программу.Глава 17.
Динамическая идентификация типов, отражение и атрибуты483Полныйсправочник поОпасный код, указателии другие темыТакое название темы обычно вызывает у программистов удивление. Опасный кодзачастую включает использование указателей. Код, отмеченный как "опасный",и собственно указатели позволяют использовать средства языка С# для создания приложений, которые обычно ассоциируются с применением C++, т.е. приложений, которые отличаются высокой производительностью и претендуют на звание системных.Более того, включение "опасного кода" и указателей дает С# такие возможности, которых не достает языку Java.В этой главе рассматриваются ключевые слова, которые в предыдущих главах неупотреблялись.кл Опасный кодС# позволяет программистам писать то, что называется "опасный кодом" (unsafecode). Опасный код — это код, который не плохо написан, а код, который не выполняется под полным управлением системы Common Language Runtime (CLR).
Какразъяснялось в главе 1, язык С# обычно используется для создания управляемого кода. Однако можно написать и "неуправляемый" код, который не подчиняется тем жесредствам управления и ограничениям, налагаемым на управляемый код. Такой кодназывается "опасным", поскольку невозможно проконтролировать невыполнение имопасных действий. Таким образом, термин опасный не означает, что коду присуща некорректность. Он просто означает возможность выполнения действий, которые не являются предметом управления системы CLR.Если опасный код способен вызвать проблемы, то зачем, спрашивается, вообщесоздавать такой код? Дело в том, что управляемый код не допускает использованиеуказателей. Если вы знакомы с языками С или C++, то вам должно быть известно,что указатели — это переменные, которые хранят адреса других объектов.
Следовательно, указатели в некотором роде подобны ссылкам в С#. Основное различие междуними заключается в том, что указатель может указывать на что угодно в памяти, ассылка всегда указывает на объект "своего" типа. Но если указатель может указыватьна что угодно, возможно неправильное его использование. Кроме того, работая с указателями, можно легко внести в код ошибку, которую будет трудно отыскать. Вот почему С# не поддерживает указатели при создании управляемого кода. Теме не менееуказатели существуют, причем для некоторых типов программ (например, системныхутилит) они не просто полезны, они — необходимы, и С# позволяет (что поделаешь)программистам создавать их и использовать.
Однако все операции с указателямидолжны быть отмечены как "опасные", поскольку они выполняются вне управляемого контекста.Объявление и использование указателей в С# происходит аналогично тому, какэто делается в C/C++ (если вы знаете, как использовать указатели в C/C++, можететак же работать с ними и в С#). Но помните: особенность С# — создание управляемого кода. Его способность поддерживать неуправляемый код позволяет применятьСопрограммы к задачам специальной категории. Но такое С#-программированиеуже не попадает под определение стандартного.
И в самом деле, чтобы скомпилировать неуправляемый код, необходимо использовать опцию компилятора /unsafe.Поскольку указатели составляют сердцевину опасного кода, пожалуй, стоит познакомиться с ними поближе.Глава 18. Опасный код, указатели и другие темы485Основы использования указателейУказатели — это переменные, которые хранят адреса других переменных. Например, если х содержит адрес переменной у, то о переменной х говорят, что она"указывает" на у. Поскольку указатель указывает на некоторую переменную, значение этой переменной можно получить или изменить посредством указателя.
Операции, выполняемые с помощью указателей, часто называют операциями непрямого доступа.Объявление указателяПеременные-указатели (или переменные типа указатель) должны быть объявленытаковыми. Формат объявления переменной-указателя таков:ТИП* имя_переменной;Здесь элемент ТИП означает базовый тип указателя, причем он не должен бытьссылочным.