一文带你了解 C# DLR 的世界

在很久之前,我写了一片文章dynamic结合匿名类型 匿名对象传参,里面我以为DLR内部是用反射实现的。因为那时候是心中想当然的认为只有反射能够在运行时解析对象的成员信息并调用成员方法。后来也是因为其他的事一直都没有回过头来把这一节知识给补上,正所谓亡羊补牢,让我们现在来大致了解一下DLR吧。

DLR 全称是 Dynamic Language Runtime(动态语言运行时)。这很容易让我们想到同在C#中还有一个叫 CLR 的东西,它叫 Common Language Runtime。那这两者有什么关系呢?这个后续再说

DLR 是 C#4.0 新引进来的概念,其主要目的就是为了动态绑定与交互

C#关键字 dynamic

DLR 首先定义了一个核心类型概念,即动态类型。即在运行时确定的类型,动态类型的成员信息、方法等都只在运行时进行绑定。与CLR的静态类型相反,静态类型都是在C#编译期间通过一系列的规则匹配到最后的绑定。

将这种动态进行绑定的过程它有点类似反射,但其内部却和反射有很大的不同。这个稍微会谈到。

由动态类型构成的对象叫动态对象。

DLR一般有下列特点:

  1. 把CLR的所有类型全部隐式转成dynamic。如dynamic x = GetReturnAnyCLRType()
  2. 同样,dynamic几乎也可以转换成CLR类型。
  3. 所有含有动态类型的表达式都是在运行期进行动态计算的。

DLR发展到现在,我们几乎都使用了动态类型关键字 dynamic以及还有引用DLR的类库 Dapper等。

在我们不想创建新的静态类做DTO映射时,我们第一时间会想到动态类型。也经常性的将dynamic作为参数使用。

这时候我们就要注意一些 dynamic 不为大多人知的一些细节了。

不是只要含有 dynamic 的表达式都是动态的。

什么意思呢,且看这段代码dynamic x = "marson shine";。这句代码很简单,就是将字符串赋值给动态类型 x。

大家不要以为这就是动态类型了哦,其实不是,如果单单只是这一句的话,C#编译器在编译期间是会把变量 x 转变成静态类型 object 的,等价于object x = "marson shine";。可能有些人会惊讶,为什么C#编译器最后会生成object类型的代码。这就是接下来我们要注意的。

dynamic 于 object 的不可告人的关系

其实如果你是以 dynamic 类型为参数,那么实际上它就是等于 object 类型的。换句话说,dynamic在CLR级别就是object。其实这点不用记,我们从编译器生成的C#代码就知道了。

这里我用的是dotpeek查看编译器生成的c#代码。

这里顺便想问下各位,有没有mac下c#反编译的工具。求推荐

所以我们在写重载方法时,是不能以 object 和 dynamic 来区分的。

void DynamicMethod(object o);
void DynamicMethod(dynamic d); // error 编译器无法通过编译:已经存在同名同形参的方法

如果说 dynamic 与 object 一样,那么它与 DLR 又有什么关系呢?

其实微软提供这么一个关键字,我认为是方便提供创建动态类型的快捷方式。而真正于动态类型密切相关的是命名空间System.Dynamic下的类型。主要核心类DynamicObject,ExpandoObject,IDynamicMetaObjectProvider ,关于这三个类我们这节先不谈。

DLR探秘

首先我们来大致了解C#4.0加入的重要功能 DLR,在编译器中处于什么层次结构。

在这里我引用 https://www.codeproject.com/Articles/42997/NET-4-0-FAQ-Part-1-The-DLR 这片文章的一副结构图的意思

动态编程 = CLR + DLR

这足以说明 DLR 在C#中的位置,虽然名字与CLR只有一个字母之差,但是它所处的层次其实是在CLR之上的。我们知道编译器将我们写的代码转换成IL,然后经由CLR转换成本地代码交由CPU执行可执行程序。那么实际上,DLR 是在编译期间和运行期做了大量工作。最后还是会将C#代码转换成CLR静态语言,然后再经由 CLR 将代码转换成本地代码执行(如调用函数等)。

现在我们来简要介绍一下DLR在编译期间做了什么。

到这里就不得不以例子来做说明了,我们就上面的例子稍加改造一下:

// program.cs
dynamic x = "marson shine";
string v = x.Substring(6);
Console.WriteLine(v);

为了节省篇幅,我简化并改写了难看的变量命名以及不必要的注释。生成的代码如下:

			object obj1 = (object) "marson shine";
staticCallSite1 = staticCallSite1 ?? CallSite<Func<CallSite, object, int, object>>.Create(Binder.InvokeMember(CSharpBinderFlags.None, "Substring", (IEnumerable<Type>) null, typeof (Example), (IEnumerable<CSharpArgumentInfo>) new CSharpArgumentInfo[2]
{
CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, (string) null),
CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.UseCompileTimeType | CSharpArgumentInfoFlags.Constant, (string) null)
})); object obj2 = ((Func<CallSite, object, int, object>) staticCallSite1.Target)((CallSite) staticCallSite1, obj1, 6);
staticCallSite2 = staticCallSite2 ?? CallSite<Action<CallSite, Type, object>>.Create(Binder.InvokeMember(CSharpBinderFlags.ResultDiscarded, "WriteLine", (IEnumerable<Type>) null, typeof (Example), (IEnumerable<CSharpArgumentInfo>) new CSharpArgumentInfo[2]
{
CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.UseCompileTimeType | CSharpArgumentInfoFlags.IsStaticType, (string) null),
CSharpArgumentInfo.Create(CSharpArgumentInfoFlags.None, (string) null)
})); ((Action<CallSite, Type, object>) staticCallSite2.Target)((CallSite) staticCallSite2, typeof (Console), obj2);

上文的两个变量staticCallSite1,staticCallSite2 是静态变量,起到缓存的作用。

这里涉及到了DLR核心三个概念

  1. ExpressTree(表达式树):通过CLR运行时用抽象语法树(AST)生成代码并执行。并且它也是用来与动态语言交互的主要工具(如Python,JavaScript 等)
  2. CallSite(调用点):当我们写的调用动态类型的方法,这就是一个调用点。这些调用都是静态函数,是能够缓存下来的,所以在后续的调用,如果发现是相同类型的调用,就会更快的运行。
  3. Binder(绑定器):除了调用点之外,系统还需要知道这些方法如何调用,就比如例子中的通过调用Binder.InvokeMember方法,以及是那些对象类型调用的方法等信息。绑定器也是可以缓存的

总结

DLR运行过程我们总结起来就是,在运行时DLR利用编译运行期间生成的表达式树调用点绑定器代码,以及缓存机制,我们就可以做到计算的重用来达到高性能。在很早前从老赵的表达式树缓存系列文章也指出了,利用表达式树缓存性能最接近直接调用(当然不包括IL编程)。

现在我们就知道了为什么DLR能干出与反射相同的效果,但是性能要远比反射要高的原因了。

补充说明

刚看到评论里的同学提到了reflection与dynamic的性能测试比较,发现反射性能占据明显的优势。事实上,从那个例子来看,恰恰说明了DLR的问题。这里我先列出他的测试代码

const int Num = 1000 * 100;
{
var mi = typeof(XXX).GetMethod("Go");
var go1 = new XXX();
for (int i = 0; i < Num; i++)
{
mi.Invoke(go1, null);
}
}
{
dynamic go1 = new XXX();
for (int i = 0; i < Num; i++)
{
go1.Go();
}
}

在这个测试中,已经将反射出来的元数据信息缓存到局部变量 mi,所以在调用方法的时候,实际上用到的是已经缓存下来的 mi。那么在没有缓存优势的情况,说明DLR性能是不如 MethodInfo+Invoke 的。

其实在文章总结的时候也强调了,利用缓存机制达到多次重复计算的重用来提高性能

那么我们在看一个例子:

public void DynamicMethod(Foo f) {
dynamic d = f;
d.DoSomething();
} public void DynamicMethod(Foo f) {
var m = typeof(Foo).GetMethod("DoSomething");
m?.Invoke(f, null);
}

方法 DoSomething 只是一个空方法。现在我们来看执行结果

// 执行时间
var f = new Foo();
Stopwatch sw = new Stopwatch();
int n = 10000000;
sw.Start();
for (int i = 0; i < n; i++) {
ReflectionMethod(f);
}
sw.Stop();
Console.WriteLine("ReflectionMethod: " + sw.ElapsedMilliseconds + " ms"); sw.Restart();
for (int i = 0; i < n; i++) {
DynamicMethod(f);
}
sw.Stop();
Console.WriteLine("DynamicMethod: " + sw.ElapsedMilliseconds + " ms"); // 输出
ReflectionMethod: 1923 ms
DynamicMethod: 223 ms

这里我们就能明显看出执行时间的差距了。实际上DLR的执行过程我用下面伪代码表示

public void DynamicMethod(Foo f) {
dynamic d = f;
d.DoSomething();
}
// 以下是DLR会生成大概的代码
static DynamicCallSite fooCallSite;
public void ReflectionMethod(Foo f) {
object d = f;
if(fooCallSite == null) fooCallSite = new DynamicCallSite();
fooCallSite.Invoke("Foo",d);
}

编译器在编译上述方法DynamicMethod时,会询问一次这个调用点调用的方法的类型是否是同一个,如果是则直接将已经准备好的调用点 fooCallSite 进行调用,否则则像文章之前说的,会生成调用点,绑定器绑定成员信息,根据AST将表达式生成表达式树,将这些都缓存下来。在进行计算(调用)。

正因为我们知道了DLR的一些内幕,所以我们自然也知道了注意该如何用 DLR,以及关键字 dynamic。比如我们现在知道了C#编译器会将 dynamic 等同 object 对待。那么我们在使用的时候一定要注意不要被“莫名其妙”的被装箱了,导致不必要的性能损失了。

至于 DLR 的应用,特别是结合动态语言进行编程,来达到静态语言动态编程的目的。其实DLR刚出来之际,就有了如 IronPython 这样的开源组件。这是另外一个话题,并且我们在做实际应用的情况也很少,所以就没有展开来讲了。

参数资料:

  1. https://www.codeproject.com/Articles/42997/NET-4-0-FAQ-Part-1-The-DLR
  2. 《深入理解C#》

一文带你了解 C# DLR 的世界的更多相关文章

  1. Istio是啥?一文带你彻底了解!

    原标题:Istio是啥?一文带你彻底了解! " 如果你比较关注新兴技术的话,那么很可能在不同的地方听说过 Istio,并且知道它和 Service Mesh 有着牵扯. 这篇文章可以作为了解 ...

  2. 一文带您了解5G的价值与应用

    一文带您了解5G的价值与应用 5G最有趣的一点是:大多数产品都是先有明确应用场景而后千呼万唤始出来.而5G则不同,即将到来的5G不仅再一次印证了科学技术是第一生产力还给不少用户带来了迷茫——我们为什么 ...

  3. 一文带你了解elasticsearch

    一文带你了解elasticsearch cxf2102100人评论160人阅读2019-07-02 21:31:36   elasticsearch es基本概念 es术语介绍 文档Document ...

  4. 【转帖】Istio是啥?一文带你彻底了解!

    Istio是啥?一文带你彻底了解! http://www.sohu.com/a/270131876_463994 原始位置来源: https://cizixs.com 如果你比较关注新兴技术的话,那么 ...

  5. 一文带你看清HTTP所有概念(转)

    一文带你看清HTTP所有概念   上一篇文章我们大致讲解了一下 HTTP 的基本特征和使用,大家反响很不错,那么本篇文章我们就来深究一下 HTTP 的特性.我们接着上篇文章没有说完的 HTTP 标头继 ...

  6. 一文带你了解js数据储存及深复制(深拷贝)与浅复制(浅拷贝)

    背景 在日常开发中,偶尔会遇到需要复制对象的情况,需要进行对象的复制. 由于现在流行标题党,所以,一文带你了解js数据储存及深复制(深拷贝)与浅复制(浅拷贝) 理解 首先就需要理解 js 中的数据类型 ...

  7. 【项目实践】一文带你搞定Spring Security + JWT

    以项目驱动学习,以实践检验真知 前言 关于认证和授权,R之前已经写了两篇文章: [项目实践]在用安全框架前,我想先让你手撸一个登陆认证 [项目实践]一文带你搞定页面权限.按钮权限以及数据权限 在这两篇 ...

  8. 一文带你看遍 JDK9~14 的重要新特性!

    Java9 发布于 2017 年 9 月 21 日 .作为 Java8 之后 3 年半才发布的新版本,Java 9 带 来了很多重大的变化其中最重要的改动是 Java 平台模块系统的引入,其他还有诸如 ...

  9. 让自己写的电子笔记连文带图全平台兼容(MarkDown图片显示兼容)

    目录 一.工具使用 语言使用:MarkDown 简介 使用原因 使用方法 软件使用:Typora 简介 环境设置搭建 1)搭建图床 2)配置PicGo 3)配置typora 4)测试 图片上传测试 平 ...

随机推荐

  1. 虚拟机安装(Vmware14)

    下载Vmvare,然后安装. 安装成功后,对两个版本的了解:简单来说Pro的版本更复杂. 创建新的虚拟机时遇到提示BIOS固件问题,提示说Intel的Uirtualizatuion未被激活,解决方案关 ...

  2. python列表的 + 、* 、in 、 not in 、 len() 、 max() 、 min()

    + 列表拼接 first_list = [1,2,3] + ['a',5] # + 将列表拼接 print(first_list) # [1, 2, 3, 'a', 5] *  列表与数字n相乘 : ...

  3. 暑假提高组集训Day1 T2

    那么这一道题我在考试的时候写挂了(0分 呜呜~) 我原来的思路是广搜来骗取部分分(哈哈~) 但是我忘记了一个非常重要的问题 我广搜开的数组没有考虑负的下标 下一次考试如果再写暴力 就可以把坐标都加上一 ...

  4. Redis 分布式锁的正确实现方式( Java 版 )

    前言 分布式锁一般有三种实现方式:1. 数据库乐观锁:2. 基于Redis的分布式锁:3. 基于ZooKeeper的分布式锁.本篇博客将介绍第二种方式,基于Redis实现分布式锁.虽然网上已经有各种介 ...

  5. 每天玩转3分钟 MyBatis-Plus - 1. 配置环境

    每天玩转3分钟 MyBatis-Plus - 1. 配置环境 每天玩转3分钟 MyBatis-Plus - 2. 普通查询 MyBatis-Plus(简称 MP)是一个 MyBatis 的增强工具,在 ...

  6. HTTP图解笔记(一)—— 第1章 了解Web及网络基础

    TCP/IP协议族 网络是在TCP/IP协议族的基础上运作的,HTTP是一个子集 OSI四层: 应用层:通用的应用服务协议,FTP.DNS.HTTP ↓ 传输层:提供计算机之间的数据传输,TCP.UD ...

  7. Activiti结束事件(End Event)

    Activiti结束事件(End Event) 作者:Jesai -2017.08.03T01:03 曾经,黑夜多么漫长,八月雨扰眠,缘何? 声明:版权所有,如需引用请注明出处,如发现抄袭,必追究法律 ...

  8. Docker + node(koa) + nginx + mysql 开发环境搭建

    什么是Docker Docker 是一个开源的应用容器引擎,基于 Go 语言 并遵从 Apache2.0 协议开源. Docker 可以让开发者打包他们的应用以及依赖包到一个轻量级.可移植的容器中,然 ...

  9. Java入门 - 高级教程 - 05.网络编程

    原文地址:http://www.work100.net/training/java-networking.html 更多教程:光束云 - 免费课程 网络编程 序号 文内章节 视频 1 概述 2 Soc ...

  10. pyautogui介绍

    https://pyautogui.readthedocs.io/en/latest/introduction.html Introduction Purpose The purpose of PyA ...