What is the difference between enable_if and static_assert?

Can you explain the difference between enable_if and static_assert in C++?

Sure! enable_if is used for SFINAE (Substitution Failure Is Not An Error) to enable or disable function templates based on conditions, while static_assert checks conditions at compile time and generates a compilation error if the condition is false.

When would I use enable_if instead of static_assert?

You would use enable_if when you want to conditionally enable a function or class template based on type traits, whereas static_assert is used for compile-time assertions that must always hold true.

Can you give me an example of using enable_if?

Certainly! Here's a simple example: template<typename T, typename = typename std::enable_if<std::is_integral<T>::value>::type> void func(T t) { /* ... */ } This function will only be enabled for integral types.

And what about static_assert?

For static_assert, you might write something like static_assert(sizeof(int) == 4, "Integers must be 4 bytes"); This will cause a compilation error if the condition is false.