Ниже код SFINAE с вариативными шаблонами компилируется с использованием clang 3.7.1, С++ 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
) не получает SFINAE-d?