C++ 与复杂性文化 已翻译 100%

袁不语 投递于 2013/08/25 09:59 (共 9 段, 翻译完成于 09-17)
阅读 4135
收藏 56
3
加载中

阅读前提:

注意:这边文章是供软件开发专家欣赏,而并非供GreaterThanZero的用户欣赏。

阅读者需要熟悉C++并且至少掌握一门其它面向对象编程语言。

概要:

在我的印象里"复杂性文化"深深植根于C++社区里。在这片文章里面,我将带领大家探索C++历史,以期从中理解这种现象。

我是一个C++的长期用户,并且作为一名作者和鼓吹者在C++社区里面活跃了若干年。是的,GreaterThanZero的后端大量使用了Java而非C++。这是否意味着我加入了浩浩荡荡的反C++大军?不,不是这样,我能给个证明:搜索“C++ auto and decltype",你就会发现第一个结果就是我几周前写的一片文章。用Java实现GreaterThanZero的数学后端,是基于一些其它方面的考虑,主要是因为需要使用Google App Engine作为发布平台。

liyong2
liyong2
翻译于 2013/09/15 08:48
1

每当我给GreaterThanZero写JavaScript或者Java代码的时候,我经常发现我自己在思考这个问题,“哈,so easy.妈妈再也不用担心我的代码了。”接着,我不得不惭愧的承认,我很失望。因为没我没有机会证明自己比别人更聪明。我不得不去安慰自己说,我实现的数学不简单呢。

想要给人们留下你的代码极其复杂的印象而不是你的软件,是一种不够成熟且工程做的不好表现。我就干过这种事。无需多言,这是我需要克服的。我不会将我自己的缺点和人格弱点怪罪他人。但是,我觉得如果说想要给别人留下代码是复杂的印象的这种坏习惯只能在一种“复杂性文化中”才能诞生并且流行起来,在这种文化中,复杂以及难以理解的代码虽然未必得到承认和鼓励,但是至少是可以忍受的。虽然我不知道这有多流行,但从我自己的经验来看,这种复杂性文化是C++社区让人备受折磨的一部分。

liyong2
liyong2
翻译于 2013/09/15 08:58
3

我相信你若要解决一个难题,就必须首先了解其根源。所以,我将通过追溯C++和面向对象编程的根源,来尝试解释在一些C++社区中会碰到的对复杂文化的偏好现象。

广为传播的共识中,第一种面向对象语言是Simula 67。早期的为OO模式的出现做出贡献的开发工作发生在MIT的List领域的工作,特别是在人工智能组。我不清楚Simula 67的发明者多大程度上受到了MIT的工作的影响。然而,有意或无意的,Simula 67采用了引用语法(reference semantics)以及gb(garbage collection)特性(后面详细叙说),这的确显示对Lisp的一些延续。

青崖白鹿
青崖白鹿
翻译于 2013/09/16 15:18
1

那C++又是如何参与进来的呢?正如这篇文章: Wikipedia article on Simula中所说:“C++的创始人, Bjarne Stroustrup认为在开发C++过程中,为了把Simula具有的提高开发效能的特性和底层语言如BCPL所具有的原生的计算速度特性相结合,Simula 67对他的影响最大。

公平的说,可以认为Simula 67和OO模式的出现是一种创新的,如果不算革命性的,观念从已有的有效实践中诞生的例子。我所说的Lisp使用了引用语法( reference semantics )和gb特性的事实就是证据。我认为,C++把OO模式和高效性以及C具有的底层控制能力相结合的方法是另一种形式的努力。为得到最好的效果,把其他两个完全独立的特性包含进来,在我眼里这是一种实验。我这样说不是表达批评之意,相反,我相信人类的好奇心和无休止的对更优方案的追求将使得这种实验得到有效执行。

青崖白鹿
青崖白鹿
翻译于 2013/09/16 15:48
2

C++的实验并没有失败,那么多的人用C++写出了那么多的令人惊讶的有用软件足以打破任何人所宣称的C++失败的言论。另一方面,就我而言,C++却也并非完全成功了,要知道,有人会说,这似乎很有魅力,似乎OO特性和C的底层控制都是为对方而准备的。在我看来,有很多很明显的不一致和不协调,它们有两种展示自己的方法:

1. C++程序员不得不花费大量工作到no other end,而不是使语言工作。

2. C++的进步是得到了一个处理语言内核的不一致和不协调性的影响的外部驱动。

要得到上面说法的证据,考虑除了C++和Objective C的OO编程语言,想想Java和C#,下面的场景:

x = y;
这样会发生什么?它使得变脸x引用了y引用的对象,并且让垃圾回收器处理上面的表达式引起的对x之前引用对象的影响。这就叫 reference semantics,这也发生在函数参数传递时。
青崖白鹿
青崖白鹿
翻译于 2013/09/16 17:29
1

现在看看C++中相同的行,此时假设x和y都是用户自定义类型的对象。这样的行都做了些什么呢?是的,在我们没有看到用户定义类型的源代码的时候,我们当然不知道做了什么,而且复制赋值操作符还可能出现重载。然而有默认行为,一般来说,默认的行为就是x指向的对象和y指向的对象具有同样的状态。技术上来说,状态相同是通过这种方式获得的:对象的复制赋值操作符可以递归地应用到对象的成员,直到对象的成员是基本类型比如int为止,这时,将会进行正常的旧的值赋值。这也称作值语义,然而我更愿意称其为状态语义。对象是没有值的,它们只有状态,所以在这里发生了这样的转换行为。

几点人
几点人
翻译于 2013/09/17 08:51
1
大多数人都同意变量之间赋值是编程语言设计的一部分。在C++里,用户自定义类型的变量之间赋值涉及到对象拷贝。不过经验表明复制对象很困难。下面从comp.lang.list的常见问题解答(FAQ)页面的摘录对此进行了很好的总结:“问:为什么这种编程语言没有深度拷贝功能? 答:拷贝任意结构或者对象需要根据上下文来确定正确的拷贝应该怎么做(哦,原来是这样!)。”在C++里,对对象的拷贝就会遇到例如把C风格的指针当作类成员看待这样的技术问题,这样的事实使得对象之间的拷贝更加难以实现。我相信,有证据支持我上面的 猜想1:C++程序员不得不更加努力地确保变量之间的赋值功能将像基本类型那样正确地运行。这里仅仅只有一个例子;我将准备给出更多这样的例子。
几点人
几点人
翻译于 2013/09/17 09:17
1

为了寻找支持上面我的猜想2的证据,我请你看看rvalue引用。Rvalue引用给出了对象移动语义,而且rvalue引用解决了完全转发问题。对用户自定义的类型使用引用语义和垃圾回收的古典面向对象的语言既没有移动语义所关注的性能问题,也没有完全转发问题。C++自己正在解决这儿提到的问题,而且它已经按照对应用编程人员不透明的方式这么做了:rvalue引用使得应用编程人员可以看到更多的语言界面。再者,这只是对我猜想的提供证据的一个例子;我将提供更多这样的例子。

几点人
几点人
翻译于 2013/09/17 09:48
1

据说一个公司或者组织都有自己的DNA。如果编程语言也有自己的DNA是真的话,那么对我来说,C++也应该内置了自己的DNA。

  • 希望关注编程语言内部的问题,而且语言内部的设计会大大地影响到编程人员日常生活里。
  • 更加关注实验、更加关注功能所取得的即刻好处,而问题则留给以后在修改。
  • 可以稍稍增加编程语言的体积以及提供给用户的界面这种倾向,而很少关心功能之间交互所产生的混合复杂性。

另外,不要为出于虚荣心而编写的复杂的并且实验性的代码这样不可原谅的行为请求原谅,我真正感觉到诱使我这么做的是一种文化,这种文化好的一面是根本不关心如何如何的复杂,坏的一面是鼓励增加复杂性。我相信:哪些要求用户懂得许多并且让用户有更多的的机会狂热地进行试验性编程和复杂性编程的语言管理者应该有责任在创建让语言简化的文化中付出更多努力。说实话,我根本看不到这样的努力。站在像Go语言这样的竞争者的角度来看的话,我对C++的未来很悲观!

几点人
几点人
翻译于 2013/09/17 11:51
1
本文中的所有译文仅用于学习和交流目的,转载请务必注明文章译者、出处、和本文链接。
我们的翻译工作遵照 CC 协议,如果我们的工作有侵犯到您的权益,请及时联系我们。
加载中

评论(26)

赵云30
赵云30

引用来自“轩辕O之风”的评论

引用来自“BillyJack”的评论

06年学习C++.看了很多C++方面的书. 后来实在受不了它的"博大精深"了. (小弟小妹学习VB/Delphi半年就轻易做出美观实用的信息管理系统, 我学C++好几年了,做着很吃力呢) 不想再浪费光阴了. 两年前 转C#和Perl了. 实现同样的功能真方便,真快捷. 简直从地狱到了天堂一样. 结论:人不是为技术活的. 技术是为人服务的. 生命短暂而可贵, 用最少的生命成本换来最多的实用价值 才是 人生真谛呀.

“人不是为技术活的,技术是为人服务的。。。”很赞成这句话,站在公司或者说项目的角度来说非常正确。但还是有技术粉喜欢研究C++,喜欢它的自由,这是从个人情感来说的,我觉得也无可厚非!

喜欢研究C++的人不少,不过要说喜欢C++的人,至今没听说过。
轩辕O之风
轩辕O之风

引用来自“BillyJack”的评论

06年学习C++.看了很多C++方面的书. 后来实在受不了它的"博大精深"了. (小弟小妹学习VB/Delphi半年就轻易做出美观实用的信息管理系统, 我学C++好几年了,做着很吃力呢) 不想再浪费光阴了. 两年前 转C#和Perl了. 实现同样的功能真方便,真快捷. 简直从地狱到了天堂一样. 结论:人不是为技术活的. 技术是为人服务的. 生命短暂而可贵, 用最少的生命成本换来最多的实用价值 才是 人生真谛呀.

“人不是为技术活的,技术是为人服务的。。。”很赞成这句话,站在公司或者说项目的角度来说非常正确。但还是有技术粉喜欢研究C++,喜欢它的自由,这是从个人情感来说的,我觉得也无可厚非!
BillyJack
BillyJack
06年学习C++.看了很多C++方面的书. 后来实在受不了它的"博大精深"了. (小弟小妹学习VB/Delphi半年就轻易做出美观实用的信息管理系统, 我学C++好几年了,做着很吃力呢) 不想再浪费光阴了. 两年前 转C#和Perl了. 实现同样的功能真方便,真快捷. 简直从地狱到了天堂一样. 结论:人不是为技术活的. 技术是为人服务的. 生命短暂而可贵, 用最少的生命成本换来最多的实用价值 才是 人生真谛呀.
ExtremeTalk
ExtremeTalk
"在我看来,有很多很明显的不一致和不协调,它们有两种展示自己的方法:
1. C++程序员不得不花费大量工作到no other end,而不是使语言工作。
2. C++的进步是得到了一个处理语言内核的不一致和不协调性的影响的外部驱动。 "

这段翻译有人看懂了吗?
崔钢
崔钢

引用来自“唐海”的评论

引用来自“antipro”的评论

引用来自“日谁改我名字了___”的评论

傻逼! go就是shit 能和C++相比?

你看看你的发言,有几句没有脏话?

go确实很垃圾,这是真的。国内狗粉太多,google拉泡屎都是香的

我不得不说,如果相对于国内的情况,google拉的屎的确是香的。
唐海

引用来自“antipro”的评论

引用来自“日谁改我名字了___”的评论

傻逼! go就是shit 能和C++相比?

你看看你的发言,有几句没有脏话?

go确实很垃圾,这是真的。国内狗粉太多,google拉泡屎都是香的
antipro
antipro

引用来自“日谁改我名字了___”的评论

傻逼! go就是shit 能和C++相比?

你看看你的发言,有几句没有脏话?
江斌
江斌

引用来自“GPU编程匠”的评论

C++只是一个工具,复杂与否用不用与否都在于人,没有完美的语言,但C++也不失为一门比较好的语言,他的未来是由程序员们共同决定的,没必要纠结于任何语言上的细节。点到为止,为我所用即可

你说得很对!而且我发现把你评论中的“c++”换成其他语言,你这段话依然对!
江斌
江斌

引用来自“LinkerLin”的评论

更好的C++不就是Objective-C么?

同感,赞!
江斌
江斌

引用来自“小恶魔的面具”的评论

如果能出个做了严格约束,精简语言特性的c++ lite版,我倒是会挺喜欢的

oc算吗?
返回顶部
顶部