一文带你了解 C# DLR 的世界(DLR 探秘)

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

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

C#4动态功能是Dynamic Language Runtime(动态语言运行时,DLR)的一部分.DLR是添加到CLR的一系列服务,它允许添加动态语言,如Ruby和Python,并使C#具备和这些动态语言相同的某些功能.

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

C#关键字 dynamic

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

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

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

DLR一般有下列特点:

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

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利用编译运行期间生成的表达式树、调用点、绑定器代码,以及缓存机制,我们就可以做到计算的重用来达到高性能。ASP.NET页面缓存常见的4种方式

现在我们就知道了为什么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 ReflectionMethod(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 这样的开源组件。这是另外一个话题,并且我们在做实际应用的情况也很少,所以就没有展开来讲了。

补充:

DLR主要提供以下三个功能:

1.语言实现服务提供语言的互操作性

2.动态语言运行时服务提供动态调用支持

3.公共脚本宿主

依托这些模块,您可以非常轻松的做下面这些事

1.为您现有的.NET应用程序,加入脚本支持

2.为您现有的语言,提供动态知己

3.为任何对象提供动态操作支持

4.在您的架构中提供脚本语言.

参数资料:

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

到此这篇关于一文带你了解 C# DLR 的世界的文章就介绍到这了,更多相关C# DLR 内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • 一文带你了解 C# DLR 的世界(DLR 探秘)

    在很久之前,我写了一片文章详解C# 匿名对象(匿名类型).var.动态类型 dynamic,可以借鉴.因为那时候是心中想当然的认为只有反射能够在运行时解析对象的成员信息并调用成员方法.后来也是因为其他的事一直都没有回过头来把这一节知识给补上,正所谓亡羊补牢,让我们现在来大致了解一下DLR吧. DLR 全称是 Dynamic Language Runtime(动态语言运行时).这很容易让我们想到同在C#中还有一个叫 CLR 的东西,它叫 Common Language Runtime.那这两者有什

  • 做java这么久了居然还不知道JSON的使用(一文带你了解)

    JSON(JavaScript Object Notation, NS对象标记)是一种轻量级的数据交换格式,目前使用特别广泛. 采用完全独立于编程语言的 文本格式 来存储和表示数据. 简洁和清晰的层次结构使得JSON成为理想的数据交换语言. 易于人阅读和编写,同时也易于机器解析和生成,并有效地提升网络传输效率. 在JavaScript语言中,一切都是对象.因此,任何JavaScript 支持的类型都可以通过JSON来表示,例如字符串.数字.对象.数组等.看看他的要求和语法格式: 对象表示为键值对

  • 一文带你入门JDK8新特性——Lambda表达式

    Lambda简介 Lambda 表达式是 JDK8 的一个新特性,可以取代大部分的匿名内部类,写出更优雅的 Java 代码,尤其在集合的遍历和其他集合操作中,可以极大地优化代码结构. JDK 也提供了大量的内置函数式接口供我们使用,使得 Lambda 表达式的运用更加方便.高效. 对接口的要求 虽然使用 Lambda 表达式可以对某些接口进行简单的实现,但并不是所有的接口都可以使用 Lambda 表达式来实现.Lambda 规定接口中只能有一个需要被实现的方法,不是规定接口中只能有一个方法 jd

  • 一文带你彻底理解Java序列化和反序列化

    Java序列化是什么? Java序列化是指把Java对象转换为字节序列的过程,Java反序列化是指把字节序列恢复为Java对象的过程. 反序列化: 客户端重文件,或者网络中获取到文件以后,在内存中重构对象. 序列化: 对象序列化的最重要的作用是传递和保存对象的时候,保证对象的完整性和可传递性.方便字节可以在网络上传输以及保存在本地文件. 为什么需要序列化和反序列化 实现分布式 核心在于RMI,可以利用对象序列化运行远程主机上的服务,实现运行的时候,就像在本地上运行Java对象一样. 实现递归保存

  • 一文带你彻底搞懂Lambda表达式

    1. 为什么使用Lambda表达式 Lambda是一个匿名函数,我们可以把Lambda表达式理解为是一段可以传递的代码(将代码像数据一样进行传递).可以写出更简洁.更灵活的代码.作为一种更紧凑的代码风格,使Java的语言表达能力得到了提升. 我们来看一下使用lambda之前创建匿名内部类: new Thread(new Runnable() { @Override public void run() { System.out.println("执行Runnable方法"); } });

  • 一文带你了解Python 四种常见基础爬虫方法介绍

    一.Urllib方法 Urllib是python内置的HTTP请求库 import urllib.request #1.定位抓取的url url='http://www.baidu.com/' #2.向目标url发送请求 response=urllib.request.urlopen(url) #3.读取数据 data=response.read() # print(data) #打印出来的数据有ASCII码 print(data.decode('utf-8')) #decode将相应编码格式的

  • 一文带你掌握Pyecharts地理数据可视化的方法

    本文主要介绍了Pyecharts地理数据可视化,分享给大家,具体如下: 一.Pyecharts简介和安装 1. 简介 Echarts 是一个由百度开源的数据可视化,凭借着良好的交互性,精巧的图表设计,得到了众多开发者的认可.而 Python 是一门富有表达力的语言,很适合用于数据处理.当数据分析遇上数据可视化时,pyecharts 诞生了. 简洁的 API 设计,使用如丝滑般流畅,支持链式调用 囊括了 30+ 种常见图表,应有尽有 支持主流 Notebook 环境,Jupyter Noteboo

  • 一文带你了解Mysql主从同步原理

    目录 Mysql 主从同步原理简析 1.什么是主从 2.为什么要搞主从呢? 3.如何实现主从同步呢? 4.mysql 主从同步的原理 Mysql 主从同步原理简析 在开始讲述原理的情况下,我们先来做个知识汇总, 究竟什么是主从,为什么要搞主从,可以怎么实现主从,mysql主从同步的原理 1.什么是主从 其实主从这个概念非常简单 主机就是我们平常主要用来读写的服务,我们称之为master(主人.主宰) 从机就是主机进行的一个扩展,他一般不会主动用来读写,我们称之为slave( [sleɪv] 奴隶

  • 一文带你走进js-数据类型与数据结构的世界

    目录 2. 数据类型 2.1 原始类型(6 种原始类型,使用 typeof 运算符检查) 2.2 null 与 Object 3. 原始值 3.1 原始值基本概念 3.2 各类型说明 1. 什么叫动态类型 JavaScript 是一种弱类型或者说动态语言. 我们不用提前声明变量的类型,在程序运行过程中,类型会被自动确定. 这也意味着你可以使用同一个变量保存不同类型的数据 let a; // 初始不给任何类型 a = 11; // a此时是number类型 a = "二大爷"; // a

  • 一文带你了解CNN(卷积神经网络)

    目录 前言 一.CNN解决了什么问题? 二.CNN网络的结构 2.1 卷积层 - 提取特征 卷积运算 权重共享 稀疏连接 总结:标准的卷积操作 卷积的意义 1x1卷积的重大意义 2.2 激活函数 2.3 池化层(下采样) - 数据降维,避免过拟合 2.4 全连接层 - 分类,输出结果 三.Pytorch实现LeNet网络 3.1 模型定义 3.2 模型训练(使用GPU训练) 3.3 训练和评估模型 前言   在学计算机视觉的这段时间里整理了不少的笔记,想着就把这些笔记再重新整理出来,然后写成Bl

随机推荐