透過IL看C#
開篇
原文地址:http://www.cnblogs.com/AndersLiu/archive/2008/11/03/csharp-via-il.html
作者:Anders Liu
摘要:這是一個系列文章,介紹了C#中各種語言結構被編譯器翻譯為IL之後的樣子,並從IL的角度分析其中的原理。
緣起
老劉是.NET技術實打實的擁躉。但追逐.NET技術這麼多年來,很累。電腦技術,尤其是微軟技術,瞬息萬變,欲逐之而力不足,於是老劉決定往底層走一走。
如果對.NET技術有一定的瞭解,就會發現自.NET 2.0以來,儘管Framework和語言以及其他應用程式層領域(如WF、WCF、WPF和Silverlight等)技術日新月異,但其底層——用什麼詞表示好呢?姑且以IL蔽之吧——卻是非常穩定的,基本沒什麼變化。
最近推出的Visual Studio 2010 CTP更加體現了這一點,儘管C#語言發生了巨大的變化(提供了更強的與動態語言互動的能力)、Framework也要有巨大的更新,但依然沒聽說要對IL做什麼改動。所以,學習IL可能要比學習那些應用程式層技術更加輕鬆一些,雖然難度會更大,但我可以慢慢地學,細細地品味。
老劉不是吃獨食的人,既然學習,就要和大家分享。老劉不僅分享學到的東西,還希望和大家分享學習的過程,這其中的酸甜苦辣。
本來打算寫一些類似於IL教程的東西,但最終放棄了。在今年的MVP Open Day上,和Anytao還有TerryLee聊起了這個想法,我們一致認為這樣的文章沒有什麼意義。是啊,有那麼方便的開發工具、那麼強大的語言,誰會去用IL寫程式呢?更多的人是去看IL,通過IL深入理解一些更高層的技術和概念。
最終Anytao建議道,可以寫一些C#語言結構所對應的IL。這個小建議給老劉帶來了無限靈感,也誘發了這個系列的形成。在此小感謝一下!
簡介
透過IL看C#,這個IL是什麼呢?簡單來說,就是ILAsm語言。
那麼ILAsm語言又是什麼呢?如果你簡單地認為這是一門組合語言或程式設計語言,那就大錯特錯了。可以認為ILAsm是“.NET中繼資料映射語言”,也就是說,ILAsm披著程式設計語言的外衣,幾乎映射了一個託管程式集中所有的內容——包括資訊清單、中繼資料、IL指令甚至託管資源,乃至PE映像的種種屬性。
這一系列文章,就是簡單地羅列了各種C#文法結構對應的IL代碼。
誰應該閱讀這個系列
老劉寫這個系列,純粹就是憑興趣。如果你和老劉情緒相投,那麼這些小文對你來說再合適不過了。
如果你打算寫個類似於.NET
Reflector那樣的反編譯器,那麼除了對反射和IL語言相當熟悉之外,一定要深入瞭解各種C#文法構造所對應的IL指令序列模式。這種對應關係只能來源於大量的觀察和積累。有的時候,同樣的文法結構,只是因為內容相關的些許變化,就會產生截然不同的IL指令序列。這系列文章雖然不能涉及所有這些對應關係,但相信能給你帶來一些靈感。
另外——請首先降低你的標準和期望值——這一系列文章是非常簡單的,僅僅是羅列了各種C#文法結構對應的IL代碼。如果你有足夠興趣和時間,完全可以自己做這些事。但如果你只是對IL有點興緻,不想花太多時間做過多的研究,那麼這些文章還真能帶你一起過把癮。
注,老劉寫作一向是走意識流,第一篇寫下了第二篇不知道啥時候能出來,也不知道寫幾篇就另尋他歡了。所以,千萬不要特別期待。
在這借用韓寒一句話——你可以罵我,也可以不看,但別催我。
目錄
- 透過IL看C# (1)——switch語句(上)
- 透過IL看C# (2)——switch語句(下)
- 透過IL看C# (外一篇)——警惕常量陷阱
- 透過IL看C# (3)——foreach語句