深入浅出Attribute（中）—

小序：@H_502_5@

@H_502_5@

@H_502_5@上篇里，我们把Attribute@H_502_5@“粘”在类的成员方法上show@H_502_5@了一把，让Attribute@H_502_5@跟大家混了个脸儿熟。中篇里，我们将探讨“究竟什么是Attribute@H_502_5@”和“如何创建及使用Attribute@H_502_5@”这两个问题。@H_502_5@

@H_502_5@准备好了吗？@H_502_5@Let’s go!@H_502_5@@H_502_5@

@H_502_5@

正文：@H_502_5@

@H_502_5@

@H_502_5@从上篇里我们可以看到，Attribute@H_502_5@似乎总跟public@H_502_5@、static@H_502_5@这些关键字（Keyword@H_502_5@）出现在一起。莫非使用了Attribute@H_502_5@就相当于定义了新的修饰符（Modifier@H_502_5@）吗？让我们来一窥究竟！@H_502_5@

@H_502_5@先把下面这个例子编译出来：@H_502_5@

@H_502_5@

#define@H_502_5@ OK

using System;
using System.Diagnostics;

namespace Sample
{
class @H_502_5@Program
{
[Conditional("OK")]
public static void TargetMethod()
{
Console.ForegroundColor = ConsoleColor.Green;
Console.WriteLine("/t=<@H_502_5@@H_502_5@水之真谛>=/nhttp://blog.csdn.net/FantasiaX/n/n"@H_502_5@@H_502_5@);
}
static void Main(string[] args)
{
TargetMethod();
}
}
}@H_502_5@

@H_502_5@毋庸置疑，它的运行结果会是这样：@H_502_5@

@H_502_5@

@H_502_331@ @H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@

@H_502_5@接下来，让我们把编译出的结果（.EXE@H_502_5@文件）用“微软中间语言反编译器”打开，查看存储在程序集（Assembly@H_502_5@，这在个例子中就是这个.EXE@H_502_5@文件）中的中间语言代码（中间语言也就是我们常说的通用语言）。@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@如果你认为反汇编是件很神秘的事情，那你可就错了！比起x86@H_502_5@汇编语言来，对.NET@H_502_5@程序集的反汇编要简单得多——甚至可以说是与C#@H_502_5@语言一一对应：@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@严格地来说，用来形成上图中树状结构的代码并不是程序集中的中间语言，而主要是元数据（Metadata@H_502_5@）的功劳。包含在程序集中的元数据记录了这个程序集里有多少个namespace@H_502_5@、多少个类、类里有什么成员、成员的访问级别是什么……而且，元数据是以文本（也就是Unicode@H_502_5@字符）形式存在的，使用.NET@H_502_5@的反射（Reflection@H_502_5@）技术，很容易就能把它们读取出来并形成各种各样的漂亮视图——上面的树状图、VS@H_502_5@里的Object Browser@H_502_5@视图和自动代码提示功能，都是元数据与反射技术结合的产物。一个程序集（.EXE@H_502_5@或.DLL@H_502_5@）能够使用包含在自己体内的元数据来完整地说明自己，而不必像C/C++@H_502_5@那样带着一大捆头文件，这就叫作“自包含性@H_502_5@”或“自描述性@H_502_5@”。@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@扯的有点儿远了——让我们回到正题，双击反编译器中的TargetMethod:void()@H_502_5@。这回弹出窗口里显示的内容是真正的微软中间语言代码了。这些代码也都是文本形式的，需要经过.NET@H_502_5@的“虚拟机”再编译后才能被cpu@H_502_5@所执行。顺便说一句：VB.NET@H_502_5@代码也会编译成这样的中间代码，所以，.NET@H_502_5@平台上所有语言的编译结果都是通用的。换句话说，你用C#@H_502_5@编写了一个组件，把它编译成一个DLL@H_502_5@文件并交给VB.NET@H_502_5@程序员，VB.NET@H_502_5@程序员可以直接使用，丝毫不必有任何担心J@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@今天我们不打算研究中间语言的编译和执行，主要是打算通过中间语言对一些被C#@H_502_5@语言所掩盖的事实一窥究竟。@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@仔细观察中间代码之后，Attribute@H_502_5@变得了无秘密！图中蓝色箭头所指处是两个“真正的”修饰符——Attribute@H_502_5@并没有出现在这里。而在红色箭头所标识的位置，我们可以清楚地看出——这分明是在调用mscorlib.dll@H_502_5@程序集System.Diagnostics@H_502_5@名称空间中ConditionalAttribute@H_502_5@类的构造函数。可见，Attribute@H_502_5@并不是修饰符，而是一个有着独特实例化形式的类！@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

Attribute@H_502_5@实例化有什么独特之处呢？还是让我们再次观察中间语言代码——它有两个独特之处。@H_502_5@

1.@H_502_5@ 它的实例是使用.custom@H_502_5@声明的。查看中间语言语法，你会发现.custom@H_502_5@是专门用来声明自定义特性的。@H_502_5@

2.@H_502_5@ 声明的位置是在函数真正的代码（IL_0000:@H_502_5@至IL_0014@H_502_5@）之前。@H_502_5@

@H_502_5@

God,@H_502_5@我怀疑是不是讲的太深了。没关系，上面关于中间语言的东西你都可以不care@H_502_5@，只需要记住一个结论就可以了——我们已经从“底层”证明了Attribute@H_502_5@不是什么“修饰符”，而是一种实例化方式比较特殊的类。@H_502_5@

@H_502_5@

Attribute@H_502_5@的实例化@H_502_5@

@H_502_5@

@H_502_5@就像牡蛎天生就要吸附在礁石或船底上一样，Attribute@H_502_5@的实例一构造出来就必需“粘”在一个什么目标上。@H_502_5@

@H_502_5@

Attribute@H_502_5@实例话的语法是相当怪异的，主要体现在以下三点上@H_502_5@：@H_502_5@

1.@H_502_5@ 不使用new@H_502_5@操作符来产生实例，而是使用在方括号里调用构造函数的来产生实例。@H_502_5@

2.@H_502_5@ 方括号必需紧挨着放置在被附着目标的前面。@H_502_5@

3.@H_502_5@ 因为方括号里空间有限，不能像使用new@H_502_5@那样先构造对象后再对对象的属性（Property@H_502_5@）一一赋值。因此，对Attribute@H_502_5@实例的属性的赋值也都挤在了构造函数的圆括号里L@H_502_5@

说实话，写代码的时候对于第1@H_502_5@、第2@H_502_5@两条适应起来还算容易，第3@H_502_5@条写出来怎么看怎么别扭……而且尤其要记着的是：@H_502_5@

1.@H_502_5@ 构造函数的参数是一定要写的——有几个就得写几个——因为你不写的话实例就无法构造出来。@H_502_5@

2.@H_502_5@ 构造函数参数的顺序不能错，这个很容易理解——调用任何一个函数你都不能改变参数的顺序——除非它有相应的重载（Overload@H_502_5@）。因为这个顺序的固定的，所以有些书里管这些参数称为“定位参数”，意即“个数和位置固定的参数”。@H_502_5@

3.@H_502_5@ 对Attribute@H_502_5@实例的属性的赋值可有可无——反正它会有一个默认值。而且，先对哪个属性赋值、后对哪个属性赋值不受限制。有些书管这些为属性赋值的参数叫“具名参数”——令人匪夷所思。@H_502_5@

OK@H_502_5@，百闻不如一见，还是让我们自己写一个Attribute@H_502_5@类来体验一下吧！@H_502_5@

@H_502_5@

自己动手写Attribute@H_502_5@@H_502_5@

@H_502_5@

@H_502_5@这回我们抛弃.NET Framework@H_502_5@给我们准备好的各种Attribute@H_502_5@，从头写一个全新的Attribute@H_502_5@——Oyster@H_502_5@。@H_502_5@

@H_502_5@下面我给出一个完整的小例子：@H_502_5@

@H_502_5@

//======@H_502_5@水之真谛@H_502_5@=======//
// @H_502_5@上善若水,@H_502_5@润物无声@H_502_5@ @H_502_5@//
/* http://blog.csdn.net/FantasiaX */

@H_502_5@@H_502_5@using@H_502_5@ System;
namespace OysterAttributeSample
{
class Oyster: System.Attribute // @H_502_5@必需以System.Attribute@H_502_5@类为基类@H_502_5@
{
// Kind@H_502_5@属性，默认值为@H_502_5@null
@H_502_5@ private string kind;
public string Kind
{
get { return kind; }
set { kind = value; }
}

// Age@H_502_5@属性，默认值为@H_502_5@
private uint age;
public uint Age
{
get { return age; }
set { age = value; }
}

// @H_502_5@值为null@H_502_5@的string@H_502_5@是危险的，所以必需在构造函数中赋值@H_502_5@
public Oyster(string arg) // @H_502_5@定位参数@H_502_5@
{
this.Kind = arg;
}
}

[Oyster("Thorny ",Age=3)] // 3@H_502_5@年的多刺牡蛎附着在轮船（这是一个类）上。注意：对属性的赋值是在圆括号里完成的！@H_502_5@
class @H_502_5@@H_502_5@Ship
{
[Oyster("Saddle")] // 0@H_502_5@@H_502_5@年的鞍形牡蛎附着在船舵（这是一个数据成员）上，Age@H_502_5@使用的是默认值，构造函数的参数必需完整@H_502_5@
public string Rudder;
}

class @H_502_5@@H_502_5@Program
{
static void Main(string[] args)
{
// ... @H_502_5@@H_502_5@使用反射来读取@H_502_5@Attribute
@H_502_5@ }
}
}@H_502_5@@H_502_5@
@H_502_5@

@H_502_5@为了不把代码拖的太长，上面这个例子中Oyster@H_502_5@类的构造函数只有一个参数，所以对“定位参数”体现的还不够淋漓尽致。大家可以再为Oyster@H_502_5@类添加几个属性，并在构造函数里多设置几个参数，体验一下Attribute@H_502_5@实例化时对参数个数及参数位置的敏感性。@H_502_5@

@H_502_5@

能被Attribute所@H_502_5@附着的目标@H_502_5@

@H_502_5@

让我们思考这样一个问题：牡蛎可以附着在船底、礁石上、桥墩上……甚至是别的牡蛎身上，那么Attribute@H_502_5@呢？都可以将自己的实例附着在什么目标上呢？@H_502_5@

这个问题的答案隐藏在AttributeTargets@H_502_5@这个枚举类型里——这个类型的可取值集合为：@H_502_5@

@H_502_5@

=============================================================================@H_502_5@

All Assembly Class Constructor@H_502_5@

Delegate Enum Event Field@H_502_5@

GenericParameter Interface Method Module@H_502_5@

Parameter Property ReturnValue Struct@H_502_5@

=============================================================================@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@一共是16@H_502_5@个可取值。@H_502_5@

@H_502_5@不过，上面这张表是按字母顺序排列的，并不代表它们真实值的排列顺序。使用下面这个小程序可以查看每个枚举值对应的整数值。@H_502_5@

@H_502_5@

// =<@H_502_5@水之真谛@H_502_5@>=
// http://blog.csdn.net/FantasiaX
using@H_502_5@@H_502_5@ System;
namespace AttributeTargetValue
{
class @H_502_5@Program
{
static void Main(string[] args)
{
Console.WriteLine("Assembly/t/t/t{0}",Convert.ToInt32(AttributeTargets.Assembly));
Console.WriteLine("Module/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.Module));
Console.WriteLine("Class/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.Class));
Console.WriteLine("Struct/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.Struct));
Console.WriteLine("Enum/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.Enum));
Console.WriteLine("Constructor/t/t/t{0}",Convert.ToInt32(AttributeTargets.Constructor));
Console.WriteLine("Method/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.Method));
Console.WriteLine("Property/t/t/t{0}",Convert.ToInt32(AttributeTargets.Property));
Console.WriteLine("Field/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.Field));
Console.WriteLine("Event/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.Event));
Console.WriteLine("Interface/t/t/t{0}",Convert.ToInt32(AttributeTargets.Interface));
Console.WriteLine("Parameter/t/t/t{0}",Convert.ToInt32(AttributeTargets.Parameter));
Console.WriteLine("Delegate/t/t/t{0}",Convert.ToInt32(AttributeTargets.Delegate));
Console.WriteLine("ReturnValue/t/t/t{0}",Convert.ToInt32(AttributeTargets.ReturnValue));
Console.WriteLine("GenericParameter/t/t{0}",Convert.ToInt32(AttributeTargets.GenericParameter));
Console.WriteLine("All/t/t/t/t{0}",Convert.ToInt32(AttributeTargets.All));
Console.WriteLine("/n");
}
}
}
@H_502_5@@H_502_5@

@H_502_5@@H_502_5@程序的运行结果是：@H_502_5@

@H_502_5@

@H_502_5@可能出乎你的预料——它们的值并不是步长值为1@H_502_5@的线性递增。你观察出什么规律来了吗？提醒你一下：从二进制的角度来考虑喔！！@H_502_5@

@H_502_5@

@H_502_5@我想你一定发现了规律——除了All@H_502_5@的值之外，每个值的二进制形式中只有一位是“1@H_502_5@”，其余位全是“0@H_502_5@”。这就是枚举值的另一种用法——标识位。那么，标识位有什么好处呢？@H_502_5@@H_502_5@

@H_502_5@

考虑这样一种情况：我们的Attribute@H_502_5@要求既能附着在类上，又能附着在类的方法上，应该怎么做呢？@H_502_5@

@H_502_5@

我们知道，C#@H_502_5@中有一个操作符“|@H_502_5@”（也就是按位求“或”）。有了它，我们只需要书写@H_502_5@

@H_502_5@

AttributeTargets.Class | AttributeTargets.Method @H_502_5@@H_502_5@

@H_502_5@

就可以了。因为这两个枚举值的标识位（也就是那个唯一的“1@H_502_5@”）是错开的，所以只需要按位求或就解决问题了。我想，聪明的你一定立刻就能解释为什么AttributeTargets.All@H_502_5@的值是32767@H_502_5@了吧:p@H_502_5@@H_502_5@

@H_502_5@

OK@H_502_5@，了解了这些之后，我们应该怎样控制一个Attribute@H_502_5@的附着目标呢？@H_502_5@

@H_502_5@默认情况下，当我们声明并定义一个新Attribute@H_502_5@类时，它的可附着目标是AttributeTargets.All@H_502_5@。大多数情况下AttributeTargets.All@H_502_5@就已经满足需求了，不过，如果你非要对它有所限制，那就要费点儿周折了。@H_502_5@

@H_502_5@

还拿我们上面创建的OysterAttribute@H_502_5@举例——如果你想把它的附着目标限制为只有“类”和“值域”，你就应该这样书写：@H_502_5@

@H_502_5@

[AttributeUsage(AttributeTargets.Class|AttributeTargets.Field)]
class Oyster : System.Attribute
{
// OysterAttribute@H_502_5@类的具体实现@H_502_5@
}@H_502_5@@H_502_5@

@H_502_5@没想到吧！原来是用Attribute@H_502_5@（的实例）附着在Attribute@H_502_5@（类）上！本来吗，Attribute@H_502_5@的本质就是类，而AttributeTargets.Class @H_502_5@又说明Attribute@H_502_5@可以附着在类上，所以，使用Attribute@H_502_5@来“修饰”Attribute@H_502_5@也就顺理成章了J@H_502_5@

@H_502_5@

@H_502_5@@H_502_5@

@H_502_5@最后，细心的读者可能会问这样两个问题：@H_502_5@

1.@H_502_5@ 如果一个Attribute@H_502_5@附着在了某个类上，那么这个Attribute@H_502_5@会为会随着继承关系也附着在派生类上呢？@H_502_5@

2.@H_502_5@ 可不可以像多个牡蛎附着在同一艘船上那样，让一个Attribute@H_502_5@的多个实例附着在同一个目标上呢？@H_502_5@

Very good! @H_502_5@这真是两个好问题！请看下面的代码：@H_502_5@

@H_502_5@

[AttributeUsage(AttributeTargets.Class | AttributeTargets.Field,Inherited = false,AllowMultiple = true)]
class Oyster : System.Attribute
{
// OysterAttribute@H_502_5@类的具体实现@H_502_5@
}@H_502_5@@H_502_5@

@H_502_5@原来，AttributeUsage@H_502_5@这个用来专门修饰Attribute@H_502_5@的Attribute@H_502_5@除了可以控制修饰目标外，还能决定被它修饰的Attribute@H_502_5@是否能够随宿主“遗传”以及是否可以使用多个实例来修饰同一个目标！@H_502_5@

@H_502_5@

OK@H_502_5@，大家猜一猜，修饰ConditionalAttribute@H_502_5@的AttributeUsage@H_502_5@会是什么样子呢？（提示：答案在MSDN@H_502_5@里。）@H_502_5@

深入浅出Attribute（中）——Attribute本质论

猜你在找的VB相关文章