全局分析
【P&S 94】中提到對(duì)于類型安全的檢測(cè)來(lái)說(shuō)有兩種假設(shè)。一種是封閉式環(huán)境下的假設(shè)，此時(shí)程序中的各個(gè)部分在編譯期間就能被確定，然后我們可以對(duì)于整個(gè)程序來(lái)進(jìn)行類型檢測(cè)。另一種是開放式環(huán)境下的假設(shè)，此時(shí)對(duì)于類型的檢測(cè)是在單獨(dú)的模塊中進(jìn)行的。對(duì)于實(shí)際開發(fā)和建立原型來(lái)說(shuō)，第二種假設(shè)顯得十分有效。然而，【P&S 94】中又提到，“當(dāng)一種已經(jīng)完成的軟件產(chǎn)品到達(dá)了成熟期時(shí)，采用封閉式環(huán)境下的假設(shè)就可以被考慮了，因?yàn)檫@樣可以使得一些比較高級(jí)的編譯技術(shù)得以有了用武之處。只有在整個(gè)程序都被了解的情況下，我們才可能在其上面執(zhí)行諸如全局寄存器分配、程序流程分析及無(wú)效代碼檢測(cè)等動(dòng)作。”（附：【P&S 94】Jens Palsberg and Michael I. Schwartzbach, Object-Oriented Type Systems, Wiley 1994）
C++中的一個(gè)主要問(wèn)題就是：對(duì)于程序的分析過(guò)程被編譯器（工作于開放式環(huán)境下的假設(shè)）和鏈接器（依賴于十分有限的封閉式環(huán)境下的分析）給劃分開了。封閉式環(huán)境下的或是全局的分析被采用的實(shí)質(zhì)原因有兩個(gè)方面：首先，它可以保證匯編系統(tǒng)的一致性；其次，它通過(guò)提供自動(dòng)優(yōu)化，減輕了程序員的負(fù)擔(dān)。
程序員能夠被減輕的主要負(fù)擔(dān)是：設(shè)計(jì)父類的程序員不再需要(不得不)通過(guò)利用虛擬函數(shù)的修飾成份（virtual），來(lái)協(xié)助編譯器建立起vtable。正如我們?cè)?#8220;虛擬函數(shù)”中所說(shuō)，這樣做將會(huì)影響到軟件的彈性。Vtable不應(yīng)該在一個(gè)單獨(dú)的類被編譯時(shí)就被建立起來(lái)，最好是在整個(gè)系統(tǒng)被裝配在一起時(shí)一并被建立。在系統(tǒng)被裝配（鏈接）時(shí)期，編譯器和鏈接器協(xié)同起來(lái)，就可以完全決定一個(gè)函數(shù)是否需要在vtable中占有一席之地。除上述之外，程序員還可以自由地使用在其他模塊中定義的一些在本地不可見(jiàn)的信息；并且程序員不再需要維護(hù)頭文件的存在了。
在Eiffel和Object Pascal中，全局分析被應(yīng)用于整個(gè)系統(tǒng)中，決定真正的多態(tài)性的函數(shù)調(diào)用，并且構(gòu)造所需的vtable。在Eiffel中，這些是由編譯器完成的。在 Object Pascal中，Apple擴(kuò)展了鏈接器的功能，使之具有全局分析的能力。這樣的全局分析在C/Unix環(huán)境下很難被實(shí)現(xiàn)，所以在C++中，它也沒(méi)有被包含進(jìn)去，使得負(fù)擔(dān)被留給了程序員。
為了將這個(gè)負(fù)擔(dān)從程序員身上移除，我們應(yīng)該將全局分析的功能內(nèi)置于鏈接器中。然而，由于C++一開始的版本是作為一個(gè)Cfront預(yù)處理器實(shí)現(xiàn)的，對(duì)于鏈接器所做的任何必要的改動(dòng)不能得到保證。C++的最初實(shí)現(xiàn)版本看起來(lái)就像一個(gè)拼湊起來(lái)的東西，到處充滿著漏洞。C++的設(shè)計(jì)嚴(yán)格地受限于其實(shí)現(xiàn)技術(shù)，而不是其他（例如沒(méi)有采用好的程序語(yǔ)言設(shè)計(jì)原理等），因?yàn)槟菢泳托枰碌木幾g器和鏈接器了。也就是說(shuō)，現(xiàn)在的C++發(fā)展嚴(yán)格地受限于其最初的試驗(yàn)性質(zhì)的產(chǎn)品。
我現(xiàn)在確信這種技術(shù)上的依賴關(guān)系（即C++ 依賴于早先的C）嚴(yán)重地?fù)p害了C++，使之不是一個(gè)完整意義上的面向?qū)ο蟮母呒?jí)語(yǔ)言。一個(gè)高級(jí)語(yǔ)言可以將簿記工作從程序員身上接手過(guò)去，交給編譯器去完成，這也是高級(jí)語(yǔ)言的主要目的。缺乏全局（或是封閉式環(huán)境下的）分析是C++的一個(gè)主要不足，這使得C++在和Eiffel之類的語(yǔ)言相比時(shí)顯得十分地不足。由于Eiffel堅(jiān)持系統(tǒng)層次上的有效性及全局分析，這意味著Eiffel要比C++顯得有雄心多了，但這也是Eiffel產(chǎn)品為什么出現(xiàn)地這么緩慢的主要原因。
Java只有在需要時(shí)才動(dòng)態(tài)地載入軟件的部分，并將它們鏈接起來(lái)成為一個(gè)可以運(yùn)行的系統(tǒng)。也因而使得靜態(tài)的編譯期間的全局分析變成不可能的了（因?yàn)镴ava被設(shè)計(jì)成為一個(gè)動(dòng)態(tài)的語(yǔ)言）。然而，Java假設(shè)所有的方法都是virtual的，這也就是為什么Java和 Eiffel是完全不同的工具的一個(gè)原因。關(guān)于Eiffel，可以參見(jiàn)于Dynamic Linking in Eiffel(DLE)。