D语言是由Digital Mars公司开发的编程语言，起因是为了改进C＋＋。它与C二进制兼容（不完全），可编译为本地码，有GC也可手动管理内存，语法上借鉴多种语言，模板则在C＋＋的基础上做了相当大的扩充。D 语言既有 C 语言的强大威力，又有 Python 和 Ruby 的开发效率。它是一种集垃圾回收、手工内存操作、契约式设计、高级模板技术、内嵌汇编、内置单元测试、Mixin 风格多继承、类 Java 包管理机制、内置同步机制、内建基本运行时信息的系统级编程语言。
中文名D语言
外文名D Programming Language
开发商Digital Mars公司
D语言详细介绍D 语言是一种通用的系统和应用编程语言。它是比 C++ 更高级的语言，同时还保持了生成高效代码以及直接访问操作系统API和硬件的能力。[2]D 很适合于编写从中等规模到那些由团队合作完成、数百万行代码规模的各种程序。D 易于学习，为编程者提供了很多便利，并且适用各种野心勃勃的编译器优化技术。
D 不是脚本语言，也不是一种解释型语言。它不需要虚拟机、宗教、或者高于一切的哲学。它是给实际的编程者使用的实际的语言，它帮助编程者快速、可靠的完成易于维护、易于理解的代码。[2]
D 是数十年来实现多种语言编译器的经验的积累，是用那些语言构造大型工程的尝试的积累。D 从那些语言（主要是 C++ ）那里获得了灵感，并使用经验和现实世界中的实用性来驯服它。
自从 C 语言被发明以来，软件工业走过了一段很长的路。许多新的概念被加入了 C++ 中，但同时维护了同 C 的向后兼容性，包括兼容了原始设计中的所有的弱点。有很多修正这些弱点的尝试，但是兼容性是最大的困扰。同时，C 和 C++ 都在不断引入新的特性。这些新特性必须被小心的加入到现有的结构中，以免重写旧的代码。最终的结果十分复杂—— C 标准将近 500 页，C++ 标准大概有 750 页！C++ 实现起来既困难又代价高昂，造成的结果就是各种实现之间都有差别，因此很难写出完全可以移植的 C++ 代码。
C++ 程序员倾向于使用语言中的孤岛来编程，也就是说，他们倾向于十分精通语言中的某个特性而避免使用其他特性。尽管代码通常在编译器之间是可移植的，但在程序员之间移植就不那么容易了。C++ 的一个长处是它支持很多根本上不同的编程风格——但从长远来看，互相重复和互相冲突的风格会给开发带来妨碍。
C++ 在标准库而不是语言核心中实现了可改变大小的数组和字符串拼接等。不在语言核心中实现这些功能造成了几种不太理想的结果。
是否能把 C++ 的能力释放、重新设计并重铸到一门简单、正交并实用的语言中呢？ 这种语言是否能做到易于正确实现，并使编译器有能力有效地生成高度优化的代码呢现代编译器技术已经取得了很大的进步，有些原来用作原始编译技术的补充的语言特性已经可以被忽略了（一个这样例子是 C 语言中的‘register’关键字，一个更为微妙的例子是 C 中的宏预处理程序）。我们可以依赖现代编译器的优化技术而不是使用语言特性（如同原始的编译器所做的那样）来获得可以接受的代码质量。[3]
D的主要目标粗看上去 D 就像 C 和 C++ 。这样一来学习以及将代码移植到 D 就很容易。从 C/C++ 转向 D 应该很自然。程序员不必从头学起使用 D 并不意味着程序员会如 Java 或者 Smalltalk 那样被严格的限制在某一个运行时 vm （虚拟机）上。D 没有虚拟机，编译器直接生成可连接的目标文件。D 如同 C 那样被直接连接到操作系统。通常那些你熟悉的工具如 make 同样适用于 D 的开发。
D 适合于？
D 不适合于？
D 语言允许定义类和接口。像 Java 一样，D 语言的继承模型是单类继承和多接口继承。所有的类都有一个根类 Object。D 语言的类和接口都是引用类型，而结构是值类型，且不允许继承。[4]
运算符重载类可以通过重载现有的运算符扩展类型系统来支持新类型。例如创建一个 bignumber class ，然后重载 +、-、* 和 / 运算符，这样大数类就可以使用普通的代数运算语法了。
模块化编程D 语言的每一个源文件都被定义为一个模块(module)，源文件之间的依赖即体现了模块之间的依赖。同一目录下的多个模块可以组成一个包(package)。基于模块的代码让项目的逻辑变得更加清晰，也为项目的快速构建和编译提供了支持。[4]
声明 vs 定义
C++ 的函数和类通常需要声明两次——声明位于 .h 头文件中，定义位于 .c 源文件中。这个过程易于出错而且冗长繁琐。显然，应该只需要程序员写一次，而由编译器提取出声明信息并将它导入到符号表中。这正是 D 所做的。
示例：
class ABC { return7; } static int z = 7; } int q;
再需要单独定义成员函数、静态成员、外部声明之类的，也不需要像这样烦法intABC::func() { return7; } int ABC::z = 7; extern int q;
注记：当然，在 C++ 中，琐碎的函数如 { return 7; } 也可以直写在声明处，但是复的函数就不行了（uframer：虽然从语法上说依然是可以的，但会违反 C++ 接口和实现分离的原则。）。另外，如果有前向引用的话，就必须保证已经声明了被引用的那个函数一个原型。下面的代码在 C++ 中是不合法的：
class Foo { int foo(Bar *c) { return c->bar; } }; class Bar { public: int bar() { return 3; } };
但是等价的 D 代码就可以正常工作：
classFoo { int foo(Bar c) { return c.bar; } } class Bar { int bar() { return 3; } }
D 函数是否被在线化取决于优化程序的设置。
D 模板提供了一种提供范型编程和偏特化能力的简洁的方法。
关联数组关联数组是索引可以为任意类型的组，不像普数组那样必须使用整数作为索引。本质上，关联数组就是散列表。关联数组使构建快速、高效、无错的符号变得容易了。
真正的 typedef
C 和 C++ 的 typedef 实际上是类型别名 ，因为它不会引入新的类型。D 实现了真正的 typedef typedef int handle; 实实在在地创造了一个新类型 handle。D 同样会对 typedef 引入的类型进行类型检查，并且 typedef 也与函数重载的决策。例如：int foo(int i); int foo(handle h);
Bit 类型
机器上最基本的数据类型是位，因此 D 直接支持 bit 数据类型。它在创建位数组时最有用： bit[] foo;
函数如你所愿，D 提供常规的对函数的支持，包括全局函数、重载函数函数在线化、成员函数、虚函数、函数指针等等。另外，D 还支持：
函数可以嵌套在其他函数内。这对于代码分解、局部性以及函数闭包技术都具有很高的价值。
匿名函数可以直接嵌入到表达式中。
嵌套函数和类成员函数可以被称为闭包（也被称为委托），它们可使范型编程更为容易并保证类型安全。
这几个修饰符不只能使函数更为易于理解，还能避免使用指针而不会影响代码的功能，另外这也会提高编译器帮助程序员找到编码问题的可能性。 这些修饰符使 D 能够直接同更多的外部 API 对接。也就无需使“接口定义语言（IDL）之类的东西了。
数组C数组有几个可以被纠正的缺点数组本身并不带有数组结构的信息，它们必须另外存储和传递一个经典的例子就是传递给 main(int argc, char *argv[]) 函数的 argc 和 argv 参数（在 D 中，main 被声明为 mai(char[][] args) 。
数组不是一等公民。当一个数组被传递给函数时，他被转换为指针，尽管那个原型令人迷惑地声它是个数组。当生类型转换时，所有的数组类型信息也就丢失了。 C 数组的大小不可改变。这意味着即使最简单的聚集如堆栈都必须用一个复杂的类构造。C 数组没有边界检查，因为它们根本不知道数组边界是多少。 数组声明中的 [] 位于标志符之后。这使得声明如一个指向数组的指针这样的东西都需要复杂难懂语法：int (*array)[3]; 在 D 中，数组的 [] 位于左侧：int[3] *array; // 声明了一个指向含有 3 个 int 的数组的指针 long[] func(int x); // 声明了一个返回含有 long 数据的数组 ，显然这更易于解D。
数组有四种变体：指针、静态数组、动态数组和关联数组。
字符串在 C 和 C++ 中，对字符串的操作是如此的频繁，而又如此的笨拙，以至于最好还是由语言本身来支持它比较好。现代语言都处理字符串连接、复制等等操作，D 语言也提供了这些支持。字符串是直接由经过改进的数组来处理的。
资源管理垃圾收集D 的内存分配完全采用垃圾收集。经验告诉我们，C++ 中的很多复杂特征都是用于处理内存释放的。有了垃圾收集，语言就变得简单多了。
有一种看法认为垃圾收集是给那些懒惰、初级的程序员准备的。我还记得那些对 C++ 的评论，毕竟，没有什么 C++能做而 C 不能做的，或者这对汇编来说也一样。采用垃圾收集可以避免 C 和 C++ 中必需的乏味的、易于出错的内存分配和追踪代码。这不只意味着更少的开发时间和更低的维护费用，还意味着程序运行得更快！当然，可以在 C++ 中使用垃圾收集程序，我已经在我自己的项目中使用它了。C++ 对垃圾收集程序并不友好，这也造成了 C++ 中垃圾收集的低效。很多运行时库的代码都不能同来垃圾收集程序一同工作。
尽管 D 是一种采用垃圾收集的语言，还是可以重写某个类的 new 和 delete 操作以采用一个定制的分配器。
RAII 是一种管理资源分配和释放的现代软件开发技术。D 以一种可控的、可预测的方式支持 RAII ，它是独立于垃圾收集程序的回收周期的。
性能轻量级聚集
D 支持简单的 C 风格的结构，既保证了对 C 数据结构的兼容性，也是因为有时采用类有杀鸡用牛刀之嫌。
内联汇编
设备驱动程序、高性能系统程序、嵌入式系统和某些特殊的代码需要使用汇编语言完成任务。尽管 D 的实现不一定要实现内联汇编，它也仍被定义为语言的一部分。他可以满足绝大多数使用汇编语言的需要，这样就不需要单独的汇编程序或者使用 DLL 了。许多的 D 实现同时也实现那些类似于 C 的支持 I/O 端口操作、直接访问浮点硬件等内部功能的内函数。
可靠性现代的语言应该竭尽所能地帮助程序员避免出错。语言提供的帮助有多种形式：从易于使用更为健壮的技术，有编译器指出明显出错的代码，到运行时检查。
契约契约式编程（由 B. Meyer 发明）是一种用于保证程序正确性的革命性的技术。D 版本的 DBC 包括函数先验条件、函数后验条件、雷不变量和断言契约
单元测试可以给一个类加入单元测试，这样测试程序就能在程序启动时自动运行。这样就能够在每次构建时都验证类是否实现了他所应完成的功能。单元测试构成了源代码的一部分。创建单元测试成为了类开发过程中的自然的一部分，而不是将完成的代码直接抛给测试小组单元测试可以使用其它语言完成，但是其结果看起来有一种七拼八凑的感觉，而且你采用的那种语言很可能并不兼容个概念。单元测试是 D 的一个主要特征。
对于库函数来说，单元测试已经被证明是十分有效的。它既可以保证函数工作正常，也可以演示如何使用这些函数。考虑大量的可以从网上下载的 C++ 库和应用程序代码。其中有“几个”是带有验证测试的？更不要奢望单元测试了？少于 1% ？通常的做法是，如果它们能通过编译，我们就假定它是正确的。而且我们不知道变异过程给出的警告到底是真正的错误还是瞎唠叨。
契约式编程和单元测试使 D 为编写可信赖、健壮的系统程序的最好的语言。单元测试还是我们能够粗略但快速地估计你从未经手的 D 代码片断的质量——如果没有单元测试和契约式编程，每人会干这种事。
调试特征和语句现在调试成为了语言语法的一部分了。可以在编译时决定是否使用这些代码，再也不用使用宏或者预处理命令了。调试语法提供了一种持续的、可移植的、易于理解的识别调试代码的方法，使程序员既能够生成带有调试代码的二进制版本，也能够生成没有调试代码的二进制版本。
异常处理D 采用了更为高级的 try-catch-finally 模型而不是原来的 try-catch 模型。没有必要只是为了利用析构函数实现 finally 语义而构造一个傀儡对象。
同步因为多线程编程已经越来越成为主流，所以 D 提供了构建多线程程序的原语同步既可以作用在方法上，也可以作用在对象上。synchronized int func() { . } 同步方法一次只允许一个线程执行，同步语句将在语句块周围插入一个互斥体，控制对象或全局的访问。
对健壮性技术的支持D 保留了 C 的运算符和它们的优先级、求值的规则和类型提升规则。这就避免了由于同 C 的语义不同而造成的微妙的难以发现的 bug 的出现。
不只拥有同 C 类型对应的类型，它还提供了直接访问 C 函数的能力。完全没有必要编写封装函数和参数变换器，也没有必要逐一地复制聚集类型的成员。
使对 C API 或者现有的 C 库代码的接口成为可能。D 支持结构、联合、枚举、指针和所有的 C99 类型。D 还拥有设置结构成员对齐方式的能力，这样就可以保证同外部导入的数据格式的兼容。
D 的异常处理机制将在应用程序中利用底层操作系统提供的异常处理方式。
D 生成标准的目标文件格式，这样就能够使用标准的汇编程序、链接器、调试器、性能分析工具、可执行程序压缩程序和其他的分析程序，还能够同其他语言编写的代码相链接。
项目管理D 对从同一份源码生成多个版本的程序提供了内建的支持。它替代了 C 预处理程序的 #if/#endif 技术。
随着代码不停的演进，一些旧的库代码会被更新、更好的版本代替。同时旧的版本必须可用以支持旧的客户代码，旧的版本可以被标记为废弃的。可以通过编译器的一个选项来判断使用废弃版本代码的版本是否是合法的，这样一来负责维护的程序员就可以更为轻松的判断哪里是依赖于已经被废弃的特征的。
D 编译器不会为可疑的代码生成警告。代码要么可以被编译器接受，要么不能被编译器接受。这样就不会引起有关哪些警告确实是错误而那些不是的争论，也就没有如何处理它们的争论了。对编译器警告的需求本身就是不好的语言设计的表现。
参考资料本文发布于:2023-06-04 17:40:13，感谢您对本站的认可！
本文链接：https://www.wtabcd.cn/zhishi/a/92/199003.html
版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系，我们将在24小时内删除。
本文word下载地址：D语言（Digital Mars开发的编程语言）.doc
本文 PDF 下载地址：D语言（Digital Mars开发的编程语言）.pdf
| 留言与评论（共有 0 条评论） |
