enable_if 類別
有條件地建立類型的執行個體，以進行 SFINAE 多載解析。 只有 Condition 為 true 時，才會有巢狀 typedef enable_if<Condition,Type>::type (而且是 Type 的同義字)。
template<bool B, class T = void>
struct enable_if;
參數
B
判斷所產生類型是否存在的值。T
B 為 true 時要具現化的類型。
備註
如果 B 為 true，則 enable_if<B, T> 具有名稱為 "type" 的巢狀 typedef (其為 T 的同義字)。
如果 B 為 false，則 enable_if<B, T> 沒有名稱為 "type" 的巢狀 typedef。
會提供此別名範本：
template< bool B, class T = void >
using enable_if_t = typename enable_if<B,T>::type;
在 C++ 中，範本參數的替代失敗不是本身的錯誤；這稱為 SFINAE (替代失敗不是錯誤)。 enable_if 通常用來從多載解析移除候選 (亦即，它會選出多載集)，因此可能會拒絕某個定義，而使用另一個定義。 這符合 SFINAE 行為。 如需 SFINAE 的詳細資訊，請參閱 Wikipedia 上的替代失敗不是錯誤 (英文)。
以下是四個範例情節：
情節 1：包裝函式的傳回類型：
template <your_stuff> typename enable_if<your_condition, your_return_type>::type yourfunction(args) { // ... } // The alias template makes it more concise: template <your_stuff> enable_if_t<your_condition, your_return_type> yourfunction(args) { // ... }情節 2：加入具有預設引數的函式參數：
template <your_stuff> your_return_type_if_present yourfunction(args, enable_if_t<your condition, FOO> = BAR) { // ... }情節 3：加入具有預設引數的範本參數：
template <your_stuff, typename Dummy = enable_if_t<your_condition>> rest_of_function_declaration_goes_here情節 4：如果您的函式具有非範本引數，則可以包裝其類型：
template <typename T> void your_function(const T& t, enable_if_t<is_something<T>::value, const string&> s) { // ... }
情節 1 未使用建構函式和轉換運算子，因為它們沒有傳回類型。
情節 2 會將參數保持為未命名。 您可以指定 ::type Dummy = BAR，但是名稱 Dummy 為無關，而賦予它名稱可能會觸發「未參考的參數」警告。 您需要選擇 FOO 函式參數類型和 BAR 預設引數。 您可以指定 int 和 0，但是您程式碼的使用者可能會因此而意外地將會遭到忽略的額外整數傳遞給函式。 建議您改用 void ** 和 0 或 nullptr，因為幾乎沒有項目可以轉換成 void **：
template <your_stuff> your_return_type_if_present
yourfunction(args, typename enable_if<your_condition, void **>::type = nullptr) {
// ...
}
情節 2 也適用於一般建構函式。 不過，它不適用於轉換運算子，因為轉換運算子無法採用額外參數。 它也不適用於 variadic 建構函式，因為加入額外參數會讓函式參數封裝非推算內容，進而讓 enable_if 的目的失敗。
情節 3 使用名稱 Dummy，但它是選擇性的。 只有 "typename = typename" 也可以，但是，如果您認為這有點怪異，則可以使用 "dummy" 名稱；只要不要使用函式定義中可能也會使用的名稱即可。 如果您未指定 enable_if 的類型，則會預設為 void，而且這十分合理，因為您不在意 Dummy 是什麼。 這適用於所有項目 (包括轉換運算子和 variadic 建構函式)。
情節 4 適用於沒有傳回類型的建構函式，進而解決情節 1 的包裝限制。 不過，情節 4 是限制為非範本函式引數，但這些引數不一定可用 (在範本函式引數上使用情節 4，可防止範本引數推算處理它)。
enable_if 功能十分強大，但是誤用也十分危險。 因為它的目的是讓候選項在多載解析之前消失，所以誤用的效果可能會讓人十分混淆。 部分建議如下：
請勿使用 enable_if，在編譯時期選取不同的實作。 請勿針對 CONDITION 寫入一個 enable_if，而針對 !CONDITION 寫入另一個。 而是，使用「標記分派」(tag dispatch) 模式 (例如，根據提供給實作的迭代器強度來選取實作的演算法)。
請勿使用 enable_if 來強制執行需求。 如果您想要驗證範本參數，且驗證失敗而導致錯誤，則請使用 static_assert，而不要選取另一個實作。
當您的多載集讓良好的程式碼變得模稜兩可時，請使用 enable_if。 這最常發生在隱含轉換建構函式中。
範例
此範例說明 STL 範本函式 std::make_pair() 如何利用 enable_if。
void func(const pair<int, int>&);
void func(const pair<string, string>&);
func(make_pair("foo", "bar"));
在此範例中，make_pair("foo", "bar") 會傳回 pair<const char *, const char *>。 多載解析必須判斷您要的 func()。 pair<A, B> 具有來自 pair<X, Y> 的隱含轉換建構函式。 這不是新功能，而是 C++98 中的功能。 不過，在 C++98/03 中，一律會有隱含轉換建構函式的簽章，即使是 pair<int, int>(const pair<const char *, const char *>&) 也是一樣。 多載解析不在意具現化該建構函式的嘗試急遽增加，因為 const char * 不會隱含地轉換為 int；在函式定義具現化之前，它只會查看簽章。 因此，此範例程式碼會模稜兩可，因為有簽章可以將 pair<const char *, const char *> 轉換為 pair<int, int> 和 pair<string, string>。
C++11 已解決這項模稜兩可，方法是使用 enable_if 確定 const X& 隱含轉換為 A 且 const Y& 可隱含轉換為 B 時，pair<A, B>(const pair<X, Y>&)**「才」**存在。 這讓多載解析可以判斷 pair<const char *, const char *> 不可轉換為 pair<int, int>，而且採用 pair<string, string> 的多載是可行的。
需求
標頭：<type_traits>
命名空間: std