為什麼 C 0x 中未呼叫的模板函數中的靜態斷言會失敗？

儘管未調用模板函數，Static_Assert 仍失敗

在C 0x 中，具有未使用的static_assert 聲明失敗。考慮以下程式碼：

令人驚訝的是，此程式碼失敗並出現錯誤：

直覺上，人們會期望編譯器僅在呼叫模板函數時實例化模板函數。然而，C 標準在 [temp.res]/8 中另有規定：

對於可以產生有效專業化的模板定義，不應發出診斷。如果無法為範本定義產生有效的專業化，且此範本未實例化，則範本定義格式錯誤，無需診斷。

由於沒有可編譯的有效專業化，因此允許編譯器拒絕模板定義，無論它是否實例化。

要解決此問題，可以如下重新定義代碼：

此修改將診斷推遲到實例化適當的foobar專業化，確保模板定義在此之前格式良好。

以上是為什麼 C 0x 中未呼叫的模板函數中的靜態斷言會失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！