C++法則15：匹配失敗并不是一種錯誤(Substitution Failure Is Not An Error)。

應用例子：

SFINAE ：關于is_class，is_base_of，C++編譯器的魔法器，如何實現，is_class，is_base_of。_c++ is class-CSDN博客

C++ SFINAE (Substitution Failure Is Not An Error)

SFINAE 是 C++ 模板元編程中的一個重要原則，它允許編譯器在模板參數推導和重載解析過程中優雅地處理某些類型的錯誤。

基本概念

SFINAE 原則表明：在模板參數推導過程中，如果某個模板實例化導致無效代碼，這不會被視為編譯錯誤，而只是簡單地從候選函數集中移除該模板。

工作原理

1. 當編譯器嘗試匹配函數調用時，會考慮所有可能的重載

2. 對于模板函數，編譯器會嘗試用實際參數類型替換模板參數

3. 如果替換導致無效類型或表達式，該模板特化會被靜默忽略

4. 只要有至少一個有效的匹配，編譯就會繼續

常見應用場景

1. 類型特征檢查

template<typename T>
class has_foo {typedef char yes[1];typedef char no[2];template<typename C> static yes& test(decltype(&C::foo));template<typename C> static no& test(...);public:static const bool value = sizeof(test<T>(0)) == sizeof(yes);
};

2. 基于條件啟用/禁用函數重載

template<typename T>
typename std::enable_if<std::is_integral<T>::value, void>::type
process(T value) {// 處理整數類型
}template<typename T>
typename std::enable_if<std::is_floating_point<T>::value, void>::type
process(T value) {// 處理浮點類型
}

3. 防止特定類型的實例化

template<typename T>
void print(const T& value) {static_assert(!std::is_pointer<T>::value, "Pointers not allowed");std::cout << value;
}

C++11/14/17 的改進

1. std::enable_if?- 更簡潔的條件啟用

2. std::void_t?- 簡化類型特征檢查

3. if constexpr?(C++17) - 替代部分 SFINAE 用例

4. Concepts (C++20) - 更強大的替代方案

注意事項

1. SFINAE 只適用于直接上下文中的失敗

2. 過度使用 SFINAE 可能導致代碼難以理解和維護

3. C++20 的 Concepts 提供了更清晰的方式來表達類似的約束

SFINAE 是 C++ 模板元編程的強大工具，但應謹慎使用，特別是在現代 C++ 中可能有更簡潔的替代方案。