D 语言是一种由 Digital Mars 公司创造的系统编程语言，它专注于“把 C 和 C++ 的能力和高性能与先进的语言——像 Ruby 和 Python——的高生产力结合起来。” 尽管它仍然是一种静态类型的语言，可以直接编译成本地代码，而且语法看起来与 Java 或者 C# 非常类似，但是它做出了很多有意义的改进。
这些改进包括明确地支持惰性参数。当我们使用关键字“lazy”标记一个形参时，就意味着相关的实参会被赋值 0 次或者多次。这与 Haskell 之类的语言不同，它会延迟对实参赋值 0 次或者 1 次，但不会再多。
为了保证程序的正确性，特别是在并行以及多线程的领域中的正确性，D 语言支持把“immutable”和“const”作为一等概念。和 C++ 不同的是，在 D 语言中的 immutable 和 const 修饰符是可传递的。如果我们用 immutable 标记了一个变量，那么不但不能对其进行变更，也不能变更通过它所能够访问的任何变量。const 关键字的工作方式和 immutable 类似，不过特定的对象还是可以通过 non-const 的引用来修改变量的值。
D 语言还包括了很多来自于其它语言的流行特性。例如，它拥有 for-each 循环、字符串转换、数组分片、闭包、try-catch-finally 块，以及值类型和引用类型的分离等等。同时，它还考虑到了直接对内存的访问，80 位的浮点型数字、结构成员排列控制以及内联程序集。
通常，因为安全性，把源代码转换为本地代码会付出高昂的代价。C 和 C++ 是最容易受到类似于缓冲区溢出之类的编码错误影响的，其它大多数本地语言也都一样。D 语言通过既在编译时又在运行时执行数组边界检查来避免这些问题。同样，非零长度的数组的内容会自动初始化为它们的默认值。
关于内存管理，D 语言和.NET 非常类似。默认情况下，引用类型会存储在垃圾回收堆中，而值类型或者会存储在堆栈中，或者存储在其它对象中。D 语言也可是分配堆栈来存储引用类型，但这不可避免要使用指向它们的指针。和.NET 一样，你还可以让指针指向非托管的内存。让这些彼此分离非常重要，因为很多你能够在非托管的指针上能够执行的操作，在托管指针上执行是不安全的。
对于能够使用非快捷版 Visual Studio 的开发者来说，有一个项目叫做Visual D，它提供了 Visual Studio 插件。Lloyd 在一篇文章中介绍了如何在你的环境中安装 Visual D。
当前 D 语言有四种实现。Digital Mars 公司为 Windows、Linux、OS X 和 FreeBSD 提供了免费的编译器。还有一种Gnu D 编译器，它是构建在 gcc 之上的。而LLVM也发布了他们的 D 语言编译器的 beta 版本，最后还有针对.NET 的部分实现。
注册/登录 InfoQ 发表评论