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