為什麼沒有顯式「return」語句的 C 函式編譯時不會出錯？

C 語言中傳回未定義值的函數

在庫中出現的程式碼片段中，名為 Min 的函數定義如下：

static tvec4 Min(const tvec4& a, const tvec4& b, tvec4& out)
{
    tvec3::Min(a,b,out);
    out.w = min(a.w,b.w);
}

出乎意料的是，儘管沒有傳回值，但函數編譯時沒有錯誤，因為它的傳回型別未明確宣告為 void。

依據 C 11 標準草案第 6.6.3 節，此行為未定義。該標準規定“從函數末尾流出相當於沒有值的返回”，並且“這會導致返回值的函數中出現未定義的行為。”

在這種情況下，編譯器是沒有義務提供錯誤或警告，因為在所有情況下都可能很難準確診斷問題。

但是，使用-Wall 標誌，可以提示GCC 和Clang 產生警告類似於：

warning: control reaches end of non-void function [-Wreturn-type]

要將此警告轉換為錯誤，確保更高級別的程式碼質量，可以使用-Werror=return-type 標誌。此外，建議使用 -Wextra -Wconversion -pedantic 標誌進行全面的錯誤檢測。

在 Visual Studio 中，上述程式碼將觸發錯誤 C4716：

error C4716: 'Min' : must return a value

如果並非所有程式碼路徑傳回一個值，則會發出警告 C4715。

以上是為什麼沒有顯式「return」語句的 C 函式編譯時不會出錯？的詳細內容。更多資訊請關注PHP中文網其他相關文章！