SFINAE（Substitution Failure Is Not An Error）とは、C++におけるテンプレートの特殊化のための主要なメカニズムです。テンプレートの選択時に、型の置換がエラーを引き起こす場合（例えば、型置換によってテンプレート選択時にエラーが生じる場合）、それはコンパイルエラーではなく、単にテンプレートの選択が不可能になることを意味します。
SFINAEはstd::enable_ifやさまざまな型検出器（type traits）の基盤をなしており、タグディスパッチングパターンを実装しています。
正しい例：
#include <type_traits> // 整数の場合 template<typename T> typename std::enable_if<std::is_integral<T>::value, void>::type foo(T) { std::cout << "Integral "; } // その他の場合 template<typename T> typename std::enable_if<!std::is_integral<T>::value, void>::type foo(T) { std::cout << "Not integral "; }
誤った使い方： 不適切にstd::enable_ifや特殊化の条件を記述すると、呼び出しの曖昧さ（ambiguous overload）が発生したり、コンパイルエラーが起こる可能性があります。
SFINAEは通常の（テンプレートでない）関数のオーバーロードの選択に使用できますか？
答え：いいえ、SFINAEは関数またはクラスのテンプレートにのみ適用されます。通常のオーバーロード関数ではSFINAEは機能しません。しばしばstd::enable_ifを通常の関数のパラメータに記述しようとすると、選択には至らず、単にシグネチャが未定義になります。
誤った例：
void foo(int, typename std::enable_if<true, int>::type* = nullptr) {} // エラー：テンプレートでない
歴史
シリアル化ライブラリでテンプレート関数のSFINAEを実装する際に、2つの特殊化の条件の交差を考慮しなかったため、結果として曖昧なオーバーロードの状況が生じ、新しいデータ型が発生した際にモジュールを構築できない事態に直面しました。
歴史
古いコードのboost::asioライブラリでSFINAEを誤って実装した結果（dependent falseをstatic_assertで使用）、コンパイラが無効な選択肢を削除する代わりにすべてのテンプレートを展開してしまうエラーメッセージが表示されました。シグネチャレベルでの個別のenable_ifを使用して修正しました。
歴史
SFINAEを介して型によるアルゴリズムの検索を古いコンパイラ（MSVC 2012）に移植する際、チームは型の分解が正しく行われず、選択されたテンプレートが誤った型を受け入れてしまう問題に直面しました。型特性を通じてコンパイル前に検証することで解決し、テンプレート内の置換を取り除きました。