剛才看雲風BLOG中《對象和資源的管理》(Trackback地址:http://blog.codingnow.com/mt/mt-tb.cgi/140),頗有不同意見。
首先,C++不是C#不是Java,如果非要在C++裡專門開一個線程來搞GC,那不如不用C++。C++程式員可以精確控制對象釋放的時機,這正是C++的長處,比方說,我有一個Socket對象,我可以保證在析構的時候就Close這個通訊端,但在C#裡,很痛苦地不能這麼做,因為鬼才知道這個對象什麼時候才銷毀。
第二,怕忘記減少引用計數嗎?文中自己也承認C++的文法可以完美地讓你在引用一個對象時,自動遞增計數,而在不需要它的時候遞減,即然有這麼好的文法,為什麼不用呢?難道編譯器會比程式員(人)更易犯錯誤嗎?
第三,原文中說“可以在主線程中安排一個定期時間,掃描所有對象,把需要刪除的對象刪除。而平時的刪除,只是做一個簡單的 mark 操作”,那麼,誰來做這個mark操作,比方說,我在一個stl容器中放了一個對象的指標,在該stl容器被銷毀的時候,它敢mark嗎?它如何知道沒有人在引用這個對象呢?這個mark和delete又有什麼區別呢?
第四,原文中似乎沒有地方能證明出“靠編譯器(自動)產生的程式碼來保證引用計數正確”這種做法的不合理性,僅僅是說編譯器隱式地產生了一些代碼(目標代碼多了)。這個是理由嗎?現代語言要做的就是讓編譯器完成更多的事情,讓程式員少犯錯。難道相比之下,我們寧原願意讓原始碼量增加(且易出錯)嗎?想起一份統計文檔,說Perl的一行代碼相當於6行C代碼所能乾的事情,而一行C++代碼的大約相當於2.5行C代碼,也就是說,越是進階的語言,它的源碼量就越少,這是天經地義的,至少說他會產生多少目標代碼,這個不應該是考慮的事情吧,而且C++產生的程式碼的效率很接近C,根本不會因為有了構造和析構就讓我們的服務程式動彈不得。
第五,用一個線程來定期掃描所有對象,無論從空間還是時間上都是浪費,如果一個對象自己能記住自己被引用了多少次,它就沒有必要讓另一個管理器來管理它。
那麼,引用計數錯在哪裡?