4

有两个这样的属性：

[AttributeUsage(AttributeTargets.Parameter, Inherited = false, AllowMultiple = true)]
sealed class Test1Attribute : Attribute
{ }

[AttributeUsage(AttributeTargets.Parameter, Inherited = false, AllowMultiple = true)]
sealed class Test2Attribute : Attribute
{ }

它们很简单，什么都不做。

还有一个用这两个属性装饰的方法：

public void Hello([Test1]string arg, [Test2] string arg2) { }

现在如果我编译代码并用 IL Dasm 反编译它，我会看到方法“Hello”的 IL 代码是这样的：

.method public hidebysig instance void Hello(int32 arg, int32 arg2) cil managed
{
    .param [1]
    .custom instance void ConsoleApplication1.Test1Attribute::.ctor()
    .param [2]
    .custom instance void ConsoleApplication1.Test2Attribute::.ctor()
    .maxstack 8
    L_0000: nop 
    L_0001: ret 
}

我们可以看到 Test1Attribute 和 Test2Attribute 都在 IL 代码中。它的元数据是这样的：

MethodName: Hello (06000005)
    Flags     : [Public] [HideBySig] [ReuseSlot]  (00000086)
    RVA       : 0x0000206b
    ImplFlags : [IL] [Managed]  (00000000)
    CallCnvntn: [DEFAULT]
    hasThis 
    ReturnType: Void
    2 Arguments
        Argument #1:  String
        Argument #2:  String
    2 Parameters
        (1) ParamToken : (08000002) Name : arg flags: [none] (00000000)
        CustomAttribute #1 (0c000010)
        -------------------------------------------------------
            CustomAttribute Type: 06000001
            CustomAttributeName: ConsoleApplication1.Test1Attribute :: instance void .ctor()
            Length: 4
            Value : 01 00 00 00                                      >                <
            ctor args: ()

        (2) ParamToken : (08000003) Name : arg2 flags: [none] (00000000)
        CustomAttribute #1 (0c000012)
        -------------------------------------------------------
            CustomAttribute Type: 06000002
            CustomAttributeName: ConsoleApplication1.Test2Attribute :: instance void .ctor()
            Length: 4
            Value : 01 00 00 00                                      >                <
            ctor args: ()

同样，这两个属性也都存在于元数据中。

所以我很好奇：

  1. 为什么它们同时出现在 IL 和 Metadata 中？

  2. 做什么

    .param [1] .custom 实例 void ConsoleApplication1.Test1Attribute::.ctor() .param [2] .custom 实例 void ConsoleApplication1.Test2Attribute::.ctor()

意思是？它看起来不像指令。那么它们是什么？他们在做什么？

谢谢

4

2 回答 2

4

属性只是一个类，请注意您使用class关键字来声明一个。每个类都有一个构造函数，即使你自己不写一个。构造方法的名称是 .ctor()。显然，对于任何方法，您都可以获得方法主体中代码的 IL。

方法的参数有自己的元数据。此处用于描述应用什么属性。.param 指令给出参数编号，.custom 指令给出相关属性。这是 IL 语法中的注释，它实际上并不存在于方法 IL 中。

元数据结构复杂，包含数十个表，反汇编程序对其进行重写以使其更全面。 如果您想了解它的真实外观，Ecma 335拥有您需要的一切。

于 2011-04-02T12:24:05.543 回答
4

自定义属性是可以附加到几乎任何元数据的数据片段。如果您想要完整的详细信息 - 获取ECMS 335 规范 第 231 页有基础知识。第 242 页包含有关 CustomAttribute 元数据表的信息，用于存储属性数据的序列化格式位于第 295 页（所有页码都在实际的 pdf 文件页面中）。

回答您的问题：

  1. 两方：A. 您正在查看上述元数据的 2 个视图（1.带有方法（和参数）元数据的 IL 和 2.详细的元数据视图 - 减去 IL）b。ILDasm 向您展示了需要执行的方法部分。您可能认为奇怪的是方法签名不包括属性 - 这是因为方法签名只是参数类型。附加到参数的任何属性都只是附加到参数而不是签名...所以 ILDasm 也会向您显示这些属性 - 但在签名下方。

  2. 这些是存储和附加到参数的属性的反序列化和连接的元数据。在您的情况下，它只是对默认构造函数的调用，但在更复杂的情况下，您将调用也存储在序列化位中的构造函数和数据参数。

于 2011-04-02T12:45:12.830 回答