儘管呼叫了空函數，為什麼靜態斷言編譯失敗？

儘管調用空函數，靜態斷言編譯失敗

使用帶有c 0x 標誌的g 4.6.3，開發人員遇到了意外的編譯錯誤:

template <typename T>
inline T getValue(AnObject& {})
{
    static_assert(false, "this function has to be implemented for desired type");
}

導致：

static_assertion failed "this function has to be implemented for the desired type"

儘管程式碼中沒有呼叫函數，但仍會發生此錯誤。

說明

根據C 標準[temp.res]/8，如果無法為未實例化的模板定義產生有效的特化，則該模板格式錯誤。雖然編譯器沒有義務診斷此錯誤，但可以拒絕模板。

解決方案

解決此問題的一種方法是使用類型特徵保護靜態斷言：

template<typename T>
struct foobar : std::false_type
{ };

template <typename T>
inline T getValue(AnObject& {})
{
    static_assert(foobar<T>::value, "this function has to be implemented for desired type");
}

透過此修改，編譯器無法立即拒絕模板，因為它需要實例化foobar 的相關特化；確定靜態斷言的值，這仍然會如預期失敗。

以上是儘管呼叫了空函數，為什麼靜態斷言編譯失敗？的詳細內容。更多資訊請關注PHP中文網其他相關文章！