Что такое SFINAE?

SFINAE («Substitution Failure Is Not An Error»), что в переводе с английского означает «Отказ от подстановки — не ошибка». Это концепция и механизм, которые позволяют компилятору избежать ошибок компиляции при попытке подстановки шаблонов с некорректными типами аргументов. Вместо того чтобы считать такую ситуацию ошибкой и прекращать компиляцию, SFINAE позволяет компилятору просто исключить неподходящие специализации шаблона из рассмотрения.

Это достигается путем проверки, является ли выражение, связанное с подстановкой параметров шаблона, корректным в контексте, где происходит инстанцирование. Если выражение некорректно (например, вызывает ошибку компиляции), то компилятор просто пропускает данную специализацию шаблона и продолжает рассматривать другие альтернативы.

#для_продвинутых