Re: [問題] 如何學寫COMPILER? [純拋磚引玉]

看板Programming作者時間18年前 (2007/04/18 15:01), 編輯推噓1(106)
留言7則, 2人參與, 最新討論串12/38 (看更多)
※ 引述《tinlans.bbs@whshs.cs.nccu.edu.tw (汀)》之銘言: > ※ 引述《sniffer@kkcity.com.tw ( )》之銘言: > > C++ 語法不複雜, 但是容易搞錯, 排列組合過多 > 對人來說是這樣, > 對 compiler 來說比較難處理。 parser 只是負責把 C++ code 轉成內部 structure, 會出問題通常是內部表示 data structure 沒規劃好 因為 template/class 產生的資料量超大, worst case 沒估好爆掉 不然就是寫的人誤解 C++ 語法 C++ 對人應該是比對機器複雜, 人可記不得那麼多解讀優先順序 可以用 BNF 都算好 parse > > C++ 的 templates 是 define 擴充版, 這玩意個人認為比 define 更難 debug > > trace 的時候還更是困難, 跳來跳去, 而且不同 compiler 連 STL 版本都不同 > > 不是每個寫 C++ 的人都會去鑽一堆特殊寫法, 可讀性不是只針對 C++ 上癮者 > C++ 沒有什麼所謂的特殊寫法, > 基礎書籍 (聖經本) 讀過一遍什麼都可以看得懂, > 只是有沒有那個毅力去慢慢解析而已。 > #define 根本連 debug 都不用講, > 因為沒有一種 debugger 能 step into macro, 因為 MACRO 不能搞一大片 code, 寫的時候就會避免了 在 C++ 也還是可以用 define, 爛人還不是照用 > 而 template 你卻可以直接很快樂的 step into。 再加上繼承, overloading 這些可能跨過無數 header, source 追進去早忘了上層是啥 datatype > 至於 trace 這種東西是有技巧的, > 沒事你不需要進去看 STL 寫了什麼, 自己寫的 template 難道不用 debug? 用 STL 套在自己的 class 上不用 trace? 無法預期會掛在那才會去 trace, 當然要任何點都能 trace 不然 assembly level trace 做給誰用 > 會拿 debugger 去 step into 到 STL 裡面的人大概也是因為不懂 STL, > 該用 step over (next) 的時候就該用 step over, > 什麼都 into 進去那還得了, > 不管是 debug 還是 trace 都不應該是這樣玩的。 > 有非常多人在 debug C++ 程式都忘記了一件事, > 今天是因為很多 C++ compiler 不支援 export, 所以用 template 寫東西, 不能 crossplatform, 連 compiler version 都有差 產生的語法錯誤訊息還超難懂, 熟也只能熟一個 compiler C++ 做過頭, 規定太多, 才會有 java, c# 跑出來 > 所以才把 template 相關的 library 實作碼放在 header 上, > 以致於它的實作碼在多數情況下是可見的, > 結果在 debug 的時候就傻傻的 step into 進去, > 這是不對的, > 就像你在 debug C 程式的時候, > 你不會閒到 step into 進 printf()、strcpy() 之類的 lib function 一樣, > 你沒有理由在使用 STL 的時候 step into 到 vector::push_back() 裡面。 > 唯一受人詬病的應該是 template 實際引數表示法的易讀性, 真正優良的程式靠的是規劃, 用那一種 library, tool, language 都沒用 第一個 pascal compiler 用 pascal 寫, 第一個 java compiler 用 java 寫, compiler 跟語言本身一起完成, 靠的就是切割得好 -- ┌─────KKCITY─────┐ KKBOX歌名歌手歌詞專輯搜尋 bbs.kkcity.com.tw http://www.kkbox.com.tw └──From:59.120.53.7 ──┘ 超過100家唱片公司合法授權 音樂盡情下載 --

04/18 17:39, , 1F
Java compiler 用 Java 寫沒問,
04/18 17:39, 1F

04/18 17:40, , 2F
問題是它寫好後要怎麼變成 bytecode?
04/18 17:40, 2F

04/18 21:10, , 3F
en.wikipedia.org/wiki/Java_compiler
04/18 21:10, 3F

04/18 21:12, , 4F
第一個 javac 是用 C 寫的.
04/18 21:12, 4F

04/18 21:16, , 5F
en.wikipedia.org/wiki/Pascal_program
04/18 21:16, 5F

04/18 21:16, , 6F
ming_language
04/18 21:16, 6F

04/18 21:16, , 7F
第一個pascal compiler用 fortran 寫的.
04/18 21:16, 7F
文章代碼(AID): #169S8l00 (Programming)
討論串 (同標題文章)
文章代碼(AID): #169S8l00 (Programming)