再谈VC++ vs Delphi

类别:VC语言 点击:0 评论:0 推荐:

偶然来找一个文件,却发现这里关于VC++和Delphi的讨论很是激烈。看了大家写的一些 文章,觉得有些看法正确,有些就很偏颇甚至错误(也许无知?很抱歉我这样说:-)。我 无意与任何人争论,更愿意把这看成是技术上的讨论。应该本着公正,不带偏见的态度 (这并不意味着非要平分秋色,一切应以事实为准)。我用过除TP1以外的所有版本的 Turbo Pascal,所有版本的Turbo C/Borland C++,所有版本的Delphi和C++ Builder; 以及MSC 5.0/6.0,MSC/C++ 7.0和Visual C++ 4.2/5.0。不敢说有多高的水平,至少也 算有一点经验吧。下面就谈一下我的看法。 1. 编译器 应该说Borland的编译器是最好的。因为Borland有全世界最好的编译器开发组(虽然 Anders Hejlsberg离开了)。从技术上来讲,Borland领先任何竞争对手至少2~3年。一 般来说,Borland的编译器总是能生成更小的代码并且通常(并不是在任何情况下)更快 的代码。 紫云英、曾登高在文章中说VC++编译的程序小,这其实是使用了动态连接的结果。M$把 VC++的运行库(msvcrt*.dll, msvcp*.dll, mfc*.dll, 你看看这些文件加在一起有多大) 在安装Windows时就放在了System/System32目录中了。两位说“协商接口”的问题,恐 怕是对某些英文文章的理解错误。M$就是不愿意在Windows中带上其他公司的运行文件, 没有技术上的原因。 其实Delphi/C++ Builder不论在动态连接或静态连接的情况下,生成的程序都要比 VC++的小。比如MDI的例子程序:在Delphi/C++ Builder中选New ... | projects | MDI Application,在VC++中用MDI App Wizard;生成的程序功能是非常类似的。 下面是比较结果: (Delphi打开优化,C++ Builder使用最大速度优化,VC++ 5使用最小代码优化) Delphi 3 Delphi 5 C++ Builder 5 VC++ 5 Dynamic Link 21k 35k 44k 70k Static Link 253k 398k 467k 490k 凡是使用了应用类库的程序(不管是MFC,OWL,VCL以及新的CLx框架)都要比不使用的大 不少。这是因为目前的智能连接(Smart Link)技术还只能针对全局变量/过程,而不能 用于对象结构。哪怕你只使用了某个类(或被这个类间接引用)的一个属性或方法,这个 类以及它所引用的所有类都全部被连接到EXE中。目前所有的编译器都没有解决这个问 题。 (PS: 其实能生成最小代码(真编译)的高级语言编译器是Turbo Pascal,不信你写程序 比较一下: program Test; begin writeln('Hello, world.'); end. 生成的EXE不到1.5K。而同样的C程序: #include <stdio.h> main() { printf("Hello, world.\n"); } 最精悍的C/C++编译器生成的代码也有6K。 ) 那么几个编译器生成的代码质量又如何呢? 举一个例子,比如我们在编程时经常用到的for循环语句: (1) Object Pascal: procedure Foo; var i, j: integer; begin for i := 0 to 15 do j := j + i; end; (2) C++ void Foo(void) { int i, j; for (i = 0; i < 16; i++) j = j + i; } Delphi 3生成的代码(打开优化): 字节数 时钟周期 00424AA9 33C0 xor eax,eax 1 00424AAB 40 inc eax 1 00424AAC 83F810 cmp eax,0x10 1 00424AAF 75FA jnz -0x06 0 (可并行) ----------------- 8 3 C++ Builder 5生成的代码(最大速度优化): 00401535 33C0 xor eax,eax 1 00401537 40 inc eax 1 00401538 83F810 cmp eax,0x10 1 0040153b 7CFA jl -0x06 0 (可并行) ----------------- 8 3 Visual C++ 5生成的代码(最大速度优化): 27: for (i = 0; i < 16; i ++) 00401205 mov ecx,dowrd ptr [j] 1 00401208 xor eax,eax 0 (可并行) 28: { 29: j = j + i; 0040120A add ecx,eax 1 0040120C inc eax 1 0040120D cmp eax,10h 1 00401210 jl Foo(0x0040120a)+0Ah 0 (可并行) 00401212 mov dword ptr [j],ecx 0/1 (取决于上一条指令的分支预测情况) 30: }; ----------------- 16 4.2 (假定分支预测准确度80%) VC++ 5的最小代码优化生成也有11个字节: 27: for (i = 0; i < 16; i ++) 00401205 xor eax,eax 1 28: { 29: j = j + i; 00401207 add dword ptr [j],eax 1 0040120A inc eax 1 0040120B cmp eax,10h 1 0040121E jl Foo(0x00401207)+7 0 (可并行) 30: }; ----------------- 11 4 注: (1) Delphi/C++ Builder的结果是用Turbo Debugger直接反汇编的,VC++ 5的结果是从 集成环境的源级调试得到的。 (2) 时钟周期数以Pentium处理器为例,实际上,对于没有并行执行单元的CPU(比如 386/486和Nx586等)VC++ 5生成的代码速度还要更慢一些。 (3) 分支预测准确度源自Intel的"Pentium Optimization Reference"。不过与具体程 序密切相关,一般来说程序中的条件转移指令越密集则分支预测准确度越低。 可以看出,Delphi/C++ Builder的这段程序有1~1.2个时钟周期的优势。这主要是因为 Delphi/C++ Builder的编译器比较智能,根本不编译无用的废语句。 (有趣的是,对于这段程序而言,VC++ 5的最大速度优化反而不如最小代码优化生成的 代码运行速度快。) 不要以为1~1.2个时钟周期不算什么,整个程序的快与慢就是这样一个个时钟周期积累 出来的。而且就这几条指令而言相当于快25%~28.6%,是非常可观的数字。 我没有用VC++ 6测试(我从VC++ 5以后不再使用VC了,因为C++ Builder 5能完全兼容 VC --- 这种兼容性从C++ Builder 3开始就有了,不过一开始并不完善),不知道是否 有改进。有人有兴趣的话请测试一下。 有兴趣的话,可以去Jake's Code Efficiency Challenge(http://www.xnet.com/~johnjac) 看一看。那有代码运行性能挑战。目前Delphi/C++ Builder在6项测试中保持5项领先。 (PS:Delphi 2就曾在1996年的PC Week的性能测试中击败过VC++ 4.2) 2. 语言特性 首先我不想评价所谓“Pascal是玩具语言”这种无知的说法。某些连Basic都用不好的 人是不可能正确评价其它语言的优劣的。至于“只配高中生使用”就更加可笑了: Peter Norton没上过大学,id software的John Carmack没上过大学,你不服气?! 请不要嘲笑高中生,大多数程序员可能永远也达不到这些“高中生”的水平。创造性工 作需要的是天才,你认为天才相当于什么学位?:-) (1) 预处理,宏以及.H文件 Object Pascal不支持预处理,其实是不需要。无法直接编译源代码的编译器才需要预 处理器的支持(用于翻译/规范源程序(也包括.H之类)以利于编译)。预处理器的出现是 因为当初Ken Thompson和Dennis Ritchie要在只有256K内存的PDP-11上实现C编译器难 度很大,才采取的折衷办法。现代大多数C/C++产品已经把预处理器包含在编译器中了。 (PS:C中采用尽可能短的关键字/运算符也是由于这个历史原因) 至于macro和.H则应该说是垃圾特性,只是由于兼容性的考虑才保留下来的。ANSI/ISO C/C++规范中明确建议:“不要使用macro和.H,应该使用程序中的常量定义和函数替 代”。因为macro和.H不是C/C++的语言特性(这是真的!),没有明确统一的语法定义。 还会导致编译速度降低,另外由于macro在每个使用的地方被展开(不是调用),大量使 用macro会使生成的代码臃肿。 (2) 集合,子界类型 C++不支持这些Object Pascal的原生类型(编译器能直接识别的)。但可以用类来模拟, 毕竟C++的对象结构是最复杂灵活的(Ada除外)。不过性能有损失。 (3) 枚举类型 Object Pascal不支持为每个枚举元素指定值。 例如C/C++中可以定义:enum AWeek {Sun = 1, Mon, Tue ...}; Object Pascal中只能定义:AWeek = (Sun, Mon, Tue ...); (4) 数组 C/C++不支持Object Pascal中指定下标的数组,下标只能从0开始。 (5) 结构 Object Pascal不支持struct(在Pascal中称为record)中的位域(bitfield)。bitfield 可以bit为单位(不需要整字节)来存储结构成员,可以减小结构的存储空间。不过存取 效率会有所降低。 (6) 字符串 字符串处理是Object Pascal的强项之一。能够支持灵活高效的串处理。严格意义上讲, C/C++不能算支持原生的字符串类型。char *和char[]更近似于用户自定义类型,因为 编译器不支持字符串的内存自动分配和回收,需要用户自己调用malloc()和free()。 Object Pascal也支持C/C++风格的字符串(称为PChar)。不过string类型更加强大。从 实现上来看,Object Pascal的string类型使用前缀表示串长度(1字节前缀的short string和4字节前缀的long string,两种string自动兼容,并且long string也兼容 PChar),C/C++中的char *和char[]使用后缀chr(0)表示串结束。不同的表示方法对串 处理性能有很大的影响:对于大量,复杂的字符串操作,用Object Pascal可以写出比 C/C++快几十倍的程序(许多用Pascal写的Pascal编译器,比如Free Pascal, Pascal Pro等,虽然技术水平一般,但编译速度也很快,在某种程度上也得益于Pascal 的字符串处理效率)。比如取串长度函数Length/StrLen(),Object Pascal的实现只需 要一条mov指令,而C/C++的实现则需要进行重复串扫描直到找到结尾0为止。 Object Pascal的string类型在支持unicode字符方面也有优势。要知道C/C++的字符串 给现代操作系统支持unicode字符带来了很大的困扰,比如串'ABC'的unicode表示为: 41 00 42 00 43 00,这使C/C++程序根本无法处理这种字符串。虽然修改编译器可以很 容易解决这个问题,但光修改编译器是不够的,还要修改操作系统,否则以前的大量 C/C++程序根本无法在新操作系统上使用(这简直是灾难 --- 你连Notepad都没了,怎么 办?:-)。Windows采用凡是涉及字符串处理的API都提供两套的解决方案。比如TextOut, 有用于处理ASCII字符的TextOutA和用于处理unicode字符的TextOutW。而Unix/Linux采 用另一种办法:凡是涉及字符串处理的API都使用UTF8压缩编码(一种类似于RTF的编码 方法:凡是ASCII字符都直接存储,多字节字符则用\进行转义),虽然(勉强)保证了兼 容性却也代价不小。 (PS:C++中的String/AnsiString是用类模拟的,所以性能...) (7) 多重继承 毫无疑问,Object Pascal不支持多重继承;并且也看不出Borland有增加这一特性的意 向(其实增加是轻而易举的)。Object pascal通过接口(interface)实现多重继承。 interface不仅可以引入用Object Pascal实现的对象,也可以引入其他语言实现的 COM/DCOM/CORBA对象。你真的需要多重继承吗?我想大多数程序员和我一样都从来没有 使用过多重继承(连VCL这么强大灵活的体系结构都根本没有用到多重继承)。 (PS:Java和Delphi一样不支持多重继承,也使用interface来实现多重继承。其实这并 不奇怪:JDK 1.2和Java 2主要是由Borland开发的,Sun只挂名而已。不信你看Java类 库是不是和VCL很象。:-) (8) 对象模板 Object Pascal不支持对象模板。因为对象模板不过是宏的语言实现而已(宏本身不是 C/C++的语言特性)。 (9) 重载 Object Pascal支持函数/过程的重载,不支持运算符重载。C++全部支持。 (PS:我个人倾向于Object Pascal应该增加对运算符重载的支持) (10) 位及逻辑操作 Object Pascal和C/C++在这方面没什么差别。 C/C++的&,|,~,^,>>,<<,&&,||,!等效于Object Pascal的and,or,not,xor, shr,shl(and,or,not,xor既用于位操作也用于逻辑操作)。不过C/C++不支持逻辑 xor(A xor B = A and not B or not A and B,还是可以实现的)。 (11) 风格 其实这是我更倾向于使用Delphi的一个重要原因(由于工作的原因,我也经常使用C++和 汇编)。就象有些文章所说的:“Object Pascal和C++是同一重量级的语言”,确实难 分轩轾,差别反而主要是在风格上。C++强调灵活,而Object Pascal更注重整洁和优美。 《程序设计语言:设计与实现》一书的作者也称赞Pascal是“一种极优美的语言”。有 人因此认为Pascal“笨拙”。其实应该是“大道至简”。我认为即使用C++写程序也还 是工工整整的好,不要卖弄技巧。只有水平不高不低的程序员才喜欢卖弄技巧(水平太 低的卖弄不了,太高的又不愿卖弄了)。就象有人评李昌镐的棋“平淡”,但马晓春再 怎么“鬼才”也只能甘拜下风。 上面说的其实都是C++ vs Object pascal。不过也适用于VC++ vs Delphi。 (PS:VC++其实并未实现全部ANSI/ISO C++ 95规范(目前的最新标准)的特性(所以有人 戏称之为C+)。而C++ Builder则完全兼容ANSI/ISO C++ 95规范,并支持AT&T(C的诞生 地)和Unix V的全部C++扩展特性。有人称“M$坚持工业标准,Borland随意修改”,这 是不对的。Delphi也全兼容ANSI/ISO Pascal 1983/92规范,以及Apple Object Pascal (用过Code Warrior Professional的应该知道Apple的Object Pascal)。 ) 3. 功能及其他 (1) 易用性 毫无疑问Delphi有巨大优势,这不用多说了吧。 (PS:Delphi的真正伟大之处在于并不因为易用而降低技术水准。你需要复杂性就有复 杂性,你需要灵活性就有灵活性;不用可视化也一样写程序(可视化只是Object Pascal 对象结构的另一面),不用VCL也一样写程序) (2) 适用范围 VC++几乎能做任何硬件允许的工作。Delphi也能。 (“不!!!”,我知道你会这样说,你会举出VxD。:-) Delphi不能写VxD(其实如果你用Delphi生成OBJ,再用M$的Link连接,是可以的)是有原 因的(你见过非M$的工具能生成VxD的吗?Watcom?Symantec?GNU?...),但不是技术 上的原因。VxD的LE(Linear Executable)文件格式最早出现在Windows 3.0中,格式很 简单(比NE和PE格式都要简单),基本上是内存映象文件。但M$不知道出于什么动机就是 不允许其他公司的软件生成它的这种(专利)格式。 Delphi是可以写Windows NT的SYS和新的WDM(Windows Driver Model)驱动程序的,这些 使用普通的DLL格式。 (PS:从法律角度讲,你自己写一个程序,未经M$允许生成MS Word文件也是不行的) (PS:玩过“奇迹时代”(Age of Wonders,http://www.epicgames.com)吗?是用 Delphi 3写的。画面和速度都优于M$的“帝国时代”。不过我不喜欢玩策略类游戏,我 喜欢的是Duke3d和Quake系列,还有Tomb Raider系列。:-) (3) 集成开发环境 Delphi的IDE更简洁/好用一些。 (4) 数据库支持 在这方面除了Delphi的兄弟C++ Builder/JBuilder恐怕只有Power Builder能(勉强)与 Delphi相比。不过PB的性能和使用范围就差得太远了(要不怎么叫Poor Builder呢?:-)。 (PS:我的印象是现在大多数基于网络/大型数据库的C/S和多层结构的应用都是用 Delphi/JBuilder开发的) (5) 网络功能 Delphi也有一定的优势。尤其是在Internet开发方面。 (6) 组件支持 Delphi除了基于Object Pascal的VCL/CLx外,也支持基于COM/DCOM的组件(比如ActiveX), 另加CORBA支持。VC++只支持支持基于COM/DCOM的组件。 (7) 应用框架/设计思想 VCL比MFC至少领先一代,这也毋须多言。MFC充其量不过是对OWL的(一种不太成功的)模 仿而已,从设计思想上看甚至还不如OWL。作为一种语言的基本类库(不论可视与否), 应该从大处着眼,力求简洁有效,保持一定的弹性和抽象度(抽象意味着从功能出发, 比如VCL中的TCanvas就是对Windows中DC(Device Context)的一种极好的抽象,比起MFC 中的设计高明了何止一点半点)。而不是面面俱到,一一照搬APIs(不幸的是,M$的程序 员多年以来一直在不辞劳苦地做这项工作)。看看MFC的某些类,简直惨不忍睹:通常除 了省了HWND和DC之类的参数(已经作为类的私有数据保存了),其方法(Method)简直就是 Windows API的翻版。这样做有什么意义呢?Windows API不就摆在那里吗?比如说,使 用MFC中的线程类还不如直接调用CreateThread/ExitThread/ResumeThread/ SetThreadPriority之类的API更方便快速呢。 (PS:用过DelphiX(http://www.yks.ne.jp/~hori/)吗?DirectX这么繁杂的结构可以用 Object Pascal封装得如此之好再次证明了VCL体系结构的强大) (8) 调试 两者相差无几。VC++的源级调试更用户友好一些,而Delphi/C++ Builder对多线程程序 的调试支持更好。 (PS:要比单独的调试工具,Borland的Turbo Debugger可就要比M$的CodeView强多了) (9) 运行环境/系统需求 应该说差不多。VC++的启动速度确实要快于Delphi(这主要是相对于Delphi 4+而言, Delphi 3的启动还是很快的)。这很大程度上是由于一个事实:VC++主要是一个基于文 本编辑器的传统开发环境。Code Warrior Professional不是启动更快吗? 至于“一个数据库程序要带上3~5MB的BDE运行文件”的说法,这可能是由于在安装制作 工具(InstallSheild,Wise之类)中使用了“全部BDE安装”(默认)而不是“部分BDE安 装”。如果你只使用Access,dBase,FoxPro,Paradox之类的桌面数据库,只需要几百 K的运行文件就可以了。用M$的工具开发的数据库程序也要带上一大堆ODBC,DAO,Jet, ADO,MSDE之类的运行文件。在Delphi 5中,如果使用ADOExpress,InterBase Express 访问数据库的话,可以不带BDE。 (PS:不管怎么说,Borland在Delphi/C++ Builder的启动速度方面还是要努力改进!) (10) 产品质量/稳定性 有文章称“VC++的质量好,稳定性高”。真的是这样吗?Visual Studio的Service Pack 不是都出到4了吗?什么是Service Pack?主要不就是Bug Fix + Patch吗?!Borland 的工具也并不完美,Delphi 3的VCL中确实存在“内存漏洞”,会导致用D3开发的程序 有时(并不总是)退出后不能释放分配的内存。VC++的问题也不少:IE是用VC++写的吧, 上网时多启动几个,开开关关,最后全关闭,看看你的系统资源剩下多少了?还经常导 致“General Protection Error”。Ultra Edit是用VC++写的吧,也有同样的问题。其 实说到底,程序质量好不好,运行稳定不稳定,主要取决于开发者的水平/责任心。比 如说Tomb Raider系列和Quake系列游戏同是用VC++开发的,但画面质量和运行速度显然 Quake系列更胜一筹。象美国航空航天局(NASA),俄罗斯宇航局(RSA),美洲银行(Bank of America,资产超过5000亿美元的大银行),其他诸如American Airlines,AT&T, BMW,Compaq,BBC Television,British Telecom等大型机构/公司都在用Delphi开发 复杂的,企业级(可笑的是,有人居然称“用VC开发企业级的桌面应用”,殊不知企业 级应用和桌面应用是相对而言的)的应用系统(在http://community.borland.com (Borland社团站点)上有关于用Delphi和C++ Builder开发的产品介绍),如果有人还要 说“...稳定和可靠是硬道理,只好忍痛割爱了”,那他恐怕只好自制开发工具

本文地址:http://com.8s8s.com/it/it4069.htm