SFINAE stands for:

Substitution Failure Is Not An Error

It is an advanced C++ template concept.

---

Why SFINAE exists

Suppose you write generic template code.

Some types support certain operations,
some do not.

SFINAE helps the compiler:

• enable valid templates
• ignore invalid templates
• avoid compilation failure

---

Simple Idea

Instead of compiler saying:

ERROR!!!

SFINAE says:

"This template does not match.
Try another one."

---

Simple Example

#include <iostream>
#include <type_traits>

using namespace std;

template<typename T>
typename enable_if<is_integral<T>::value>::type
print(T value)
{
    cout << "Integer: " << value << endl;
}

int main()
{
    print(10);

    return 0;
}

---

Output

Integer: 10

---

What this means

enable_if<condition>

means:

Enable this template ONLY IF condition is true

---

Here

is_integral<T>::value

checks:

Is T an integer type?

---

So this works

print(10);

because:

int = integral type

---

This fails

print(3.14);

because:

double ≠ integral type

Compiler ignores template.

---

Important Concept

Without SFINAE:

invalid templates produce huge errors.

With SFINAE:
compiler silently removes invalid templates from overload resolution.

---

Real-world Problem it Solves

Suppose different classes have different functions.

Example:

vector
string
custom class

Not all support same operations.

SFINAE allows:

• selecting correct implementation
• generic programming
• safe templates

---

Another Example

Detect if class has function

template<typename T>
auto test(T t) -> decltype(t.display(), void())
{
    cout << "Has display()" << endl;
}

If class has:

display()

template works.

Otherwise compiler ignores it.

---

Used heavily in

• STL
• Boost libraries
• template libraries
• generic frameworks
• type traits
• modern C++ internals

---

Problem Before C++20

SFINAE syntax became very ugly and complicated.

---

Modern C++20 Solution → Concepts

Instead of:

enable_if

Modern C++ uses:

concepts

Cleaner example:

template<typename T>
concept Number = is_integral_v<T>;

---

Old SFINAE vs Modern Concepts

---

Old

enable_if<is_integral<T>::value>

---

Modern

template<Number T>

Much cleaner.

---

Important Keywords in SFINAE

Keyword	Meaning
enable_if	enable template conditionally
decltype	detect expressions
type_traits	type information
substitution	template replacement
overload resolution	choosing matching function

---

Simple Analogy

Suppose templates are job applications.

SFINAE says:

If candidate does not qualify,
quietly ignore application.

instead of crashing system.

---

Final Understanding

SFINAE is a template mechanism that:

• conditionally enables templates
• prevents invalid template errors
• helps compiler choose valid overloads

It is one of the foundations of advanced template programming in C++.