В чем преимущество std::enable_if перед static_assert для шаблонов классов?

Пример того, как перегружать классы с помощью SFINAE:

#include <type_traits>
#include <iostream>

template <typename, typename = void>
struct Foo;

template <typename Bar>
struct Foo <Bar, typename std::enable_if<std::is_same<Bar,int>::value>::type>
{
    Foo ()
    {
        std::cout << "Hello ";
    }
};

template <typename Bar>
struct Foo <Bar, typename std::enable_if<std::is_same<Bar,bool>::value>::type>
{
    Foo ()
    {
        std::cout << "world!\n";
    }
};

int main()
{
    Foo<int>();
    Foo<bool>();
}

В случаях, когда вы не хотите выполнять перегрузку, но все же хотите ограничиться набором типов, я согласен с тем, что:

template <typename Bar>
class Foo
{
    static_assert(
        std::is_same<Bar,int>::value || 
        std::is_same<Bar,bool>::value, 
        "Bar must be bool or int");
    
    // class stuff
};

... понятнее и проще, чем:

template <typename Bar,
    typename std::enable_if<
    std::is_same<Bar,int>::value ||
    std::is_same<Bar,bool>::value,
    bool>::type = true>
class Foo
{
    // class stuff
};

...особенно потому, что со вторым вариантом компилятор обращается к Foo объектам с их первым аргументом и их вторым аргументом (true в нашем случае), что может быть загадочным для пользователя. Кроме того, это более запутанно, если вы хотите, чтобы заголовок обрабатывал класс только с его упрощенным объявлением (см., как это сделать здесь).

Однако законен ли этот аргумент для шаблонов классов (и шаблонов переменных)? Насколько я знаю, там не задействовано разрешение перегрузки, что делает SFINAE - опять же, насколько я знаю - неактуальным, но я могу ошибаться. Если да, то можете ли вы назвать пример?

Вы можете специализировать шаблоны классов, а SFINAE можно использовать для выбора между специализациями. Это также предотвратит создание экземпляра такого (к тому времени, возможно, неправильно сформированного) класса / его специализации, вместо того, чтобы не скомпилировать из-за static_assert.

std::enabled_if используется в SFIANE для специализации классов шаблонов, методов и .... static_assert используется для проверки контракта во время компиляции и предоставления полезного сообщения об ошибке.