D、GO、Rust 谁会在未来取代 C?为什么? 已翻译 100%

oschina 投递于 2015/11/10 18:06 (共 7 段, 翻译完成于 11-16)
阅读 17049
收藏 56
6
加载中

不要管我的地位和 D 语言创造者之一的身份。我会坦诚的回答这个问题。我熟悉 Go 和 Rust,并且知道 D 的缺点在哪里。我鼓励人们在 Rust 和 Go 社区相似身份的人,也可以提出他们诚恳的观点。接着,我们开始吧。

首先,C++ 在这个问题中也应该被提及。不管它是否取代 C,或是成为取代 C 的候选人之一,C++ 是这个等式的一个关键部分。它是最接近 C 的,同时也是从 C 中来的。在下面几个问题中我会假设 C++ 是把取代 C 作为目标的。

每一个语言都有一些基础优势(我称之为“十倍优势”,因为在一定的基准上比其他打确实效率更高)和数个挑战。这些语言在未来能否取代 C 语言,取决于它们如何利用它们的十倍优势,并且如何克服他们的数个挑战。

你是晴天
你是晴天
翻译于 2015/11/10 22:14
1

先来探讨 D

说起D,就像是领着你在我自己的屋子里游览, 我知道如何展示/隐藏干净的/肮脏的角落。跟其他两个语言相比, 关于D ,我能说的更多。原因很简单: 我了解 D 地更深入,直白地说:

 D 的主要挑战有以下:

  • 采用率不高 - 虽然名义上存在这么多年了。 D 圈子里的知情人可能会说, D 当前还是相对新的,且采用率也上涨了不是。 而且,这种看法依然存在, 而采用率是由认知驱动的。所以经理和工程师就觉得采用一种多年还没有成熟的语言很担心。 未来, 时间会继续对 D 带来负面作用,除非/直到 采用的人数有突飞猛进增长。

  •  D 和垃圾回收故事的微弱联系。 垃圾回收是个伟大发明,但是用在D 身上的决定却立即使D 跟核心市场 - 现有 C 和C++程序员分离开。对于这些程序员, 党派的分割线一贯都是“不想垃圾回收?不是个事儿,你可用D with RAII 或手动管理风格! ” 虽然这话没错,但是这很接近于没用了,因为标准库对于其他内存管理风格基本不支持,这就意味这,推定的用户需要重新建整个核心基础设施。而且,即使觉得使用垃圾回收没关系,实现的质量也没有什么可让脸上贴金的。总之,可以这么说, D 有 GC 的缺点,但是没有享有他的好处。

  • 一直缺乏前景。 很少有公司支持 D,D 是靠圈子流行起来的,圈里的工程敏感度高,长期的前景,魅力和领导力难。很长一段时间, D 尝试进行影响, 公关,都取得了负面效果, 第一个前景文档  (http://wiki.dlang.org/Vision/2015H1)  是2015 年 1 月写的, 第二个迭代 (Vision/2015H2 - D Wiki) 是 4 个月后,一个周期是 6 个月, 这真是最好 的讽刺。

当然啦,还有其他的问题, 但是其他问题要么是从这几个问题上衍生出来的,要么就是有类似的影响

babybright123
babybright123
翻译于 2015/11/11 15:36
3

我认为 D 语言 10 倍的优势有以下(当我在下面说"十倍"的时候,通俗来讲意味着"一个数量级")

  • 比C++快 10 倍的编译速度。相对于 C++ 和其他别的语言这种差距根本不可弥补。(Go 编译的速度稍微比 D 快一点,但是运行慢一点) 使用系统级语言快速编码是一种深远的变革。结合 D 语言的抽象能力,基本上可以把 D 作为一个很好的选择编写高度优化的代码,原因很简单,实验性成本很低。

  • 比脚本语言快 10 倍的运行速度。D 的一个很好的用处是作为脚本语言使用处理一些简单任务,这在速度上的好处是巨大的。当然,没有”瓶颈期“的影响-如果一个脚本增长的很大,D 总是有很有效和模块化的机制提供。当然,这值得怀疑,比如 Python 已经很多的库可供选择,但是 10 倍的差距才是根本上的:系统级语言很难达到 D 的水平,但脚本语言很难突破与之的速度差距

  • 与 C 和 C++ 结合使用相对其他语言而言容易10 倍。D 使用和 C 和 C++ 相同的内存布局;它所做的是在它之上构建结构,但是更接近底层几乎没有花销,整个 C 的标准库在语法和速度上不能更接近了,它也同为 C++ 的标准库,许多 C 的库都很容易和 D 结合使用。(https://github.com/D-Programming-Deimos)。它可以声称没有其他语言能达到它整合的水平

  • 相比其他的系统级语言,产生式编程好上10倍。D 的静态内省,编译时间的评价,混合驱动代码变的很有效这对其他语言是很困难的,无论是新的还是现存的;在这场游戏中,Go 缺乏深度甚至不能抓住重点;C++还在绝望的迷失之中;而 Rust 还在尝试之中。

弃天帝
弃天帝
翻译于 2015/11/13 03:50
2

说一下Go

这里再重申一下,Go 语言是我唯一的选择,值得你为其付出。选择 Go 主要有下面这些挑战:

  • 间接调用和垃圾收集带来的本质上的性能下降。事实上,把 Go 改造成没有间接函数调用和垃圾收集是没有意义的,因为这些是其核心的功能。这些是提高核心性能指标的主要障碍。Go 团队的回应是,战术上会提高垃圾收集的性能。不过,替换 C 语言这样的挑战不是通过一些战术就可以完成的。

  • 政治因素。 Go 的派别异常强大,在不少问题上都各有坚持,类似的问题有大有小。在比较大的问题中,泛型的实现方式非常笨拙而低下,使得泛型可以算是 Go 语音的短板之一;在类似话题上的讨论上,都足以让人郁闷不已。我认为技术问题的政治因素在长期是一个极端的破坏因素,希望 Go 团队能找到解决的方式。

  • 简化却过于简化。Go 语言的精简是很有名的 - 大家上手起来确实都很快。不过随着时间推移,这成为一个问题;Go 代码彻底慢下来 - 程序员发现整天在写同样的东西,就像一只蚂蚁做的那样,这是因为 Go 语言即使对很简单的观念和算法也没法很好的进行抽象。如果一个领域没有现成的易用的库,一般人是很难进入的。程序员要是用过 Go 之后再也不想用了,那感觉真不好。如果 Go 能让那些总是重复工作的用户改善一下处境就好了。

zicode
zicode
翻译于 2015/11/16 15:02
2

我认为的 Go 的10倍优势如下:

  • 10倍更好的策略。有一段时间 Go 语言宣称要成为系统编程语言,不过后来它的属地完全变成网络服务领域。这是一个前景非常光明的市场,Go 团队对此把握的很好(Go 团队有着这方面的世界级的工程师)。这个市场非常热,一直由 Java EE 和一些运行缓慢的脚本语言占据着,Go 在这个领域完全就是全新的选择,不过现在已经成为一个主要的选择,其低位已经不可替代了。

  • 工程上的10倍优势。 Go 语言背后有一个纯粹的工程团队,这对语言的质量起着很大的帮助,尤其是对于网络库和工具。优秀的工程管理很好的弥补了语言能力上的一些不足。

  • 10倍的品牌效应。很多打算使用 Go 语言的用户都是看在 Google 的份上。Google 出品,似乎就意味着专业、高质量和稳定。当然,品牌不是全部,不过这意味着 Go 语言只需要做到不错就行,不需要做到完美。品牌可以完成剩下的任务。

zicode
zicode
翻译于 2015/11/16 15:20
2

最后但并非最不重要的 Rust

让我再次提醒,这仅仅是我的意见。我认为 Rust 正面临一些有趣的挑战:

  • 不太和谐的个性。阅读任何数量的 Rust 代码让人想起这个笑话“朋友别让朋友翘腿的一天”的漫画图像(https://www.google.com/search?q=..)。把躯干放在瘦腿上的人。Rust 把安全、精确的内存管理置于其它一切之上。很少的问题域,这意味着思考和编码的大部分琐碎的类似基本文书的工作(GC 语言实际上自动化消失了)。安全的,确定的内存回收是个大问题,但并不是唯一的问题或者是程序中最重要的问题。因此 Rust 在这个语言设计问题上消耗巨大。这是有趣的,Rust 开始成长的其他方面的语言;唯一的解决方案是发展语言,但问题仍然是抽象能否帮助处理各级资源的必要性。

  • 外国的语法。Rust 的语法是不同的,是没有明显优势的差异。这是人来自 Algol-style 刺激性语言,需要处理一个无缘无故地不同的语法来保证正确的资源簿记。

机智的祺祺
机智的祺祺
翻译于 2015/11/13 14:16
2

Rust 的 10 倍优势是:

  • 理论上要比其他快 10 倍。在三者之中,Rust 是其中唯一一款有世界一流水平的语言。这些在它精确定义的语言和技术方法的深度都可以看得出。

  • 比其他系统程序设计语言好上 10 倍的安全性。当然,在这里我们只限于讨论它在安全上的开支。

  • 性价比要比其他好 10 倍。在很长一段时间里,Rust 的 1.0 预览版都是社区的宠儿,没有一点错误:无论发生什么问题,现有的 Rust 或者将来的 1.0 版本都会有解决的办法。现在,1.0 版本已经结束了蜜月期,人们的兴趣发生了很明显的下降(据我个人测算和估计),但是它的影响仍将继续存在。此外,毕竟,Rust 是一个正统的有实用价值的语言,它很容易将人们的热情转化实体的销售。

总而言之

无论是这几种语言被定位于逐步替换 C、C++ ,或者同时存在于代码库中,还是它们会成为未来项目的首选,今天的人们还是会首先选择 C 或 C++——这一切都取决于这些语言的能力,尽量发挥它们的长处并且在各自的挑战中获得突破。

Iam魔方
Iam魔方
翻译于 2015/11/14 22:23
2
本文中的所有译文仅用于学习和交流目的,转载请务必注明文章译者、出处、和本文链接。
我们的翻译工作遵照 CC 协议,如果我们的工作有侵犯到您的权益,请及时联系我们。
加载中

评论(128)

v
vancy2011

引用来自“vancy2011”的评论

C和C++编译出的代码的运行速度目前还是优势明显的,我们在一个项目中的一个通讯及协议解析模块C++版本跑出了java版本10倍的效率,这也意味着硬件等运营成本大大降低。而现代C++进化的已经非常接近java的开发效率了。语言的发展离不开完备的IDE和好的调试环境,希望语言的创作者们能在这方面下一下功夫,能够在多平台上开发出更优秀的IDE,让程序员们少受一些IDE bug的煎熬。

引用来自“灵剑子”的评论

这么大差距,肯定是java的内存使用没搞好。
人家是有着15年工作经验的Java架构师,在日本就工作了8年,不是使用的事情,是目前JVM的执行效率太低。
asdfsx
asdfsx
容器领域基本上是golang的天下了
young7
young7

引用来自“jQer”的评论

你虽然“熟悉 Go 和 RUST”,但你 TM 根本就不熟悉 C,这几个语言都写不了内核,除了 D 凑合以下外

引用来自“golang_yh”的评论

编译型语言,咋写不了内核,c也只不过是库强大罢了

引用来自“jQer”的评论

谁跟你说编译型语言就可以写内核,你给我讲讲谁家的内核不是用 C 语言写的???????????????????????????????????????????????????????

引用来自“golang_yh”的评论

我自己写个进程管理,不用操作系统那一套怎么就非得用c,我用汇编写硬件接口,跟其它编译语言混编一下,怎么就非得用c,c是很强大,那只是编译器强大,跟c有毛线关系,楼主你得抽象层次真高?

引用来自“jQer”的评论

哎哟,这么牛逼呀!“我用汇编写硬件接口”,请问你 TM 打算用什么程序引导呢?等你 TMB 写出你自己的操作再来放 P

引用来自“golang_yh”的评论

我没有跟你争论这个问题,我争论是其它语言能不能写内核,是不是适合不适合写内核,你真是闲得蛋疼

引用来自“jQer”的评论

你知不知道内核是什么??????????

引用来自“golang_yh”的评论

我不知道好吧,你赢了好吧,无聊,我写过BootLoader,看完过低版本linux内核。。

引用来自“jQer”的评论

syscall_ 什么意思

引用来自“golang_yh”的评论

c也有系统调用,那你也别用c写操作系统算了,这个跟语言无关,只要能编译成ELF等等格式二进制文件,能嵌汇编直接操作寄存器和底层操作,怎么就不能做内核?

引用来自“jQer”的评论

白痴,你的程序只要运行在 windows,unix,mac,就要依赖C的系统调用。编译器解释器都要将用户代码翻译为 C 内存结构,并由 C 去驱动操作系统。就你玩的那点东西,不过是照顾你这些菜鸟做出来的玩具?

引用来自“golang_yh”的评论

搞半天还是语言之争,你无聊不,我换个语言写内核,难道不能换依赖。你明知道现在操作系统都是用c,我跟你争这个了嘛?我回答的是其它语言能不能写内核,而不是适不适合写内核?大哥,语言只是个工具,牛逼的人搞什么都牛逼,菜鸟搞什么都是菜鸟。
搞了半天完全看不懂那个人呢在说啥,你们说的倒是跟我理解的一致,可能他水平太高了
zodiacg
zodiacg
楼上这个满嘴喷粪的是上哪儿打听了些一知半解的概念就在这儿胡扯了……
p
polar_bear
语言要流行起来,ide很重要
W
Wfd_God
翻译是硬伤。
jQer
jQer

引用来自“jQer”的评论

你虽然“熟悉 Go 和 RUST”,但你 TM 根本就不熟悉 C,这几个语言都写不了内核,除了 D 凑合以下外

引用来自“wei2011”的评论

别激动。人家是D语言的开发者,会对C不熟悉?(D编译器这么多年应该实现自省了,不然它的编译器肯定还是C或C++实现的).还有rust号称系统级的语言,写不了内核?先了解一下好么。看一下知乎上怎么说:http://www.zhihu.com/question/27620668

引用来自“jQer”的评论

rust 编译为 C++,怎么写内核?你告诉我怎么写,怎么写???

引用来自“wei2011”的评论

你听谁说rust编译为C++了?都说了,rust是系统级语言,明白什么是系统级语言么,自己上github搜一下rust kernel不就知道了

引用来自“jQer”的评论

rust 是基于 LLVM,连这个都不知道,还在这谈 rust,你不觉得你很可笑

引用来自“wei2011”的评论

LLVM只是个编译器框架,虽然它是C++写的,但和编译结果没关系。Clang也是基于LLVM的,但它也能编译linux内核:http://llvm.linuxfoundation.org/index.php/Main_Page 自己无知还乱喷,真是无可救药

引用来自“jQer”的评论

你是个逗比吗? LLVM 的二进制是跟 C++ 看齐的。C 会用 LLVM 编译? 傻啊你。C++ 是面向对象的东西,跟 C 是两码事

引用来自“wei2011”的评论

你居然不知道C语言的编译器有gcc和Clang,给你链接你又不看,自己什么都不懂还敢乱喷,让我想起一句话“永远都不要和一个纯SB理论,因为他会将你的智商拉到和他同样的水平...",我错了,到此为止吧。
你 TM 是个个傻叉呀,跟你说了 C++ 跟 C 的生成的二进制不一样。clang 是 C 呀,傻逼?
wei2011
wei2011

引用来自“jQer”的评论

你虽然“熟悉 Go 和 RUST”,但你 TM 根本就不熟悉 C,这几个语言都写不了内核,除了 D 凑合以下外

引用来自“wei2011”的评论

别激动。人家是D语言的开发者,会对C不熟悉?(D编译器这么多年应该实现自省了,不然它的编译器肯定还是C或C++实现的).还有rust号称系统级的语言,写不了内核?先了解一下好么。看一下知乎上怎么说:http://www.zhihu.com/question/27620668

引用来自“jQer”的评论

rust 编译为 C++,怎么写内核?你告诉我怎么写,怎么写???

引用来自“wei2011”的评论

你听谁说rust编译为C++了?都说了,rust是系统级语言,明白什么是系统级语言么,自己上github搜一下rust kernel不就知道了

引用来自“jQer”的评论

rust 是基于 LLVM,连这个都不知道,还在这谈 rust,你不觉得你很可笑

引用来自“wei2011”的评论

LLVM只是个编译器框架,虽然它是C++写的,但和编译结果没关系。Clang也是基于LLVM的,但它也能编译linux内核:http://llvm.linuxfoundation.org/index.php/Main_Page 自己无知还乱喷,真是无可救药

引用来自“jQer”的评论

你是个逗比吗? LLVM 的二进制是跟 C++ 看齐的。C 会用 LLVM 编译? 傻啊你。C++ 是面向对象的东西,跟 C 是两码事
你居然不知道C语言的编译器有gcc和Clang,给你链接你又不看,自己什么都不懂还敢乱喷,让我想起一句话“永远都不要和一个纯SB理论,因为他会将你的智商拉到和他同样的水平...",我错了,到此为止吧。
wei2011
wei2011

引用来自“jQer”的评论

你虽然“熟悉 Go 和 RUST”,但你 TM 根本就不熟悉 C,这几个语言都写不了内核,除了 D 凑合以下外

引用来自“wei2011”的评论

别激动。人家是D语言的开发者,会对C不熟悉?(D编译器这么多年应该实现自省了,不然它的编译器肯定还是C或C++实现的).还有rust号称系统级的语言,写不了内核?先了解一下好么。看一下知乎上怎么说:http://www.zhihu.com/question/27620668

引用来自“jQer”的评论

rust 编译为 C++,怎么写内核?你告诉我怎么写,怎么写???

引用来自“wei2011”的评论

你听谁说rust编译为C++了?都说了,rust是系统级语言,明白什么是系统级语言么,自己上github搜一下rust kernel不就知道了

引用来自“jQer”的评论

rust 是基于 LLVM,连这个都不知道,还在这谈 rust,你不觉得你很可笑

引用来自“wei2011”的评论

LLVM只是个编译器框架,虽然它是C++写的,但和编译结果没关系。Clang也是基于LLVM的,但它也能编译linux内核:http://llvm.linuxfoundation.org/index.php/Main_Page 自己无知还乱喷,真是无可救药

引用来自“jQer”的评论

你是个逗比吗? LLVM 的二进制是跟 C++ 看齐的。C 会用 LLVM 编译? 傻啊你。C++ 是面向对象的东西,跟 C 是两码事
我靠,你居然不知道C语言的编译器有gcc和Clang,给你链接你又不看,自己什么都不懂还敢乱喷,让我想起一句话“永远都不要和一个纯SB理论,因为他会将你的智商拉到和他同样的水平...",我错了,到此为止吧。
wei2011
wei2011

引用来自“jQer”的评论

你虽然“熟悉 Go 和 RUST”,但你 TM 根本就不熟悉 C,这几个语言都写不了内核,除了 D 凑合以下外

引用来自“wei2011”的评论

别激动。人家是D语言的开发者,会对C不熟悉?(D编译器这么多年应该实现自省了,不然它的编译器肯定还是C或C++实现的).还有rust号称系统级的语言,写不了内核?先了解一下好么。看一下知乎上怎么说:http://www.zhihu.com/question/27620668

引用来自“jQer”的评论

rust 编译为 C++,怎么写内核?你告诉我怎么写,怎么写???

引用来自“wei2011”的评论

你听谁说rust编译为C++了?都说了,rust是系统级语言,明白什么是系统级语言么,自己上github搜一下rust kernel不就知道了

引用来自“jQer”的评论

rust 是基于 LLVM,连这个都不知道,还在这谈 rust,你不觉得你很可笑

引用来自“wei2011”的评论

LLVM只是个编译器框架,虽然它是C++写的,但和编译结果没关系。Clang也是基于LLVM的,但它也能编译linux内核:http://llvm.linuxfoundation.org/index.php/Main_Page 自己无知还乱喷,真是无可救药

引用来自“jQer”的评论

你是个逗比吗? LLVM 的二进制是跟 C++ 看齐的。C 会用 LLVM 编译? 傻啊你。C++ 是面向对象的东西,跟 C 是两码事
我靠,你居然不知道C语言的编译器有gcc和Clang,给你链接你又不看,自己什么都不懂还敢乱喷,让我想起一句话“永远都不要和一个纯SB理论,因为他会将你的智商拉到和他同样的水平...",我错了,到此为止吧。
返回顶部
顶部