vtable的替代方案

Question

Vtables在大多數OO實現中無處不在，但它們有替代方案嗎？ vtables的wiki頁面有一個簡短的介紹，但不是真的有很多信息（和存根鏈接）。

你知道一些不使用vtables的語言實現嗎？

是否有免費的在線網頁討論替代方案？

Answer 1

是的，有很多選擇！

V表是唯一可能的時候可以靜態確定

1. 所有方法調用。如果可以通過字符串名稱調用函數，或者如果您沒有關於調用方法的對象的類型信息，則不能使用vtables，因爲您無法將每個方法映射到某個表中的索引。同樣，如果可以在運行時向類中添加函數，則無法靜態地爲vtable中的所有方法分配索引。
2. 繼承可以靜態確定。如果您使用原型繼承或其他繼承方案，但您無法靜態分辨繼承結構的外觀，則無法預先計算表中每種方法的索引或特定類的方法在某個插槽中執行的操作。

通常，繼承是通過將一個基於字符串的表映射到其實現的函數名稱以及允許每個類查找其基類的指針來實現的。然後通過遍歷這個結構來實現方法調度，尋找實現該方法的接收者對象的類的最低類。爲了加速ip執行，通常會使用內聯緩存等技術，其中呼叫站點根據對象的類型存儲應該調用哪個方法的猜測，以避免花費時間遍歷整個結構。 Self編程語言使用了這個想法，然後它被合併到HotSpot JVM中以處理接口（標準繼承仍然使用vtables）。

另一種選擇是使用跟蹤，其中編譯器發出代碼來猜測對象的類型，然後硬編碼將方法調用到跟蹤中。 Mozilla Firefox在其JavaScript解釋器中使用它，因爲沒有辦法爲每個對象構建vtables。

我剛剛完成了一門編譯器課程的教學，我的一個講座是關於各種編程語言中對象的實現以及相關的權衡。如果您願意，可以查看幻燈片here。

希望這會有所幫助！