什么是通用語言運行時(CLR),簡單來講:
CLR是一個支持多種編程語言及多語言互操作,完整的高級虛擬機。
有點拗口,而且不是很有啟發(fā)性,但上面的文字是將又大又復雜的CLR的功能歸類以便容易理解的第一步。它從一萬英尺的高度來幫助我們理解CLR的設計目標。從這個高度明了CLR之后,我們可以深入其各個組件了。
CLR: 一個(極少見的)完整編程平臺
每個程序在運行的時候都有驚人數(shù)量的運行時依賴。雖然程序很明顯都是由一種特定的編程語言寫就,但這只是程序員編寫程序多種依據(jù)中的一種。每個有用的程序都需要某些 運行時函數(shù)庫 以便其能跟電腦的其它資源(如用戶輸入設備,磁盤文件,網絡通信等)交互。程序也需要轉換成計算機硬件可以直接執(zhí)行的某種格式。這些依賴的數(shù)量是如此之多,范圍之廣,使得編程語言的設計者通常都引用其它標準來規(guī)范它們。例如C++編程語言不會規(guī)定C++程序的格式,每個C++編譯器都會與特定的硬件架構(如x86架構)關聯(lián),與特定的操作系統(tǒng)環(huán)境(如Windows,Linux或者Mac OS)關聯(lián),這些架構和環(huán)境會規(guī)定可執(zhí)行文件的文件格式以及加載的方式。因此,程序員不是在編寫一個“C++可執(zhí)行程序”,而是“Windows X86可執(zhí)行程序”或“Power PC Mac OS可執(zhí)行程序”。
復用現(xiàn)有的硬件或操作系統(tǒng)標準通常都是好事情,但其使得在現(xiàn)有標準之上抽象出新的規(guī)范變得很難。例如,今天的操作系統(tǒng)沒有支持垃圾回收的堆。因此也就無法使用現(xiàn)有的標準來支持垃圾回收的接口(如,將字符串傳來傳去,不需要關注刪除它們)。同樣,一個典型的可執(zhí)行文件格式只提供足夠運行程序的信息,但不足夠編譯器將其他可執(zhí)行文件綁定在一起運行。比如說,C++程序一般都使用包含經常使用功能(如printf)的標準庫(在Windows里是msvcrt.dll),但只有這個庫是不夠的。沒有對應的頭文件(如,stdio.h),程序員是無法使用這些函數(shù)庫的。因此,已有的可執(zhí)行文件格式標準不能同時描述可執(zhí)行的文件格式,并添加其它一些信息。
CLR通過定義一個 [非常完整的規(guī)范]ecma-spec來描述一個程序從編譯、到部署時綁定依賴、到運行整個生命周期的所有信息。因此,除去其他細節(jié),CLR定義了
- 一套支持GC,并包含自己的執(zhí)行程序基本操作的指令集(通用中間語言 - CLI)的虛擬機,這也就意味著CLR不需要依賴指定類型的CPU;
- 一套描述程序里聲明的元素(如類型、值、變量等等)的元數(shù)據(jù),以便編譯器在生成其它可執(zhí)行文件時有足夠的信息來從“外部”調用程序里的功能;
- 一個精確描述字節(jié)應該如何在文件里布局的文件格式,這樣我們在討論CLR EXE的時候,不與某個特定的操作系統(tǒng)或電腦硬件綁定;
- 進程的生命周期語義,即一個CLR EXE引用其它CLR EXE的機制,和CLR在運行時找到進程依賴文件的規(guī)則;
- 利用CLR內置功能(如垃圾回收、異常和泛型等)的類庫,其除了提供如整形、字符串、數(shù)組、列表和字典等基本功能意外,還提供了如文件、網絡和UI交互等操作系統(tǒng)服務。
多編程語言支持
定義、規(guī)范和實現(xiàn)這些細節(jié)是一個艱巨的任務,這也就是類似CLR的完整抽象非常少的原因。實際上,大部分抽象都是為單個編程語言設計的。例如,Java運行時,Perl解釋器或者早期的Visual Basic運行時提供了類似的完整抽象。但CLR跟這些先行者不同之處在于其支持多種編程語言。可能除了Visual Basic(因為它采用了COM對象模型),僅使用單個編程語言的體驗是非常好的,但是要與其它編程語言互操作時體驗就有點差了。編程語言之間互操作之所以困難,是因為這些編程語言僅能通過操作系統(tǒng)提供的原語來與“外族”編程語言通信。而操作系統(tǒng)的抽象層次太低階(如操作系統(tǒng)不提供內存垃圾回收),就不得不采用一些復雜的技術。通過提供 通用語言運行時,CLR允許編程語言之間采用高階結構(如可GC的數(shù)據(jù)結構)通信,大量減輕了互操作的麻煩。
由于運行時在 許多 語言之間共享,這就意味著更多的資源可被支持。為一個編程語言實現(xiàn)好的調試器和性能分析工具需要大量的工作,因此只有一些很重要的編程語言才有完整的工具鏈支持。然而,CLR上實現(xiàn)的編程語言可以共享這些基礎架構,實現(xiàn)新的編程語言的工作量也大大縮減了。也許更重要的是,所有在CLR上實現(xiàn)的編程語言都可以訪問 所有 在CLR上實現(xiàn)的類庫。龐大且不斷增長的(嚴格調試和支持)功能是CLR如此成功的一個重要原因。
簡單來講,CLR是一個將字節(jié)存到文件以創(chuàng)建和運行程序的完整規(guī)范。虛擬機可以使用不同編程語言寫就的類庫來運行這些程序。這個虛擬機,還有運行其上的不斷增長的類庫,就是我們說的通用語言運行時(CLR)。