D 语言

定义

D 是 Walter Bright 于 2001 年发布的静态类型、编译型系统级编程语言，后与 Andrei Alexandrescu 合作发展出 D2 版本。设计目标是保留 C/C++ 的性能，同时清理其历史包袱。

语言特性

D 提供垃圾回收（可选）、模块系统、内建单元测试、契约式编程、切片数组等现代设施。其最突出的能力是编译期元编程：CTFE（编译期函数执行）允许在编译期运行普通函数，配合模板与 mixin 可生成代码，表达力远超同期 C++ 模板。D 还支持 @safe/@trusted/@system 内存安全分级。

应用与现状

D 拥有 DMD、GDC、LDC 三个主要编译器，可直接调用 C 库。社区规模中等，代表用户曾包括 Facebook 的部分工具链。

影响

D 的许多设计（如 CTFE、range 抽象）被 C++ 后续标准和新兴系统语言吸收借鉴。