libc++ 在 -fno-rtti 下 dynamic_cast 和 typeid 直接编译失败，std::any/std::function/std::type_index 等依赖 RTTI 的组件不可用，且要求全项目 RTTI 设置一致，否则链接或运行时出错。
libc++ 的 dynamic_cast 和 typeid 会直接编译失败
当你用 -fno-rtti 编译整个项目时，libc++ 中任何依赖 RTTI 的代码路径都会触发编译错误，最典型的是：
-
std::type_info类型不可用 → 所有使用typeid的地方报错："‘typeid’ used but ‘-fno-rtti’ is specified" -
dynamic_cast运算符被禁用 → 比如dynamic_cast<Derived*>(base_ptr)直接报错 "cannot use ‘dynamic_cast’ because ‘-fno-rtti’ is specified" - 部分 libc++ 内部实现（如某些调试模式下的容器检查、
std::any、std::function的类型擦除逻辑）会隐式依赖 RTTI，导致链接期符号缺失或运行时崩溃
std::any、std::function、std::type_index 等类型无法正常使用
这些标准组件在 libc++ 中并非纯模板实现，而是底层调用了 RTTI 机制来完成类型识别与比较：
-
std::any构造/赋值/访问时依赖std::type_info做类型匹配，禁用 RTTI 后会编译失败或行为未定义 -
std::function在构造或比较时可能触发typeid调用（尤其在启用调试断言的 libc++ build 中） -
std::type_index底层封装std::type_info&，没有 RTTI 就没有合法的std::type_info实例，该类型退化为不可用
libc++ 的 ABI 兼容性不因禁用 RTTI 改变，但你的代码必须全局一致
libc++ 本身是支持 -fno-rtti 编译的（例如 LLVM 工具链自身就用它），但它要求：所有翻译单元、所有链接进来的对象文件（包括你自己的代码、第三方静态库、甚至 libc++ 的 .a 文件）都必须用相同 RTTI 设置构建：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 混用
-fno-rtti和-frtti会导致 vtable 布局不一致、typeid地址不可比、dynamic_cast跳转目标错乱 - 如果你链接了预编译的 libc++ 静态库（如
libc++.a），必须确认它是用-fno-rtti构建的；否则即使你代码里没写dynamic_cast，链接器也可能拉入 RTTI 相关符号，引发 ODR 冲突 - LLVM 官方发布的 libc++ 二进制包默认启用 RTTI；若要禁用，需自行从源码编译：
cmake -DLIBCXX_ENABLE_RTTI=OFF ...
替代方案不是“关掉就完事”，而是显式替换行为
禁用 RTTI 后，不能指望标准库自动降级——你得主动绕过那些设施：
立即学习“C++免费学习笔记（深入）”；
- 用
llvm::isa<>+llvm::cast<>替代dynamic_cast（需手动维护枚举 discriminator，见 LLVM 用户手册 Casting.h） - 用整数 ID 或字符串字面量做类型标识，代替
std::type_index的比较逻辑 - 避免
std::any，改用std::variant（编译期确定类型集合）或手写 union + tag 枚举 - 若必须保留部分 RTTI 功能，可只对特定类禁用：用
__attribute__((no_rtti))（Clang）或 MSVC 的#pragma vtordisp(off)局部控制，但 libc++ 不感知这种细粒度开关
libcxx/test）大量使用 typeid 和 dynamic_cast；如果你基于它做定制开发，禁用 RTTI 后连测试都跑不起来——这意味着你得自己验证所有改动的正确性，不能依赖上游测试覆盖。 
