синтаксические шаблоны enable_if

В соответствии со стандартными параметрами 14.1/p7 Template [temp.param] (Emphasis Mine):

Нетиповый параметр шаблона не должен быть объявлен как имеющий тип с плавающей запятой, класс или тип void.

Следовательно, ваш фрагмент кода имеет неправильный формат. Таким образом, GCC ошибается в этом.

Однако, если вы измените на:

template< bool b, std::enable_if_t< b, int>... >
void fn() { std::cout << 1 << std::endl; }
template< bool b, std::enable_if_t< !b, int>... >
void fn() { std::cout << 2 << std::endl; }

Ограничение снято, и этот код является законным и должен быть принят. Судя по всему, кажется, что Clang отвергает и этот код. ИМХО, это баг Clang.

Насколько мне известно, о подобной ошибке сообщалось 23840.

Теперь о практической части, я не знаю, практично ли это/менее хакерски/менее странно, но вы можете сделать следующее:

template< bool b, std::enable_if_t< b, int> = 0 >
void fn() { std::cout << 1 << std::endl; }
template< bool b, std::enable_if_t< !b, int> = 0 >
void fn() { std::cout << 2 << std::endl; }

Я не уверен, что вообще использовал бы здесь enable_if. Вы не пытаетесь ограничить набор перегрузок, поэтому я бы назвал это противоидоматическим.

Простая специализация работает нормально:

template <bool> void fn();
template <> void fn<true>() { std::cout << "true fn\n"; }
template <> void fn<false>() { std::cout << "false fn\n"; }

Q2. Какие другие (правильные, более читаемые, менее хакерские/странные) способы использования enable_if/enable_if_t существуют?

возможно, это более читабельно и менее хакерски?

#include <iostream>
#include <type_traits>


template< bool b >
auto fn() -> std::enable_if_t<b>
{
    std::cout << 1 << std::endl;
}

template< bool b>
auto fn() -> std::enable_if_t<!b>
{
    std::cout << 2 << std::endl;
}
// ...


auto main() -> int
{
    fn< true >();
    fn< false >();
    return 0;
}

и вот еще один способ, который можно было бы считать более выразительным:

#include <iostream>
#include <type_traits>

template <bool b> using When = std::enable_if_t<b, bool>;
template <bool b> using Unless = std::enable_if_t<!b, bool>;

template< bool b, When<b> = true>
void fn2()
{
    std::cout << 1 << std::endl;
}

template< bool b, Unless<b> = true>
void fn2()
{
    std::cout << 2 << std::endl;
}

auto main() -> int
{
    fn2< true >();
    fn2< false >();
    return 0;
}

... или, может быть, что-то подобное более выразительно?

template <bool b> using Eval = std::integral_constant<bool, b>;

template<bool b>
void fn3()
{
    struct fn3_impl
    {
        static void when(std::true_type)
        {
            std::cout << 1 << std::endl;
        }

        static void when(std::false_type)
        {
            std::cout << 2 << std::endl;
        }
    };

    fn3_impl::when(Eval<b>());
}