如何檢查一個方法總是返回一個值

Question

我寫了一個已經正常工作的編譯器。它檢查所有非void方法是否至少有一個return語句，但它不檢查非void方法中的所有代碼路徑是否返回一個值。因此，舉例來說，如果我有以下代碼：

int function(bool a) 
{ 
    if(a){ 
     return 5; 
    } 
} 

這將彙編「精」，如果是假的，控制將脫落的功能和繼續執行無論是作用下定義。

是否有一些算法可用於執行此檢查，以便我始終知道某個方法是否始終返回值？或者我需要重新發明輪子？

Answer 1

無論函數是否返回值，函數都不能「落在最後」並開始執行代碼以外的代碼。對於不返回結果的函數（甚至對於返回結果的函數，某些不規範的語言）允許最後的return語句被省略是常見的，但是函數需要在所有情況下返回。

鑑於此，以產生錯誤消息落在端的非空穴功能的最簡單的方法是：

• 解析器插入在函數體的端部的return語句。

• 死代碼消除用於在不需要的情況下刪除插入的return語句。

• Typechecking用於驗證所有return語句（包括插入的語句，如果它未被刪除）與函數的返回類型一致。 （也就是說，因爲產生的return語句沒有價值，這隻能是一個void功能是一致的。）

在這種情況下，你需要的類型檢查之前刪除不必要的return陳述，否則你會最終與很多不正確的錯誤消息。這需要一些控制流量分析。

如果工作量太大，可以在運行時通過在函數返回值的情況下將無值return語句編譯爲錯誤操作來發出錯誤消息。