Ниже код SFINAE с шаблонами переменных прекрасно компилируется с использованием clang 3.7.1, C ++ 14:

#include <array>
#include <iostream>
#include <vector>
#include <cstdint>

enum class Bar : uint8_t {
    ay, bee, see
};

struct S {

static void foo() {}

// std::begin(h) is defined for h of type H
template<typename H, typename... T>
static typename std::enable_if<std::is_pointer<decltype(std::begin(std::declval<H>()))*>::value>::type 
foo(const H&, T&&... t) 
{ std::cout << "container\n"; foo(std::forward<T>(t)...); }

// H is integral
template<typename H, typename... T>
static typename std::enable_if<std::is_integral<typename std::remove_reference<H>::type>::value>::type 
foo(const H&, T&&... t) 
{ std::cout << "integer\n"; foo(std::forward<T>(t)...); }

// H is an enum with underlying type = uint8_t
/*
template<typename H, typename... T>
static typename std::enable_if<std::is_same<typename std::underlying_type<H>::type,uint8_t>::value>::type 
foo(const H&, T&&... t)
{ std::cout << "enum\n"; foo(std::forward<T>(t)...); }
*/
};


int main()
{
    S::foo(std::array<int,8>(), 5, 5L, std::vector<int>{}, 5L);
}

Я хочу правильную перегрузкуfoo вызываться рекурсивно, в зависимости от типаH:

еслиstd::begin(h) определяется дляh типаHЯ хочу, чтобы была выбрана перегрузка номер 1еслиH это "целочисленный тип", я хочу перегрузку номер 2.

Это работает как есть. Но если я добавлю еще одну перегрузку дляперечисление типы (вы можете попробовать откомментировать третью перегрузку), тогда я получаю:

ошибка: только типы перечисления имеют базовые типы

Я согласен, что толькоперечислений получил базовый тип, следовательно, почему нет третьей перегрузки (сstd::underlying_type) СДЕЛАЙСЯ-Д ОТДЫХАЕТ?