`enable_if`如何讓編譯器難以生成可讀的錯誤消息？

Question

enable_if的「批評者」之一是它產生了一個完整的錯誤信息。所以例如Bjarne Stroustrup希望引入概念來解決這個問題（參見his talk (youtube)或the example (wikipedia)）。

我的問題：是什麼讓技術上對編譯器產生可讀的輸出有如此具有挑戰性，enable_if？

Answer 1

std::enable_if聽起來像一些特別的東西可以啓用/禁用函數模板並給予編譯時布爾表達式類模板 ...但事實並非如此。這裏的一個可能的實現：

template <bool TCond, typename T = void> 
struct enable_if {}; 

template <typename T> 
struct enable_if<true, T> { using type = T; }; 

上述手段：

• 如果TCond是true，enable_if將定義一個內type類型別名。

• 如果TCond是false，enable_if將不限定內type類型別名。

當enable_if被用來使能/禁止的東西，我們指的是其內部::type別名：

template <typename T, 
      typename = std::enable_if</* something */>::type> 
void foo(T) { /* something */ } 

如果::type存在上述/* something */條件，foo是良好的。否則，替代失敗發生，觸發SFINAE。

編譯器不知道我們的意圖並通過跟蹤錯誤的來源來處理最終的錯誤。它並不知道我們打算在一組函數/類中啓用/禁用某個函數/類 - 因此它不會給我們提供有意義和直觀的錯誤。它能做的最好的是找出錯誤的來源並給我們一個回溯。

如果enable_if是一個特殊的關鍵字或編譯器內在的，那麼錯誤很可能會更容易解析。