神话与谬误：争论C++前你应当知道什么
| 时候，他的真实意思很可能是：“C++语言的阴暗角落太多，而且C++社群还有提倡对语言角落把握的潜在哲学，就连C++0x的进化也似乎更多关注语言特性，而那些语言特性根本就跟我们实际开发者脱节了…”等等。 首先得承认的是，在近一个十年的时间内，C++社群的确某种程度上建立起了一种对语言细节过分关注的心态，这种心态毫无疑问是错误的，但只有知道这个错误是如何来的，才能解开这个结。而且，就算一时解不开这个结，知道了原因之后才能保持理性的宽容态度，而不是乱发抱怨。一个理性的态度，更有助于良性发展。例如如果C++社群都能明白这种潜哲学从何而来，或许也就会渐渐走向更好的发展了。 我用一个例子来说明这一点：你平时遍历一个数组，或一个容器的时候是怎么做的? for(std::vector::iterator it = v.begin(); it != v.end(); ++it) {…} 这种做法很臃肿。其实你的逻辑是“对v中的每个元素，做…事情”，你知道大多数其它流行的语言中都有内建的for_each。那C++中就没有了吗?有。STL的for_each算法，于是你写： struct MyOp{void operator()(int& i){…}}; std::for_each(v.begin(), v.end(), MyOp()); 这个方案实际很差。一是你还是得写v.begin()、v.end()，二是你得为此定义一整个新类。三是这个新类并不在你使用这个新类(for_each被调用)的点上，因为局部类不能做模板参数。 你要的是lambda function： for_each(v.begin(), v.end(), <>(int& i){ …}); 可是C++98没有。 你要的是内建foreach： for(int& i : v) {…} 可是C++98没有。 鉴于循环结构是编程中最常出现的结构之一。这个问题其实还是比较恼人的，如果你觉得不恼人可能只是因为你适应性习惯了，这未必是好事。比如每次都要写std::vector::iterator就很让人恼火，如果我换个容器，就要修改一堆std::vector<…>。那用typedef行不行啊?行。可仍然还是需要写一次typedef，我很懒，我什么多余的无用代码都不想写。要知道，每多出一行无用的(并非因表达思想所需要才出现)的代码，就增加一点维护负担，这也正是为什么语言的表达力如此重要的原因。 那怎么办?如果我告诉你，C++98里面其实你也可以写： foreach(int& i , v){ …} 你怎么想? 废话。当然是求之不得了。有这么简洁的表达方式谁还不想用啊。 我需要告诉你的另一个事实是。为了在C++98里面几近完美地实现这个特性，有人把标准的角落挖了个底朝天。不，我不是在为钻语言细节找理由，我只是想告诉你，许多人所认为的钻语言细节的做法，其实一开始大多是由用户实际需求驱动的，这个foreach设施被C++程序员们试图实现了N遍N种做法，可见需求之强烈。可惜绝大多数实现都远远称不上好用，就连现在这个实现的作者也早在03年在CUJ上发了一个实现，也称不上好用。是后来又契而不舍才实现了最终这个真正好用的版本的。 我想说的是，上面这个美好的foreach，当然人人都想用。但问题是要在C++98下实现它只能靠挖标准，这是唯一的途径。要不然就得等语言进化，并忍受若干年，谁愿意?况且这个foreach设施还能作占位符，在C++09来临之前兢兢业业履行其职责，C++09加入内建foreach支持之后只消用正则表达式搜索全局替换，就OK了，没有任何的升级麻烦。 再举一个经典的例子：STL里面的traits。其实traits不应该是traits。traits最自然的实现方式应该是C++09的concept。但STL需要用到静态dispatch技术啊，那怎么办?要么用traits(增加语言复杂性)，要么不用(显然不行)。 再举个经典的例子：模板元编程。模板元编程有啥用?日常开发者八辈子估计也用不到。但真的吗?没错，日常开发者并不会直接用到。但是，由模板元编程支持 |
凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢! |
