浅谈Dynamic 关键字

C# 4.0提供了一个dynamic 关键字,那么什么是dynamic,究竟dynamic是如何工作的呢?

从最简单的示例开始:

static void Main(string[] args)
        {
            dynamic dyn = 1;
            object obj = 1;

            //在编译时将鼠标放到 ”dyn”  和”obj”中可以发现:
             // dyn:局部变量 dynamic (dyn)
            // obj: 局部变量object (obj)
            System.Console.WriteLine(dyn.GetType());
            System.Console.WriteLine(obj.GetType());
        }
 

运行这段代码将显示 dyn 和obj 的运行时类型:

System.Int32
System.Int32
 

在WriteLine方法后面增加两行:

dyn = dyn + 3;

obj = obj + 3;

编译:

image

可以看到对于表达式 obj +3 ,编译器器报告了错误,但是不会报 dyn+3 编译。

编译器不会检查包含dyn的表达式,原因在于 dyn 是 dynamic。

类型转换

修改Main代码如下:

dynamic dyn = (dynamic)1;

int j = (int)dyn;

可以看到1被强制转换成dynamic,然后又被强制转换回int.

然而dynamic可以隐式的转换成任何类型,并且也可以从其他类型中转换回来,

所以上面的代码和下面的等价:

dynamic dyn = 1;

int j = dyn;

修改Main代码增加如下代码:

//下面这句话会无法通过编译,typeof 运算符无法用在动态类型上
//Console.WriteLine(typeof(dynamic)); 
Console.WriteLine(typeof(List<dynamic>));
如果你是typeof(dynamic)会报typeof运算符无法用在动态类型上的错误,
但是如果你写的是List<dynamic> 那么输出结果如下:
image 

可以看到输出时System.Object

新建类Product:

class Product
{
    public string name;
    public int Id { get; set; }

    public void ShowProduct()
    {
        Console.WriteLine("Id={0} ,Name={1}", Id, name);
    }
}

Main方法代码如下:

static void Main(string[] args)
{
    //dynamic对象
    dynamic dynProduct = new Product();

    //设置name字段
    dynProduct.name = "n1";
    
    //设置Id属性
    dynProduct.Id = 1;
    dynProduct.Id = dynProduct.Id + 3;
    
    //调用ShowProduct方法
    dynProduct.ShowProduct();

    Console.ReadLine();
}

输出如下:

clip_image002

修改dynProduct.Id=”1”,此时"1”是字符串

运行:

image

因为product的Id属性是int型

修改dynProduct.ShowProducT(); 运行:

image

因为product 包含ShowProduct 的方法,但是并没有包含ShowProducT的方法,

所以dynamic不支持大小写不同。根本原因是因为C#也不支持。

修改Product中name的修饰符:将Public改为private:

private string name;

再次运行代码:

image

因为name是private,外部无法访问。。。

但是反射好像是可以的啊?

那么尝试下反射吧:

Type productType = typeof(Product);
Product p = new Product();

FieldInfo fi = productType.GetField("name",
    BindingFlags.NonPublic | BindingFlags.Instance | BindingFlags.DeclaredOnly);
fi.SetValue(p, "通过反射设置的值");

运行,结果如下:

image

ExpandoObject:表示一个对象,该对象包含可在运行时动态添加和移除的成员。

dynamic dynEO = new ExpandoObject();
dynEO.number = 10;
dynEO.Increment = new Action(() => { dynEO.number++; });

Console.WriteLine(dynEO.number);
dynEO.Increment();
Console.WriteLine(dynEO.number);
 

dynEO.number 中number是动态添加属性。

dynEO.Increment 中Increment 是动态添加的Action 委托。

枚举ExpandoObject的所有成员:

foreach (var property in (IDictionary<String, Object>)dynEO)
{
     Console.WriteLine(property.Key + ": " + property.Value);
}

结果如下:

clip_image002

接收属性更改的通知:

static void Main(string[] args)
{
   ………
    ((INotifyPropertyChanged)dynEO).PropertyChanged += new PropertyChangedEventHandler(Program_PropertyChanged);
    dynEO.Name = "changed";
    dynEO.Name = "another";

    Console.ReadLine();
}

static void Program_PropertyChanged(object sender, PropertyChangedEventArgs e)
{
    Console.WriteLine("属性{0} 已更改", e.PropertyName);
}

结果:

clip_image002[5]

System.Dynamic.DynamicObject:提供用于指定运行时的动态行为的基类

新建类DynamicProduct,基本和Product类似:

image

可以看到继承了DynamicObject后,可以override 一大堆TryXXX的方法了。

重点需要了解的是:

假设sampleObject 就是dynamicObject

TryGetMember

在调用 int number = sampleObject.Number.时使用

TrySetMember

在调用sampleObject.Number = number 时使用

TryInvoke

在调用sampleObject(100) 时使用

TryInvokeMember

在调用sampleObject.someMethod(100) 时使用

完整的代码如下:

class DynamicProduct : DynamicObject
{
    public string name;
    public int Id { get; set; }

    public void ShowProduct()
    {
        Console.WriteLine("Id={0} ,Name={1}", Id, name);
    }

    #region Override DynamicObject 的方法

    public override IEnumerable<string> GetDynamicMemberNames()
    {
        return base.GetDynamicMemberNames();
    }

    public override bool TryGetMember(GetMemberBinder binder, out object result)
    {
        Console.WriteLine("TryGetMember被调用了,Name:{0}", binder.Name);
        return base.TryGetMember(binder, out result);
    }

    public override bool TrySetMember(SetMemberBinder binder, object value)
    {
        Console.WriteLine("TrySetMember被调用了,Name:{0}", binder.Name);
        return base.TrySetMember(binder, value);
    }

    public override bool TryInvoke(InvokeBinder binder, object[] args, out object result)
    {
        Console.WriteLine("TryInvoke被调用了");
        return base.TryInvoke(binder, args, out result);
    }

    public override bool TryInvokeMember(InvokeMemberBinder binder, object[] args, out object result)
    {
        Console.WriteLine("TryInvokeMember被调用了,Name:{0}", binder.Name);
        return base.TryInvokeMember(binder, args, out result);
    }

    #endregion
}

Main函数代码如下:

static void Main(string[] args)
{
    dynamic dynProduct = new DynamicProduct();

    dynProduct.name = "n1"; //调用TrySetMember方法
    dynProduct.Id = 1;
    dynProduct.Id = dynProduct.Id + 3;
    dynProduct.ShowProduct();

    Console.ReadLine();
}
 

结果如下:

clip_image002[7]

理论上来说,应该输出:

TrySetMember          :设置name字段

TrySetMember          :设置Id属性

TryGetMember          :获取Id属性

TrySetMember          :设置Id属性

TryInvokeMember      :调用ShowProduct方法

Id =4 ,Name = n1

 

将DynamicProduct 中的name修饰符改为private:

private string name;

 

可以在TrySetMember方法中设置断点,再次运行:

image

 

clip_image002

clip_image004

为什么访问修饰符是Public不调用TrySetMember,是Private 就调用了呢??

难道是因为private抛出了异常吗??

再次看看Msdn对此的TrySetMember方法的解释:

Msdn备注

…………….动态语言运行库 (DLR) 将首先使用语言联编程序在类中查找属性的静态定义。 如果没有此类属性,DLR 调用 TrySetMember 方法。

问题的原因是这样的:首先DLR 使用语言联编程序在类中查找name的静态定义,

因为name是public,所以查找到了,然后返回,不会去调用TrySetMember方法了,

但是如果name是private,那么联编程序在类中没找到name的静态定义,于是DLR尝试调用TrySetMember方法。

修改TrySetMember方法如下:

public override bool TrySetMember(SetMemberBinder binder, object value)
{
    Console.WriteLine("TrySetMember被调用了,Name:{0}", binder.Name);
    bool result = base.TrySetMember(binder, value);

    return true;
}
 

运行,可以发现不会抛出异常了:

clip_image002[5]

总结:首先DLR会尝试查找属性的静态定义,如果没有找到则会调用相应的TryXXX 方法,如果TryXXX方法返回false,代表TryXXX方法运行失败,DLR随后会抛出异常。

为了验证是不是这样,将DynamicProduct中属性的静态定义全部注释掉,并且TryXXX方法全部返回True。完整的代码如下:

class DynamicProduct : DynamicObject
{
    #region dynamicProduct 的一些属性的静态定义

        //private string name;
        //public int Id { get; set; }

        //public void ShowProduct()
        //{
        //    Console.WriteLine("Id={0} ,Name={1}", Id, name);
        //}

    #endregion

    #region Override DynamicObject 的方法

    public override bool TryGetMember(GetMemberBinder binder, out object result)
    {
        Console.WriteLine("TryGetMember被调用了,Name:{0}", binder.Name);
        bool tryResult = base.TryGetMember(binder, out result);

        return true;
    }

    public override bool TrySetMember(SetMemberBinder binder, object value)
    {
        Console.WriteLine("TrySetMember被调用了,Name:{0}", binder.Name);
        bool tryResult = base.TrySetMember(binder, value);

        return true;
    }

    public override bool TryInvoke(InvokeBinder binder, object[] args, out object result)
    {
        Console.WriteLine("TryInvoke被调用了");
        bool tryResult = base.TryInvoke(binder, args, out result);

        return true;
    }

    public override bool TryInvokeMember(InvokeMemberBinder binder, object[] args, out object result)
    {
        Console.WriteLine("TryInvokeMember被调用了,Name:{0}", binder.Name);
        bool tryResult = base.TryInvokeMember(binder, args, out result);

        return true;
    }

    #endregion
}
 

Main方法不变:

static void Main(string[] args)
{
    dynamic dynProduct = new DynamicProduct();

    dynProduct.name = "n1"; //调用TrySetMember方法
    dynProduct.Id = 1;
    dynProduct.Id = dynProduct.Id + 3;
    dynProduct.ShowProduct();

    Console.ReadLine();
}

运行结果如下:

clip_image002[7]

DynamicMetaObject: 表示动态绑定和参与动态绑定的对象的绑定逻辑。

新建类MyDynamicObject:

public class MyMetaObject : DynamicMetaObject
{
    public MyMetaObject(Expression parameter, object value)
        : base(parameter, BindingRestrictions.Empty, value)
    {
    }

    public override DynamicMetaObject BindInvokeMember(InvokeMemberBinder binder, DynamicMetaObject[] args)
    {
        return this.PrintAndReturnIdentity("InvokeMember of method {0}", binder.Name);
    }

    public override DynamicMetaObject BindSetMember(SetMemberBinder binder, DynamicMetaObject value)
    {
        return this.PrintAndReturnIdentity("SetMember of property {0}", binder.Name);
    }

    public override DynamicMetaObject BindGetMember(GetMemberBinder binder)
    {
        return this.PrintAndReturnIdentity("GetMember of property {0}", binder.Name);
    }

    private DynamicMetaObject PrintAndReturnIdentity(string message, string name)
    {
        Console.WriteLine(String.Format(message, name));

        return new DynamicMetaObject(
            Expression,
            BindingRestrictions.GetTypeRestriction(
                Expression,
                typeof(MyDynamicObject)));
    }
}

Main 方法如下:

static void Main(string[] args)
{
    dynamic d = new MyDynamicObject();

    d.P3 = d.M1(d.P1, d.M2(d.P2));

    Console.ReadLine();
}

运行,结果如下:

clip_image002[9]

d.P3 = d.M1(d.P1, d.M2(d.P2));

按照从左到右,从里到外的原则。

1:先调用d.P1,DLR会尝试调用d 的GetMetaObject 方法,此方法返回一个MyMetaObject对象。

接着DLR知道你调用的是一个属性,于是它调用返回的MyMetaObject对象的BindGetMember 方法,

输出为GetMember of property P1

2:调用d.P2,和调用d.P1 一样.

3:调用d.M2,同样DLR调用d的GetMetaObject方法,返回一个MyMetaObject对象,接着调用返回对象的BindInvokeMember 方法。

4:….

Main方法如下:

static void Main(string[] args)
{
    dynamic str = "abcd";
    Console.WriteLine(str.Length);

    Console.WriteLine();
    Console.WriteLine(str.Substring(1));


    Console.ReadLine();
}

运行,结果如下:

clip_image002

使用reflactor 反编译下,可以看到:

完整代码如下:

private static void Main(string[] args)
{
      object obj1 = "abcd";
      if (Program.<Main>o__SiteContainer0.<>p__Site1 == null)
      {
            Program.<Main>o__SiteContainer0.<>p__Site1 = CallSite<Action<CallSite, Type, object>>
.Create(Binder.InvokeMember(CSharpBinderFlags.ResultDiscarded, "WriteLine", null, typeof(Program), 
new CSharpArgumentInfo[] { CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.IsStaticType | 
CSharpArgumentInfoFlags.UseCompileTimeType, null), 
CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null) }));
      }
      if (Program.<Main>o__SiteContainer0.<>p__Site2 == null)
      {
            Program.<Main>o__SiteContainer0.<>p__Site2 = CallSite<Func<CallSite, object, object>>
.Create(Binder.GetMember(CSharpBinderFlags.None, "Length", typeof(Program), 
new CSharpArgumentInfo[] { CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null) }));
      }
      Program.<Main>o__SiteContainer0.<>p__Site1.Target(Program.<Main>o__SiteContainer0.<>p__Site1,
 typeof(Console), Program.<Main>o__SiteContainer0.<>p__Site2
.Target(Program.<Main>o__SiteContainer0.<>p__Site2, obj1));
      Console.WriteLine();
      if (Program.<Main>o__SiteContainer0.<>p__Site3 == null)
      {
            Program.<Main>o__SiteContainer0.<>p__Site3 = CallSite<Action<CallSite, Type, object>>
.Create(Binder.InvokeMember(CSharpBinderFlags.ResultDiscarded, "WriteLine", null, typeof(Program)
, new CSharpArgumentInfo[] { CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.IsStaticType | 
CSharpArgumentInfoFlags.UseCompileTimeType, null),
 CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null) }));
      }
      if (Program.<Main>o__SiteContainer0.<>p__Site4 == null)
      {
            Program.<Main>o__SiteContainer0.<>p__Site4 = 
CallSite<Func<CallSite, object, int, object>>.Create(Binder.InvokeMember(CSharpBinderFlags.None, 
"Substring", null, typeof(Program), new CSharpArgumentInfo[] { 
CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null), 
CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.Constant | 
CSharpArgumentInfoFlags.UseCompileTimeType, null) }));
      }
      Program.<Main>o__SiteContainer0.<>p__Site3
.Target(Program.<Main>o__SiteContainer0.<>p__Site3, typeof(Console), 
Program.<Main>o__SiteContainer0.<>p__Site4.Target(
Program.<Main>o__SiteContainer0.<>p__Site4, obj1, 1));
      Console.ReadLine();
}

首先编译器会自动生成一个静态类:如下:

[CompilerGenerated]
private static class <Main>o__SiteContainer0
{
      // Fields
      public static CallSite<Action<CallSite, Type, object>> <>p__Site1;
      public static CallSite<Func<CallSite, object, object>> <>p__Site2;
      public static CallSite<Action<CallSite, Type, object>> <>p__Site3;
      public static CallSite<Func<CallSite, object, int, object>> <>p__Site4;
}

为什么这里有四个CallSite<T>的对象呢?

在我们的代码中

Console.WriteLine(str.Length);
Console.WriteLine();
Console.WriteLine(str.Substring(1));

一共使用了四次dynamic对象。
1:Console.WriteLine(dynamic); str.Length返回dynamic
2:dynamic.Length;
3:Console.WriteLine(dynamic); str.Substring 返回dynamic
4:dynamic.Substring(1);
 

1,2,3,4,分别对应上面的<>p_Site1,2,3,4;

因为1,3 都是无返回值的,所以是Action, 2,4都有返回值,所以是Func.
 
看上面的代码可能还不清楚,让我们手动的生成下代码吧:

新建类SiteContainer 来取代编译器自动生成的类。

[CompilerGenerated]
public static class SiteContainer
{
  // Fields
  public static CallSite<Action<CallSite, Type, object>> p__Site1;
  public static CallSite<Func<CallSite, object, object>> p__Site2;
  public static CallSite<Action<CallSite, Type, object>> p__Site3;
  public static CallSite<Func<CallSite, object, int, object>> p__Site4;
}

 

接着看下初始化p__Site1时的方法吧:
if (SiteContainer.p__Site1 == null)
{
    CallSiteBinder csb= Microsoft.CSharp.RuntimeBinder.Binder.InvokeMember(
        CSharpBinderFlags.ResultDiscarded,
        "WriteLine", null, typeof(Program),
        new CSharpArgumentInfo[]
        {
            CSharpArgumentInfo.Create(
CSharpArgumentInfoFlags.IsStaticType | CSharpArgumentInfoFlags.UseCompileTimeType,null),
            CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None,null)
        });
    SiteContainer.p__Site1 = CallSite<Action<CallSite, Type, object>>.Create(csb);
}
 
 
InvokeMember方法的签名:
public static CallSiteBinder InvokeMember(CSharpBinderFlags flags, string name, 
IEnumerable<Type> typeArguments, Type context, IEnumerable<CSharpArgumentInfo> argumentInfo);
 
1:在这里CSharpBinderFlags传递的是ResultDiscarded,代表结果被丢弃,
   所以可以绑定到一个void的返回方法中。
2:name传递的是”WriteLine”,要调用的方法的名称。
3:typeArguments.类型参数的列表,传递null。
4:context: 用于指示此操作的使用位置的 System.Type,在这里是Program
5:argumentInfo:参数信息,
 
 
 
接着看看p__Site2如何初始化的吧:
if (SiteContainer.p__Site2 == null)
{
    CallSiteBinder csb = Microsoft.CSharp.RuntimeBinder.Binder.GetMember(
        CSharpBinderFlags.None, "Length", typeof(Program), 
        new CSharpArgumentInfo[] 
        { 
            CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null) 
        });

    SiteContainer.p__Site2 = CallSite<Func<CallSite, object, object>>.Create(csb);
}
可以看到,和p__Site1不同的是,调用的是GetMember方法
 
既然有了两个CallSite<T>的对象,那么它们又是如何调用的呢??
使用CallSite<T>.Target 就可以调用了。
 
image 
 
//这是编译器生成的代码:
//SiteContainer.p__Site1.Target(SiteContainer.p__Site1, typeof(Console),
 //    SiteContainer.p__Site2.Target(SiteContainer.p__Site2, obj1)
 //);

 var pSite2Result = SiteContainer.p__Site2.Target(SiteContainer.p__Site2, obj1);
 SiteContainer.p__Site1.Target(SiteContainer.p__Site1, typeof(Console), pSite2Result);
 
看看如何调用的吧:
因为SiteContainer.p__Site2,是调用Length属性
首先调用p__Site2的target方法,执行p__Site2,对象是obj1.
dlr 就会调用obj1.Length,并返回结果,所以pSite2Result=4;
接着调用p__Site1的target,来调用Console类的WriteLine方法,参数是pSite2Result.所以输出4.
 
最后来看下dynamic是如何调用Substring方法的:
Substring方法对应的是p__Site4, 因为Substring方法传递了个参数1,并且有返回值,所以

p__Site4对象是:

public static CallSite<Func<CallSite, object, int, object>> p__Site4;

 

初始化:

if (SiteContainer.p__Site4 == null)
{
    CallSiteBinder csb = Microsoft.CSharp.RuntimeBinder.Binder.InvokeMember(
        CSharpBinderFlags.None, "Substring", null, typeof(Program),
        new CSharpArgumentInfo[] 
        { 
            CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null),
            CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.Constant 
            | CSharpArgumentInfoFlags.UseCompileTimeType, null)                        
        });
    SiteContainer.p__Site4 = CallSite<Func<CallSite, object, int, object>>.Create(csb);
}

基本和上面的p__Site1类似,只是参数信息是:CSharpArgumentInfoFlags.Constant \

因为调用了Substring(1).在编译的时候会传递1进去,而1是常量。
 
调用如下:
 
var subStringResult = SiteContainer.p__Site4.Target(SiteContainer.p__Site4, obj1, 1);
SiteContainer.p__Site1.Target(SiteContainer.p__Site1, typeof(Console), subStringResult);

解释同上。

完整的Main函数代码如下:
static void Main(string[] args)
{
    object obj1 = "abcd";

    if (SiteContainer.p__Site1 == null)
    {
        CallSiteBinder csb = Microsoft.CSharp.RuntimeBinder.Binder.InvokeMember(
            CSharpBinderFlags.ResultDiscarded,
            "WriteLine", null, typeof(Program),
            new CSharpArgumentInfo[]
            {
                CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.IsStaticType | 
CSharpArgumentInfoFlags.UseCompileTimeType,null),
                CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None,null)
            });
        SiteContainer.p__Site1 = CallSite<Action<CallSite, Type, object>>.Create(csb);
    }

    if (SiteContainer.p__Site2 == null)
    {
        CallSiteBinder csb = Microsoft.CSharp.RuntimeBinder.Binder.GetMember(
            CSharpBinderFlags.None, "Length", typeof(Program),
            new CSharpArgumentInfo[] 
            { 
                CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null) 
            });

        SiteContainer.p__Site2 = CallSite<Func<CallSite, object, object>>.Create(csb);
    }

    if (SiteContainer.p__Site4 == null)
    {
        CallSiteBinder csb = Microsoft.CSharp.RuntimeBinder.Binder.InvokeMember(
            CSharpBinderFlags.None, "Substring", null, typeof(Program),
            new CSharpArgumentInfo[] 
            { 
                CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, null),
                CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.Constant | 
CSharpArgumentInfoFlags.UseCompileTimeType, null)     
            });
        SiteContainer.p__Site4 = CallSite<Func<CallSite, object, int, object>>.Create(csb);
    }

    var lengthResult = SiteContainer.p__Site2.Target(SiteContainer.p__Site2, obj1);
    SiteContainer.p__Site1.Target(SiteContainer.p__Site1, typeof(Console), lengthResult);


    var subStringResult = SiteContainer.p__Site4.Target(SiteContainer.p__Site4, obj1, 1);
    SiteContainer.p__Site1.Target(SiteContainer.p__Site1, typeof(Console), subStringResult);

    Console.ReadLine();
}
 
在这里,我没有使用p__Site3,因为p__Site3和p__Site1相同,不过为什么微软会生成4个CallSite<T>对象,因为
1 和3是完全相同的,难道是为了实现简单??
幸亏还有延迟初始化,否则静态字段这么多,不知道会对系统产生什么影响
 
运行,结果如下:
clip_image002[4]
 
 
从这个例子也可以知道为什么dynamic会比反射的速度要快了。
1:if(p__Site1)==null,p__Site1==xxx,并且p__Site1是静态类中的静态字段,所以有缓存效果。
2:CallSite<T>.Target: 0 级缓存 - 基于站点历史记录专用的委托.
使用委托来调用,自然比反射又要快一些。
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值