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

※ 引述《[e-mail] (汀)》之銘言：
> ※ 引述《[e-mail] ( )》之銘言：
> > 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 跟語言本身一起完成, 靠的就是切割得好
--
┌─────◆ＫＫＣＩＴＹ◆─────┐   KKBOX◤歌名╱歌手╱歌詞╱專輯◢搜尋 
│         bbs.kkcity.com.tw          │     ★  http://www.kkbox.com.tw  ★
└──《From:59.120.53.7        》──┘ 超過100家唱片公司合法授權 音樂盡情下載
--
→ ykjiang:Java compiler 用 Java 寫沒問，
→ ykjiang:問題是它寫好後要怎麼變成 bytecode?
推 abcdefghi: en.wikipedia.org/wiki/Java_compiler
→ abcdefghi:第一個 javac 是用 C 寫的.
→ abcdefghi: en.wikipedia.org/wiki/Pascal_program
→ abcdefghi:ming_language
→ abcdefghi:第一個pascal compiler用 fortran 寫的.