Я хотел бы проверить, существует ли определенная специализация шаблона, где общий случай не определен.

Данный:

template <typename T> struct A; // general definition not defined
template <> struct A<int> {};   // specialization defined for int

Я хотел бы определить структуру как это:

template <typename T>
struct IsDefined
{
    static const bool value = ???; // true if A<T> exist, false if it does not
};

Есть ли способ сделать это (в идеале без C ++ 11)?

Спасибо

18
Fabio 28 Май 2017 в 19:38

2 ответа

Лучший ответ

Используя тот факт, что вы не можете применить sizeof к неполному типу:

template <class T, std::size_t = sizeof(T)>
std::true_type is_complete_impl(T *);

std::false_type is_complete_impl(...);

template <class T>
using is_complete = decltype(is_complete_impl(std::declval<T*>()));

Смотрите это в прямом эфире на Coliru


Вот немного неуклюжее, но работающее решение C ++ 03:

template <class T>
char is_complete_impl(char (*)[sizeof(T)]);

template <class>
char (&is_complete_impl(...))[2];

template <class T>
struct is_complete {
    enum { value = sizeof(is_complete_impl<T>(0)) == sizeof(char) };
};

Смотрите это в прямом эфире на Coliru

20
Quentin 28 Май 2017 в 17:05

Это альтернативная реализация, всегда использующая один и тот же прием @Quentin


Версия C ++ 11

template<class First, std::size_t>
using first_t = First;

template<class T>
struct is_complete_type: std::false_type {};

template<class T>
struct is_complete_type<first_t<T, sizeof(T)>> : std::true_type {};

Пример на wandbox


Предварительная версия C ++ 03, которая не работает

template<typename First, std::size_t>
struct first { typedef First type; };

template<typename T>
struct is_complete_type { static const bool value = false; };

template<typename T>
struct is_complete_type< typename first<T, sizeof(T)>::type > { static const bool value = true; };

Ошибка в этом случае

prog.cc:11:8: ошибка: параметры шаблона не выводятся при частичной специализации: struct is_complete_type {static const bool value = true; } ; ^ ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ ~~~~

prog.cc:11:8: note: 'T'

1
Makers_F 28 Окт 2017 в 17:15