Мне нужно реализовать автономную функцию времени компиляции для проверки равенства типов (шаблон функции без аргументов bool eqTypes<T,S>()).
автономный означает, что он не полагается на библиотеку.
Я не очень хорош во всем этом. Это то, что я пробовал, но это не то, что мне нужно.
template<typename T>
bool eq_types(T const&, T const&) {
return true;
}
template<typename T, typename U>
bool eq_types(T const&, U const&) {
return false;
}
Это довольно просто. Просто определите тип и вспомогательную функцию:
template<typename T, typename U>
struct is_same
{
static const bool value = false;
};
template<typename T>
struct is_same<T, T>
{
static const bool value = true;
};
template<typename T, typename U>
bool eqTypes() { return is_same<T, U>::value; }
Вот живой пример.
В С++ 11, если вам разрешено использовать std::false_type и std::true_type, вы должны переписать вышеприведенный способ:
#include <type_traits>
template<typename T, typename U>
struct is_same : std::false_type { };
template<typename T>
struct is_same<T, T> : std::true_type { };
template<typename T, typename U>
constexpr bool eqTypes() { return is_same<T, U>::value; }
Обратите внимание, что черта типа std::is_same, которая делает почти то же самое, доступна как часть стандартной библиотеки.
Здесь вы можете сделать это на C без каких-либо магических расширений GCC:
#define CHECKED_TYPE(original_type, p) ((conversion_type*) (1 ? p : (original_type*) 0))
Например:
void *q = CHECKED_TYPE(int, &y);
Вызывает ошибку компиляции, если y не int.
Для объяснения см. здесь.