我需要实现自包含的编译时函数来检查类型相等性（不带参数的函数模板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;
}
【问题讨论】：
std::is_same吗？
标签： c++ templates compile-time
这很简单。只需定义一个类型特征和一个辅助函数：
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; }
这是live example。
在C++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 的作用几乎相同，可作为标准库的一部分使用。
【讨论】：
constexpr bool eqTypes().
eqTypes<Base, Derived>() 的预期答案。我想是true。 std::is_same 也不能解决这个问题。如果预期的答案是false，它看起来不错。
eqTypes<Base, Derived>() 确实应该返回 false。这应该检查类型是否相等，而不是一个是否可以转换为另一个，或者从另一个派生，等等 - 还有其他类型特征可以用于这些目的
您可以在 C 中做到这一点，而无需任何神奇的 GCC 扩展：
#define CHECKED_TYPE(original_type, p) ((conversion_type*) (1 ? p : (original_type*) 0))
例如：
void *q = CHECKED_TYPE(int, &y);
如果y 不是int，将触发编译错误。
解释见here。
【讨论】：