.NET CIL Call或CallVirt？

Question

如何確定是否需要使用「Call」或「Callvirt」調用方法？

Answer 1

您可以遵循這些簡單的規則逐一確定你應該使用：

• 是方法static？然後使用call。
• 是您在值類型上調用的類型？然後使用call。 （這不適用，如果該值盒裝 - 那麼你實際上是在調用上object或一些接口，而這些都是引用類型。）
• 是要調用聲明virtual或abstract的方法？然後使用callvirt。
• 您是否正在通過接口引用調用該方法？然後使用callvirt。
• 您調用的方法是否被聲明爲override，但方法和聲明類型均未聲明sealed？然後使用callvirt。

在其他情況下，沒有虛擬調度是必需的，所以你可以使用call - 但你應該使用callvirt。原因如下：

在非虛擬方法上使用callvirt相當於call，除非第一個參數爲空。在這種情況下，callvirt將立即拋出NullReferenceException，而call不會。這是有道理的，因爲callvirt旨在用於需要虛擬方法調度的情況，並且如果沒有用於執行vtable查找的對象，則不能執行虛擬方法調度。

請注意，即使不需要vtable查找，如果第一個參數爲空，callvirt仍然會引發異常！

考慮該信息，使用callvirt對引用類型的所有非靜態方法調用（如C＃編譯器一樣）可以是優選的，因爲它會立即導致一個NullReferenceException在調用位置，而不是一段時間後，當this被使用（顯式或隱式地）在方法內部。

Answer 2

默認情況下，除靜態或值類型調用外，C＃編譯器始終對callvirt使用callvirt。這會導致'this'（arg0）參數的隱式空檢查。你並沒有嚴格遵守這個約定，但是任何引用類型的虛擬方法肯定會需要callvirt。

Answer 3

如果您在虛擬方法的動態方法中使用調用，則運行時將引發安全異常。