SFINAE

SFINAE stands for Substitution Failure Is Not An Error. It is the rule that lets the compiler discard a template overload when substituting types into it produces ill-formed code, instead of stopping with a hard error. SFINAE was the main tool for constraining templates from C++98 through C++17, and it appears throughout older libraries and codebases. Concepts in C++20 replace most of it, but understanding SFINAE is how to read the C++ template ecosystem written before then.