不同GCC版本下typeid/typeinfo兼容方案及std::any疑问

一、为什么不同GCC版本下typeid返回的type_info不一致 #

GCC不同大版本（如4.9.4与7.5）的ABI（应用二进制接口）存在差异：

• 类型名的mangling规则可能调整；
• std::type_info对象的内存布局、生成逻辑不同；
• 静态库与主程序用不同版本编译时，各自的type_info是独立生成的，即使是同一类型，typeid返回的对象地址也不同，直接比较会失败。

二、跨GCC版本的稳定运行时类型检查方案 #

1. 自定义全局唯一类型标识 #

给需要检查的类型分配编译期确定的唯一ID，完全脱离对type_info的依赖：

• 对于普通类型：

  class MyClass {
  public:
      static constexpr uint64_t TYPE_ID = 0x00000001;
  };
  
  struct MyStruct {
      static constexpr uint64_t TYPE_ID = 0x00000002;
  };
  

  运行时直接比较TYPE_ID即可，跨版本、跨编译器都稳定。

• 对于模板类型，用模板特化分配ID：

  template<typename T>
  struct TypeId {
      static constexpr uint64_t value = 0;
  };
  
  template<>
  struct TypeId<int> {
      static constexpr uint64_t value = 0x00000003;
  };
  
  template<>
  struct TypeId<std::string> {
      static constexpr uint64_t value = 0x00000004;
  };
  

  使用时直接对比TypeId<T>::value。

2. 运行时注册式类型标识 #

通过统一的注册表给类型分配唯一ID，适合动态加载的场景：

#include <unordered_map>
#include <string>

class TypeRegistry {
private:
    static inline std::unordered_map<std::string, uint64_t> s_idMap;
    static inline uint64_t s_nextId = 1;

public:
    static uint64_t getTypeId(const std::string& uniqueTypeName) {
        if (auto it = s_idMap.find(uniqueTypeName); it == s_idMap.end()) {
            it = s_idMap.emplace(uniqueTypeName, s_nextId++).first;
        }
        return it->second;
    }
};

// 注册宏，建议带上命名空间保证唯一性
#define REGISTER_TYPE(T) \
uint64_t getTypeIdFor##T() { \
    return TypeRegistry::getTypeId("mynamespace::" #T); \
}

使用时给目标类型调用REGISTER_TYPE(MyClass)，通过getTypeIdForMyClass()获取ID进行比较。

3. 强制统一ABI版本（局限性较大） #

如果必须依赖typeid，可以通过编译选项强制不同GCC版本使用相同ABI：

• GCC 5.x及以上默认启用新ABI，可添加编译参数-D_GLIBCXX_USE_CXX11_ABI=0强制使用旧ABI（兼容GCC 4.x）。
• 注意：该方式可能导致新C++特性无法正常使用，且不能保证所有版本完全兼容。

三、关于std::any的跨版本type_info疑问 #

std::any无法保证跨GCC版本的type_info一致性，它的类型检查本质上还是依赖编译器提供的std::type_info：

• 只有当创建std::any实例的代码与读取它的代码使用同一GCC版本（ABI兼容）时，typeid比较才有效；
• 若跨版本编译（如静态库用GCC4.9编译std::any，主程序用GCC7.5），内部存储的type_info与读取时的type_info来自不同ABI，同样会出现不匹配的问题；
• C++标准并未规定std::type_info的具体实现，std::any只是遵循标准依赖编译器的实现，本身没有特殊的跨版本兼容机制。

内容的提问来源于stack exchange，提问作者Melina