爲什麼添加返回類型的空隙返回方法導致MissingMethodException

Question

我有一個使用的組件（.DLL）.NET應用程序定義一些方法：

public void DoSomething() 
    { 
     // Do work 
    } 

假設這種方法簽名更改成包括串返回類型：

public string DoSomething() 
    { 
     // Do work 
     return "something"; 
    } 

爲什麼使用這個方法的代碼在system.missingMethodException而失敗？

在我看來，在這個方法的所有調用網站，沒有使用返回值（因爲它以前不存在）。

爲什麼此更改會破壞代碼呢？

Answer 1

因爲你做了一個突破性的API更改。您沒有更改基類或接口中的方法簽名。

調用者與此方法相關聯。在IL中，方法引用不僅是對類型及其方法的引用，而且對方法有一些索引，但調用者方法引用確實包含完整的方法簽名。

因此，此更改可以通過重新編譯調用此方法的所有程序集來解決，但當您僅重新編譯更改後的程序集並希望使用程序集將奇蹟般地選取更改的方法簽名時，您會得到運行時異常。情況並非如此，因爲方法引用確實包含完整的方法簽名和定義類型。

它也發生在我身上。你是對的，沒有人可以使用返回類型，所以這種改變是安全的，但你需要重新編譯所有受影響的目標。

Answer 2

C＃的制定者決定對方法簽名應該是嚴格的。

Answer 3

如果沒有涉及反射，但鏈接是靜態的（我從描述中假設這一點），那麼運行時將嘗試使用確切的簽名來查找方法。這就是CIL的callvirt的工作原理。

無論數值是否被消耗都無關緊要 - 運行時無法找到void YourClass::DoSomething()，它甚至不會嘗試尋找string YourClass::DoSomething()。

如果這種改變是可能的，那麼你可以通過引起堆棧下溢/溢出來輕鬆地破壞運行時。

Answer 4

因爲您更改了方法簽名。

當外部代碼需要定位某個方法時，需要確保它所調用的內容是正確的。它在編譯時將這些信息作爲簽名存儲 - 簽名信息包括返回類型（不管它是否在任何地方實際使用）。

就CLR而言，具有void返回類型的方法不再存在 - 因此MissingMethodException。

Answer 5

其他答案說明你已經改變了方法的簽名，因此必須重新編譯調用者，這是正確的。我想我可能會添加一些關於此問題的其他信息：

在我看來，在所有調用此方法的網站中，都沒有使用過返回值（因爲它之前不存在）。

這是完全正確的。現在，考慮這個問題：你如何編寫不使用數據的代碼？你似乎在假設沒有使用值不需要代碼，但沒有使用值肯定需要代碼！

假設你有方法：

static int M1(int y) { return y + 1; } 
static void M2(int z) { ... } 

，你有一個電話

int x; 
x = M1(123); 

什麼在IL級別發生？如下：

• 在x的臨時池上分配空間。
• 將123推入堆棧
• 調用M1。
• 將1推入堆棧。堆棧現在是1，123
• 在堆棧中添加前兩項。這會彈出並推送結果。堆棧現在是124
• 返回給調用者
• 協議棧仍在124
• 存儲堆棧成x的臨時存儲的值。這會彈出堆棧，所以堆棧現在是空的。

假設你現在要做的：

M1(345); 

會發生什麼？ 同樣的事情：

• 堆棧
• 調用M1上推345。
• 將1推入堆棧。堆棧現在是1，345
• 在堆棧中添加前兩項。這會彈出並推送結果。堆棧現在是346
• 返回給調用者
• 協議棧仍在346

但沒有指令存儲在堆棧上任何地方的價值，所以我們要發出一個彈出指令：

• 從堆棧中彈出未使用的值。

現在假設你叫

M2(456); 

會發生什麼？

• 堆棧
• 調用M2上推456。
• M2做它的事情。當它返回給調用者時，堆棧是空的，因爲它無效返回。
• 堆棧現在是空的，所以不要彈出任何東西。

現在你明白爲什麼從void返回值返回的方法是一個突破性的改變？ 每個呼叫者現在必須將未使用的值從堆棧中彈出。做沒有與數據仍然需要清理它從堆棧。如果您沒有將該值取消，您將錯位堆棧; CLR要求在每個語句開始時堆棧爲爲空以確保不會發生這種錯位。