c++ 判断类型是否相等

在 C++ 中，判断两个类型的相等通常涉及类型转换、类型指针或模板元编程。这里有几种常见的方法：

1. **静态类型检查**:
使用 `typeid` 运算符可以获取类型的信息，然后通过比较它们的 `name()` 或 ` typeid(T1) == typeid(T2)` 来判断类型是否相等。但是这种方法在运行时效率较低。

if (typeid(A).name() == typeid(B).name()) {
    // A 和 B 的类型相等
}

2. **类型兼容性**:
如果你知道 A 和 B 应该是可以相互转换的类型，比如基本数据类型之间的强制类型转换，或者指针指向的是同一个基类的对象，你可以直接进行转换并捕获异常来间接判断。

try {
    A a;
    static_cast<B>(a);  // 如果成功转换，则说明类型相等
} catch (const std::bad_cast& e) {
    // 类型不匹配
}

3. **模板元编程**:
对于更复杂的类型系统，可以利用 SFINAE（Substitution Failure Is Not An Error，未替换异常不是错误）技术，通过模板来判断类型。

4. **类型断言**:
C++17 引入了 `static_assert`，可以在编译阶段就确定类型是否相等，避免运行时错误。

template <typename T, typename U>
struct AreEqual : std::false_type {};

template <typename T>
struct AreEqual<T, T> : std::true_type {};

static_assert(std::is_same_v<int, int>, "Types are not equal");