跨共享库使用std::type_index做插件接口校验的可靠性问询

你观察到g编译C17代码时，dlsym动态加载的多态类可以通过std::type_index相等判断做接口校验，对应示例代码如下：

template<typename T>
std::shared_ptr<T> CreateImplOf(std::string pluginName, std::string className)
{
  auto it = m_pluginDict.find(pluginName);
  if(it == m_pluginDict.end())
    return nullptr;
  auto& plug = it->second;
  const std::type_index& iface_info = plug.GetInfo()->getInterfaceTypeInfo(className.data());
  if (iface_info == std::type_index(typeid(T))) {
    std::cout << "SUCCESS! type " << iface_info.name() << " match impl interface... " << std::endl;
  } else {
    std::cout << "FAILURE! type " << typeid(T).name() << " DOES NOT match impl interface " << iface_info.name() << "... " << std::endl;
    throw std::exception{};
  }
  void* pObj = plug.CreateInstance(className);
  return std::shared_ptr<T>(reinterpret_cast<T*>(pObj));
}

标准层面的约束 #

C++标准本身没有对动态加载场景下的std::type_index行为做任何规定，动态库加载、符号合并等逻辑属于平台和ABI的范畴，因此该方案不存在跨平台、跨工具链的普适性保证。

GCC工具链下的确定性保证 #

GCC遵循Itanium C++ ABI规范，该规范明确要求多态类的std::type_info实例为带唯一修饰名（mangled name）的弱符号，动态链接器加载插件时会自动合并同一个类型的std::type_info符号。满足以下前提时，std::type_index相等判断是可靠的：

• 主程序和插件使用同大版本的GCC编译（大版本号一致，如均为GCC 11.x，避免跨大版本的ABI变更影响）
• 主程序和插件均开启RTTI（默认开启，未指定-fno-rtti编译选项）
• 主程序和插件使用相同的C++标准版本编译
• 未使用-fvisibility=hidden等编译选项隐藏type_info相关符号

满足上述前提时，std::type_index相等能明确得到以下保证：

• 两个类型的所属命名空间、类名、模板参数（如有）完全一致
• 两边编译时可见的类型声明的关键特征（类的多态属性、继承层级的声明结构）一致

校验方案的局限性 #

即使校验通过，也不能100%保证ABI兼容，存在以下例外情况：

• 两边使用的接口类头文件不一致：比如主程序中接口类的虚函数声明顺序、成员变量布局和插件编译时用的头文件不同，此时std::type_index仍然会判断相等，但虚函数调用会触发未定义行为
• 编译选项修改了类布局：比如一边用-fpack-struct修改结构体对齐规则，另一边用默认对齐，此时即使类型名一致，内存布局也不兼容
• 非多态类的typeid是编译期静态解析的，该校验方案完全不适用（你的场景下是多态类，不受此影响）

最佳实践优化建议 #

为了提升校验的可靠性，可以在现有方案基础上做补充：

• 在接口类中添加固定的版本号静态成员，std::type_index校验通过后再比对版本号，避免头文件修改后未同步更新的问题
• 接口类的定义严格统一存放在公共依赖目录，禁止主程序和插件各自维护接口头文件
• reinterpret_cast转换指针后，可增加一次dynamic_cast校验，多一层安全兜底

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