1629295407-c61bfe4caba98380ea3e7cdae6295416 (846200), страница 87
Текст из файла (страница 87)
Например, в следующей программе в класс атрибутаRemarkAttribute добавляется int-свойство с именем priority.// Использование свойства в качестве именованного// параметра атрибута.using System;using System.Reflection;[AttributeUsage(AttributeTargets.All)]public class RemarkAttribute : Attribute {string pri_remark; // Базовое поле для свойства remark.int pri_priority; // Базовое поле для свойства priority.public string supplement; // Это именованный параметр.}public RemarkAttribute(string comment) {pri_remark = comment;supplement = "Данные отсутствуют";}public string remark {get {return pri_remark;}}// Используем свойство в качестве именованного параметра.public int priority {get {return pri_priority;}set {pri_priority = value;}}[RemarkAttribute("Этот класс использует атрибут.",supplement = "Это дополнительная информация.",priority = 10)]class UseAttrib {// ...}class NamedParamDemo {Глава 17.
Динамическая идентификация типов, отражение и атрибуты479public static void Main() {Type t = typeof(UseAttrib);Console.Write("Атрибуты в " + t.Name + ": ");object[] attribs = t.GetCustomAttributes(false);foreach(object o in attribs) {Console.WriteLine(o);}// Считываем атрибут RemarkAttribute.Type tRemAtt = typeof(RemarkAttribute);RemarkAttribute ra = (RemarkAttribute)Attribute.GetCustomAttribute(t, tRemAtt);Console.Write("Remark: ");Console.WriteLine(ra.remark);Console.Write("Supplement: ");Console.WriteLine(ra.supplement);}}Console.WriteLine("Priority: " + ra.priority);Вот результаты выполнения этой программы:Атрибуты в UseAttrib: RemarkAttributeRemark: Этот класс использует атрибут.Supplement: Это дополнительная информация.Priority: 10Обратите внимание на определение атрибута (перед определением классаUseAttrib):[RemarkAttribute("Этот класс использует атрибут.",supplement = "Это дополнительная информация.",priority = 10)]Задание именованных атрибутов supplement и priority не подчиненоопределенному порядку.
Эти два присваивания можно поменять местами, и это никак неотразится на атрибуте в целом.Использование встроенных атрибутовВ C# определено три встроенных атрибута: AttributeUsage, Conditional иObsolete. Рассмотрим их по порядку.Атрибут AttributeUsageКак упоминалось выше, атрибут AttributeUsage определяет типы элементов, ккоторым можно применить атрибут. AttributeUsage — это еще одно имя для классаSystem.AttributeUsageAttribute. В классе AttributeUsage определенследующий конструктор:AttributeUsage(AttributeTargets item)480Часть I. Язык C#Здесь параметр item означает элемент или элементы, к которым может бытьприменен этот атрибут. Тип AttributeTargets — это перечисление, котороеопределяет следующие значения:AllAssemblyClassConstructorDelegateEnumEventFieldInterfaceMethodModuleParameterPropertyReturnValueStructДва или больше из этих значений можно объединить с помощью операции ИЛИ.Например, чтобы определить атрибут, применяемый только к полям и свойствам,используйтеследующийвариантобъединениязначенийперечисленияAttributeTargets:AttributeTargets.Field | AttributeTargets.PropertyКонструктор класса AttributeUsage поддерживает два именованных параметра.Первый — это параметр AllowMultiple, который принимает значение типа bool, Еслионо истинно, этот атрибут можно применить к одному элементу более одного раза.
Второй— параметр Inherited, который также принимает значение типа bool. Если оноистинно, этот атрибут наследуется производными классами. В противном случае — ненаследуется. По умолчанию оба параметра AllowMultiple и Inheritedустанавливаются равными значению false.Атрибут ConditionalАтрибут Conditional, пожалуй, самый интересный из всех встроенных C#-атрибутов.Он позволяет создавать условные методы. Условный метод вызывается только в томслучае, если соответствующий идентификатор определен с помощью директивы #define.В противном случае вызов метода опускается. Таким образом, условный метод предлагаетальтернативу условной компиляции на основе директивы #if.Conditional — еще одно имя для класса System.Diagnostics.Conditional-Attribute.
Чтобы использовать атрибут Conditional, необходимо включить впрограмму объявление пространства имен System.Diagnostics.Как всегда, лучше начать с примера.// Демонстрация использования атрибута Conditional.#define TRIALusing System;using System.Diagnostics;class Test {[Conditional("TRIAL")]void trial() {Console.WriteLine("Пробная версия, не для распространения.");}[Conditional("RELEASE")]void release() {Console.WriteLine("Окончательная версия.");}public static void Main() {Test t = new Test();Глава 17. Динамическая идентификация типов, отражение и атрибуты481}}t.trial();// Вызывается только в случае, если// идентификатор TRIAL определен.t.release();// Вызывается только в случае, если// идентификатор RELEASE определен.Вот результаты выполнения этой программы:Пробная версия, не для распространения.Рассмотрим внимательно код этой программы, чтобы понять, почему получены такиерезультаты.
Прежде всего следует отметить, что в программе определяется идентификаторTRIAL, и обратить ваше внимание на определение методов trial() и release(). Вобоих случаях им предшествует атрибут Conditional, который используется в такомформате:[Conditional "symbol"]Здесь элемент symbol означает идентификатор, который определяет, будет ливыполнен этот метод. Этот атрибут можно использовать только для методов.
Еслисоответствующий идентификатор определен, вызываемый метод выполняется. В противномслучае метод не выполняется.Внутри метода Main() вызывается как метод trial(), так и метод release().Однако в программе определен только идентификатор TRIAL. Поэтому выполняется одинметод trial(). Вызов же метода release() игнорируется. Если определить также иидентификатор RELEASE, выполнится и метод release().
Если при этом удалитьопределение идентификатора TRIAL, метод trial() вызван не будет.На условные методы налагается ряд ограничений. Они должны возвращать voidзначение. Они должны быть членами класса, а не интерфейса. Их определение не можетпредварять ключевое слово override.Атрибут ObsoleteИмя атрибута Obsolete представляет собой сокращение от имени классаSystem.ObsoleteAttribute. Этот атрибут позволяет отметить какой-либо элементпрограммы как устаревший.
Формат его применения таков:[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 static void Main() {482Часть I.
Язык C#// Предупреждение, отображаемое при выполнении// этой инструкции.Console.WriteLine("4 / 3 is " + Test.myMeth(4, 3));}}// Здесь не будет никакого предупреждения.Console.WriteLine("4 / 3 is " + Test.myMeth2(4, 3));Если при компиляции этой программы в методе Main() встретится вызов методаmyMeth(), сгенерируется предупреждение, в котором пользователю будет предложеноиспользовать вместо метода myMeth() метод myMeth2().Второй формат применения атрибута Obsolete выглядит так:[Obsolete("message", error)]Здесь параметр error имеет тип Boolean. Если его значение равно true, то прииспользовании устаревшего элемента программы будет сгенерировано не предупреждение,а сообщение об ошибке.
Нетрудно догадаться, что разница между этими двумя форматамисостоит в том, что программа с ошибкой не может быть скомпилирована в выполняемуюпрограмму.Глава 17. Динамическая идентификация типов, отражение и атрибуты483Полныйсправочник поГлава 18Опасный код, указатели идругие темыТакое название темы обычно вызывает у программистов удивление.
Опасный кодзачастую включает использование указателей. Код, отмеченный как “опасный”, исобственно указатели позволяют использовать средства языка C# для создания приложений,которые обычно ассоциируются с применением C++, т.е. приложений, которые отличаютсявысокой производительностью и претендуют на звание системных.
Более того, включение“опасного кода” и указателей дает C# такие возможности, которых не достает языку Java.В этой главе рассматриваются ключевые слова, которые в предыдущих главах неупотреблялись.Опасный кодC# позволяет программистам писать то, что называется “опасный кодом” (unsafecode). Опасный код — это код, который не плохо написан, а код, который не выполняетсяпод полным управлением системы Common Language Runtime (CLR). Как разъяснялось вглаве 1, язык C# обычно используется для создания управляемого кода. Однако можнонаписать и "неуправляемый" код, который не подчиняется тем же средствам управления иограничениям, налагаемым на управляемый код. Такой код называется "опасным",поскольку невозможно проконтролировать невыполнение им опасных действий. Такимобразом, термин опасный не означает, что коду присуща некорректность.