恐怖的C++語言
Linus曾經(2007年9月)在新聞組gmane.comp.version-control.git里和一個微軟的工程師(Dmitry Kakurin)爭執過用C還是用C++,當時的那個微軟的工程師主要是在做Git的Windows版,但他卻發現Git的源碼居然是C語言寫的,而不是C++,于是他(Dmitry Kakurin)在Linux社區里發貼表示對Linux的不滿,語言很直接:
Pure C as opposed to C++. No idea why. Please don’t talk about portability, it’s BS. (純C寫的,而不是C++,不知道為什么, 請別告訴我是為了移植性,這完全是胡扯。)
Linux之父Linus Torvalds馬上跟貼,在貼子中,Linus言辭很直接,直接表明C++是一個很恐怖的語言,他在貼子中說:
*YOU* are full of bullshit. C++ is a horrible language. It’s made more horrible by the fact that a lot of substandard programmers use it. (你才是完全在胡扯。C++是一門很恐怖的語言, 而比它更恐怖的是很多不合格的程序員在使用著它)
Linus的這個觀點我是比較同意的,我個人也在幾年前的《STL String類的寫時才拷貝》以及以后的一些文章中表達過C++的確并不是一個很成熟的語言,這種觀點一直都圍繞著我。這是因為它的學習成本實在是太高了,編譯器和類背著你做了很多你不知道的事,而且,C++非常容易地出錯和發生很多意想不到的問題。
當然,這篇文章并不是要繼續聲討C++,也不是回顧以前的某個事件。我們這里只談技術。昨天,我在網上看到一個邪惡的C++的示例,在這里給大家share一下,讓大家看看C++這種編程語言的恐怖和邪惡的一面。下面的這個例子,比那個“#define private public”還更加邪惡。
請看下面這段代碼,你能告訴我它會輸出什么嗎?(注意main函數中高亮的那一行)
#include <iostream> #include <vector> typedef int UINT4; using namespace std; class Hack { }; Hack& operator< (Hack &a , Hack &b) { std::cerr << "小于操作符\n"; return a; } Hack& operator> (Hack &a, Hack &b) { std::cerr << "大于操作符\n"; return a; } int main(int argc, char ** argv) { Hack vector; Hack UINT4; Hack foo; vector<UINT4> foo; return(0); }
是的,上面這段代碼如果只看main函數中的那句“vector<UINT4> foo”,你會覺得很眼熟,然而,事情并非那么簡單,我們可以看到vector, UINT4和foo都是Hack類的實例,這就是邪惡的開始,那兩個尖括號< >則成了兩個運算符,大于和小于,這兩個運算符卻又被重載了。其實,真正的語句是:
vector.operator<(UNIT4).operator>(foo);
所以,所有的一切都符合我們的C++的規范和語法,自然程序也能被順利編譯通過(至少,在我的G++上是沒有問題的)。而整個程序的運行結果自然是:
$ ./horror 小于操作符 大于操作符
是的,如果你通曉C++的一切的一切,你自然不會對這段程序感到驚奇。這樣的事情在C/C++的世界中并不少見,要搞亂C/C++的代碼并不是一件難事,花樣多得數不勝數,只要看看《6個變態的C語言Hello World程序》你就知道了,而且,還有一個簡單的教程《如何加密/混亂C源代碼》告訴你一些簡單的做法。
那么,如果你有一天在讀程序中看到“vector<UINT4> foo”,你會覺得那只是一個幻覺嗎?