靜態斷言和SFINAE

Question

考慮一下：

template <typename T> 
struct hash 
{ 
    static_assert(false,"Not implemented."); 
}; 

struct unhashable {}; 

template <typename T> 
auto test(const T &t) -> decltype((*(hash<T> const *)nullptr)(t),int); 

void test(...); 

int main() 
{ 
    std::cout << std::is_same<decltype(test(std::declval<unhashable>())),void>::value; 
} 

除了明顯缺失的頭，這應該編譯？

換句話說，我詢問是否需要在推斷重載函數模板的返回值時終止decltype內部觸發的靜態斷言失敗以停止編譯，或者是否只是簡單地丟棄過載。

在gcc 4.7上，編譯失敗。我相當積極，雖然這將在gcc 4.8中編譯好（但不能在此刻檢查）。誰是對的？

Answer 1

在任何兼容的編譯器中，編譯必須失敗。

SFINAE規則基於聲明而不是定義。 （很抱歉，如果我在這裏使用了錯誤的術語），我的意思是這樣的：

對於類/結構：

template < /* substitution failures here are not errors */ > 
struct my_struct { 
    // Substitution failures here are errors. 
}; 

對於函數：

template </* substitution failures here are not errors */> 
/* substitution failures here are not errors */ 
my_function(/* substitution failures here are not errors */) { 
    /* substitution failures here are errors */ 
} 

另外，給定的模板參數集的struct/function不存在也受到SFINAE規則的約束。

現在static_assert只能出現在替換失敗是錯誤的區域，因此，如果它觸發，你會得到一個編譯器錯誤。

例如，下面將是一個錯誤的執行enable_if：

// Primary template (OK) 
template <bool, typename T> 
struct enable_if; 

// Specialization for true (also OK) 
template <typename T> 
struct enable_if<true, T> { 
    using type = T; 
}; 

// Specialization for false (Wrong!) 
template <typename T> 
struct enable_if<false, T> { 
    static_assert(std::is_same<T, T*>::value, "No SFINAE here"); 
    // The condition is always false. 
    // Notice also that the condition depends on T but it doesn't make any difference. 
}; 

那就試試這個

template <typename T> 
typename enable_if<std::is_integral<T>::value, int>::type 
test(const T &t); 

void test(...); 

int main() 
{ 
    std::cout << std::is_same<decltype(test(0)), int>::value << std::endl; // OK 
    std::cout << std::is_same<decltype(test(0.0)), void>::value << std::endl; // Error: No SFINAE Here 
} 

如果刪除的enable_if專業化爲false然後將代碼編譯和輸出

1 
1 

Answer 2

在gcc 4.7上，編譯失敗。我相當積極，雖然這將在gcc 4.8中編譯好（但不能在此刻檢查）。誰是對的？

靜態斷言中的條件不依賴於任何模板參數。因此，編譯器可以在解析模板時立即將其評估爲false，並意識到斷言應該觸發 - 無論您是否實際在其他地方實例化模板。

在任何編譯器上都應該如此。