动态语言运行时概述

动态语言运行时 (DLR) 是一种运行时环境,可以将一组动态语言服务添加到公共语言运行时 (CLR) 。 使用 DLR 可以轻松开发在 .NET 上运行的动态语言,并为静态类型语言添加动态特征。

动态语言可以在运行时标识对象的类型,而在 C# 和 Visual Basic(使用 Option Explicit On 时)等静态类型的语言中,必须在设计时指定对象类型。 动态语言包括 Lisp、Smalltalk、JavaScript、PHP、Ruby、Python、ColdFusion、Lua、Cobra 和 Groovy 等。

对开发人员而言,大部分动态语言具有以下优势:

  • 能使用快速反馈循环(REPL 或称读取-评估-打印循环)。 用户可以输入多个语句,并立即执行这些语句查看结果。
  • 同时支持自上而下的开发和传统的自下而上的开发。 例如,在使用自上而下的方法时,可以调用尚未实现的函数,然后在需要时添加底层实现。
  • 重构和代码修改变得更加简单,因为无需更改整个代码中的静态类型声明。

动态语言可以生成出色的脚本语言。 客户可以使用新命令和新功能轻松扩展使用动态语言创建的应用程序。 动态语言也经常用于创建网站和测试工具、维护服务器场、开发各种实用程序以及执行数据转换。

DLR 的目的是让动态语言系统可以在 .NET 上运行,并为其提供 .NET 互操作性。 DLR 将动态对象添加到 C# 和 Visual Basic,以支持这些语言的动态行为,并实现这些语言与动态语言的互操作。

DLR 还可以帮助用户创建支持动态操作的库。 例如,如果用户的库使用的是 XML 或 JavaScript 对象表示法 (JSON) 对象,则对于使用 DLR 的语言,该对象可以显示为动态对象。 这样库用户可以编写语法更简单且更自然的代码来操作对象和访问对象成员。

例如,可以使用以下 C# 代码在 XML 中增加一个计数器。

Scriptobj.SetProperty("Count", ((int)GetProperty("Count")) + 1);

而使用 DLR 则可以改为使用以下代码实现相同的操作。

scriptobj.Count += 1;

与 CLR 一样,DLR 是 .NET 的一部分。 可从 GitHub 上的 IronLanguages/dlr 存储库下载它。

IronPython 是使用 DLR 开发的语言的一个例子。

DLR 的主要优点

DLR 具有以下优点。

简化了将动态语言移植到 .NET 的操作

DLR 让语言实现者无需创建词法分析器、解析器、语义分析器、代码生成器等过去需要自己创建的工具。 若要使用 DLR,语言需要生成以树形结构表示语言级代码的表达式树、运行时帮助程序例程以及用于实现 IDynamicMetaObjectProvider 接口的可选动态对象 。 DLR 和 .NET 自动执行大量代码分析和代码生成任务。 这样语言实现者可以集中处理独特的语言功能。

在静态类型语言中实现动态功能

现有的 .NET 语言(如 C# 和 Visual Basic)可以创建动态对象,并将动态对象与静态类型对象结合使用。 例如,C# 和 Visual Basic 可将动态对象用于 HTML、文档对象模型 (DOM) 和反射。

可以获得 DLR 和 .NET 的后续改进

使用 DLR 实现的语言可受益于 DLR 和 .NET 的后续改进。 例如,如果 .NET 发布的新版本改进了垃圾回收器或降低了程序集的加载时间,则使用 DLR 实现的语言可以立刻从中获益。 如果 DLR 添加了优化(例如更好的编译),那么使用 DLR 实现的所有语言的性能也会得到改善。

可以共享库和对象

使用一种语言实现的对象和库可以用于其他语言。 DLR 还支持静态类型语言和动态语言之间的互操作。 例如,如果动态对象使用的库以动态语言编写,C# 也可以声明该对象。 同时,动态语言可以使用 .NET Framework 中的库。

可以快速动态调度和调用

DLR 支持高级多态缓存,因此可以快速执行动态操作。 DLR 创建适用于绑定操作的规则,这些操作将对象用于必要的运行时实现,然后缓存这些规则,以避免在对相同类型的对象连续执行相同代码时进行大量消耗资源的绑定计算。

DLR 体系结构

DLR 向 CLR 添加了一组服务,以便更好地支持动态语言。 这些服务包括:

  • 表达式树。 DLR 使用表达式树来表示语言语义。 为此,DLR 扩展了 LINQ 表达式树,使其包含控制流、分配和其他语言建模节点。 有关详细信息,请参阅表达式树 (C#)表达式树 (Visual Basic)

  • 调用站点缓存。 动态调用站点是代码中对动态对象执行 a + ba.b() 等操作的位置 。 DLR 会缓存 ab(通常为这些对象的类型)的特征,以及有关操作的信息。 如果之前已经执行过此类操作,则 DLR 会从缓存中检索所有的必要信息,以实现快速调度。

  • 动态对象互操作性。 DLR 提供一组表示动态对象和操作的类和接口,供语言实现者和动态库的作者使用。 这些类和接口包括IDynamicMetaObjectProviderDynamicMetaObjectDynamicObjectExpandoObject

DLR 在调用站点中使用绑定器,不仅与 .NET 通信,还与 COM 等其他基础结构和服务通信。 联编程序封装语言的语义,并指定如何使用表达式树在调用站点中执行操作。 这样使用 DLR 的动态和静态类型语言便可共享库,并访问 DLR 支持的所有技术。

DLR 文档

如需进一步了解如何使用 DLR 开源版本向语言添加动态行为,以及如何在 .NET 中使用动态语言,请参阅 GitHub 上 IronLanguages/dlr 存储库中的文档。

另请参阅