理解std::enable_if：破解其目的和實現

雖然std::enable_if 的本質是在某些上下文中掌握的，但它的錯綜複雜的問題，特別是模板語句中的第二個參數和對std::enable_if 的賦值，仍然是個謎。深入研究其工作原理將解開這些謎團。

template struct enable_if {};
template struct enable_if { typedef T type; };

template struct enable_if {}; template struct enable_if { typedef T 型別; };

至關重要的是，型別別名 typedef T 型別僅在 Cond 為 true 時定義。

template
typename std::enable_if<:numeric_limits>::is_integer, void>::type foo(const T &bar) { isInt(bar); }

模板 型別名稱std::enable_if<:numeric_limits>::is_integer, void>::type foo(const T &bar) { isInt(bar); }

這裡，foo的回傳型別由std ::enable_if<:numeric_limits>::is_integer, void>::type定義。由於 std::numeric_limits::is_integer 是布林條件，因此僅當條件為 true 時才會定義此傳回類型。

template::value, int>::type = 0>
void foo(const T& bar) { isInt(); }

template::value, int>::type = 0> void foo(const T& bar) { isInt(); }

= 0 用來預設第二個範本參數。這允許使用 foo(1) 呼叫兩個選項，而不是在 std::enable_if 參數未預設時需要兩個範本參數。

• 明確輸入型別名稱 std::enable_if<:condition t>::type 增強清晰度。
• 在 C 14 中，enable_if_t 是已建立的類型，應用於返回類型，將其簡化為 std::enable_if_t。