爲什麼方法調度有時很慢？

Question

閱讀CAML的名單上一些老的帖子中，我由雅克·加里奎斯遇到下列此帖一：http://caml.inria.fr/pub/ml-archives/caml-list/2007/11/24e8215c8d844b05db58ed3f79c9645f.en.html

的報價，我關心的是以下幾點：

方法調用任意對象可能會很慢。這是因爲，由於 子類型，在某些情況下，無法知道方法 將在表中的位置，並且必須執行二分搜索。

有人可以解釋爲什麼這種情況？爲什麼子類型（我在這種情況下假設的繼承）會影響到這一點？ OCaml的實現是這種情況嗎？或者其他語言也會遭受這種情況？

請指點我對此的進一步資源，谷歌已經失敗了我。

Answer 1

有人可以解釋爲什麼會出現這種情況嗎？

使用標稱類型，可以在編譯時爲每個方法分配一個唯一的整數，因此可以通過索引到數組中找到一個虛擬函數。對於結構類型（如在OCaml中），不能這樣做，因此使用結構的散列（即方法名稱）來搜索字典中的虛擬方法的函數指針。

爲什麼子類型（繼承我在這種情況下假設）正在影響這？

子類型是虛擬調度的先決條件。

這是OCaml的實現情況還是其他語言遭受這種情況呢？

剛剛OCaml的實施。在F＃中，我使用了反射和運行時代碼生成來實現相同的效果，而不會導致這樣的調用時間性能。

Answer 2

我認爲delnan的評論，在OCaml中，「Subtyping！= inheritance」具有洞察力的解釋。上述

$ rlwrap ocaml 
     OCaml version 4.00.1 

# let f o = o#x + o#y ;; 
val f : < x : int; y : int; .. > -> int = <fun> 
# 

功能f接受具有方法x : int和y : int任何對象o。請注意，不是從某些類別中繼承的對象，其中這些方法的偏移量可能已經提前修復，請注意。 任何對象與這些方法。我想這很難實施，並且可能是雅克在其消息中提到的一個案例。