Hermes Flow 类型系统（FlowContext）源码级解析：从语义分析到 IR 生成

Hermes Flow 类型系统FlowContext源码级解析从语义分析到 IR 生成【免费下载链接】hermesA JavaScript engine optimized for running React Native.项目地址: https://gitcode.com/gh_mirrors/hermes/hermes导读Hermes 在语义分析阶段Sema内置了一套完整的 Flow 风格类型系统flow::FlowContext用于对 TypeScript/Flow 注解进行静态检查、类型推导与泛型实例化。本文以 doc/plans/ir-type/flow-type-system.md 为核心骨架结合 include/hermes/Sema/FlowContext.h、lib/Sema/FlowContext.cpp、lib/Sema/FlowChecker.cpp 等源码系统讲解其三层内存表示、全部类型种类、联合类型规范化、泛型特化、canAFlowIntoB子类型判定、类型解析流水线与类型收窄机制并厘清它与 IR 位掩码类型系统16 位、13 种原始类型的边界。读完本文你将理解 Hermes 如何在编译前端做富类型静态分析并据此指导 IRGen 插入运行时类型检查指令。一、Flow 类型系统是什么Hermes 中存在两套截然不同的类型系统Flow 类型系统本文主角运行在语义分析阶段由FlowChecker驱动是一套完整的语义类型系统。它支持名义类nominal classes、泛型、函数签名、元组、精确对象、带递归结构的联合类型以及带方差规则的子类型。IR 类型系统运行在优化与代码生成阶段是 16 位位掩码、13 种原始类型的集合详见 doc/plans/ir-type/ir-type-system.md。两套系统通过ClassType::Field::layoutSlotIR与CheckedTypeCastInst等连接点协作见与 IR 类型系统的关系一节。核心文件如下文件职责include/hermes/Sema/FlowContext.h全部类型类的定义TypeInfo、Type、UnionType、ClassType、FlowContext等lib/Sema/FlowContext.cpp比较、相等、哈希、联合类型规范化实现lib/Sema/FlowChecker.cpp类型检查、canAFlowIntoB()、注解解析lib/Sema/FlowChecker-scopetypes.cpp作用域解析、别名解析、循环类型检测DeclareScopeTypes、FindLoopingTypeslib/Sema/FlowChecker.hCanFlowResult结构、各canAFlowIntoB重载声明二、三层内存表示架构类型采用三层架构定义见 include/hermes/Sema/FlowContext.hType— 轻量包装层。持有三个字段TypeInfo *info指向底层存储的指针nullptr表示未初始化ESTree::Node *node产生该类型的 AST 节点用于源码定位与错误报告若为nullptr则表示该类型与 JS 源码无关联如内部推导产物bool isLooping标记是否为递归结构中的循环成员在联合类型中需要特殊处理。TypeInfo— 类型底层存储的抽象基类。携带TypeKind kind_判别枚举uint8_t懒缓存哈希hashed_/hashValue_首次计算后缓存摊还 O(1)虚函数_compareImpl()、_equalsImpl()、_hashImpl()由各具体类型实现。具体类型类—UnionType、ClassType、TypedFunctionType、ArrayType、TupleType、ExactObjectType等。所有类型实例都分配在FlowContext内部的std::deque容器中见 include/hermes/Sema/FlowContext.h这保证类型指针永不失效std::deque在尾端追加不会使既有元素地址失效。FlowContext为每种复杂类型准备了独立 deque 分配器allocUnion_、allocClass_、allocTypedFunction_等并借助宏_HERMES_SEMA_FLOW_COMPLEX_TYPES统一生成。单例类型Void、Null、Number 等在FlowContext构造时创建唯一实例通过getVoid()、getNull()等 getter 访问比较直接使用指针同一性O(1)哈希即TypeKind序数。复杂类型则视情况通过哈希一致性hash-consing驻留。三、完整类型清单TypeKind枚举定义于 include/hermes/Sema/FlowContext.h分为单例与复杂两大类宏展开生成的顺序即枚举序数3.1 单例类型不可变各一个实例类型含义VoidJSundefined/ 值缺失NullJSnullBooleantrue或falseStringJS 字符串NumberIEEE 754 双精度浮点BigInt任意精度整数CPtr内部 C 指针原生互操作Any一切类型的超类型输出到具体类型需受检转换checked castMixed双向 any自由流入/流出无需受检转换Generic未特化的泛型类/别名的占位符禁止逃逸出 FlowCheckerInferencePlaceholder泛型类型实参推断期间的占位符Empty底类型bottom可流入一切类型源码注释明确 empty - _ (bottom type, flows into everything)见 lib/Sema/FlowChecker.cpp代码中的类型别名include/hermes/Sema/FlowContext.hPrimaryType前 8 个基本类型 Generic InferencePlaceholder继承SingletonTypeAnyType、MixedType、EmptyType直接继承SingletonType。注意Generic类型在SingletonType::_hashImpl()中被显式断言not hashableinclude/hermes/Sema/FlowContext.h因为它只是占位符最终会被具体类型替换。3.2 复杂结构化类型类型描述UnionA \| B \| C——规范排序联合支持循环looping成员ArrayArrayT——单一元素类型不变invariantTuple[A, B, C]——定长、有序、逐位定型ExactObject{x: A, y: B}——具名字段精确语义不允许多余属性TypedFunction(p1: A, p2: B) R——完整签名含 this 参数、可选参数UntypedFunction无类型信息的函数仅 async/generator 标志NativeFunction带NativeSignature的 C 原生函数Class名义类字段、方法、构造函数、超类链ClassConstructor类变量/类声明的类型与实例类型区分InferencePlaceholderArray类型实参推断中包裹占位符元素的数组约束类型枚举还定义了分组区间include/hermes/Sema/FlowContext.h_FirstPrimary~_LastPrimary、_FirstSingleton~_LastSingleton、_FirstId~_LastIdClass/ClassConstructor、_FirstFunction~_LastFunction三种函数类型供classof快速判别。四、单例类型详解AnyvsMixedAny与Mixed是语义上最容易混淆的一对两者行为完全不同Any接受所有输入。当一个值为any的类型向外流动到具体类型时必须插入运行时受检转换needCheckedCast true因为 IR 无法静态保证实际值类型。Mixed两个方向都自由流动、不需要受检转换。用于类型系统无法确定类型、但又不希望在运行时做检查的场景。在canAFlowIntoB中lib/Sema/FlowChecker.cpp体现为// _ - any / _ - mixed 均成立无需转换 if (llvh::isaAnyType(b) || llvh::isaMixedType(b)) return {.canFlow true}; // any - _ 成立但需要 checked cast if (llvh::isaAnyType(a)) return {.canFlow true, .needCheckedCast true};UnionType还缓存了hasAny_/hasMixed_标志见 include/hermes/Sema/FlowContext.h 与setHasAnyMixed()用于在联合类型子类型判定时快速短路。五、联合类型Union TypesUnionType表示A | B | C成员存储于llvh::SmallVectorType *, 4 types_其布局在 include/hermes/Sema/FlowContext.h 中有详细注释。5.1 双模式规范化CanonicalizationnumNonLoopingTypes_字段int32_t初始为-1标记联合的分界前numNonLoopingTypes_个成员是规范化的已排序、去重非循环类型其余为递归looping成员-1表示尚未规范化。规范化流程UnionType::canonicalizeTypeslib/Sema/FlowContext.cpp嵌套联合扁平化将子联合的非循环成员与循环成员分别展开仅一层因为循环会在DeclareScopeTypes中被检测并报错非循环成员通过sortAndUniqueNonLoopingTypes按TypeInfo::compare排序再用TypeInfo::equals去重lib/Sema/FlowContext.cpp循环成员无法确定序排序只能用 O(n²) 的uniqueLoopingTypesSlow两两equals去重lib/Sema/FlowContext.cpp单成员坍缩FlowContext::maybeCreateUnion在规范化后若只剩一个类型直接返回该类型本身不创建 Unioninclude/hermes/Sema/FlowContext.h。setCanonicalTypes中断言types_.size() 1lib/Sema/FlowContext.cpp进一步印证单成员联合不存在。此外UnionType::canonicalizeTypes的注释明确不能用于类型别名别名可能有纯联合循环、多层嵌套等需由 FlowChecker 的DeclareScopeTypes处理。5.2 Optional / Nullable没有独立的 Optional 类型Flow 类型系统不设独立的 Optional 类型全部表示为联合type?可选→Void | Null | type?type可空→Void | Null | typeFlowContext::createPopulatedNullable(type)负责创建该规范联合include/hermes/Sema/FlowContext.h。由于 Void 与 Null 的TypeKind序数相邻Null Void 1UnionType::hasNull()可以直接断言Null 必在前两个槽位之一include/hermes/Sema/FlowContext.h实现 O(1) 查询。UnionExcludesexcludeVoid/excludeNull允许在创建联合时剔除这些 arm。5.3 循环递归类型结构化递归类型如type Tree null | {val: number, children: Tree[]}会产生循环。FindLoopingTypespasslib/Sema/FlowChecker-scopetypes.cpp遍历类型图将循环路径上的所有成员标记isLooping true。循环成员在比较时只能使用慢速 O(n²) 匹配无法确定性排序。名义类型类会终止递归遍历——类按标识而非结构比较。值得注意的判定细节FindLoopingTypes::isLooping对SingletonType、TypeWithId含 Class直接返回 false——单例无结构名义类按 ID 比较不会进入无限递归而 Union、Array、Tuple、ExactObject、函数类型才会递归检查其成员。六、数组、元组与精确对象类型6.1ArrayTypeArrayT仅含单一元素类型element_。不变性ArrayA不能流入ArrayB即使A : B因为 JS 数组运行时可变。这正对应 Flow 的ArrayT设计其元素类型不变。哈希只取(TypeKind::Array)刻意忽略元素类型lib/Sema/FlowContext.cpp。6.2TupleType[A, B, C]定长、位置敏感。不变性元素个数与每位置类型必须完全相等。比较为逐元素字典序lexicographicalComparison相等则逐元素equals哈希只取(TypeKind::Tuple, size)。源码中canAFlowIntoB(TupleType*, TupleType*)的 TODO 注释提到将来允许元组方差时会更复杂lib/Sema/FlowChecker.cpp。6.3ExactObjectType{x: A, y: B}具名字段 精确语义不允许多余属性。每个字段包含Identifier name、Type *type、FieldVariance variancefieldNameMap_提供按名 O(1) 查找。字段顺序参与比较——字段顺序不同的精确对象不能互相流入。源码在此基础上还有两个增强点超出设计文档的细节FieldVarianceinclude/hermes/Sema/FlowContext.hNone不变读写均可、ReadOnlyFlow 的只读协变、WriteOnlyFlow 的-只写逆变。子类型判定时不变源可流入任意方差目标ReadOnly/WriteOnly源只能流入相同方差目标且ReadOnly目标按协变、WriteOnly目标按逆变检查lib/Sema/FlowChecker.cpp。Indexer索引签名[k: string]: number。一个精确对象至多一个 indexer且有 indexer 的对象不能再有具名字段。字符串键 indexer 支持对象宽度子类型——源对象的具名字段可流入目标 indexer键必须相同值类型按方差匹配。设计文档注明的限制依然成立非精确对象{x: number, ...}尚未实现。七、函数类型7.1 三种函数类型与基类BaseFunctionTypeinclude/hermes/Sema/FlowContext.h携带isAsync_与isGenerator_标志——async/generator 状态在子类型判定中必须精确匹配见 lib/Sema/FlowChecker.cpp。三种派生TypedFunctionType完整签名。return_返回类型、thisParam_可选 this 参数类型、params_参数列表每个Param含Identifier name、Type *type、bool optional、bool rest。rest 参数必须是最后一个且至多一个源码注释Rest parameter MUST be the last parameter in params_include/hermes/Sema/FlowContext.h。UntypedFunctionType无签名仅 async/generator 标志可流入其他任意未类型化函数。NativeFunctionType持有NativeSignature *signature_来自NativeContext仅当签名指针相等时才能流动lib/Sema/FlowChecker.cpp。7.2 函数子类型标准方差规则canAFlowIntoB(BaseFunctionType*, BaseFunctionType*, ThisFlowDirection)的实现lib/Sema/FlowChecker.cpp蕴含了完整规则参数逆变b的每个参数类型必须能流入a的对应参数canAFlowIntoB(paramB, paramA)第 3139 行即被调用方必须接受调用方传来的实参返回协变a的返回类型必须能流入b的返回类型第 3163 行async/generator 精确匹配、函数种类精确匹配Typed ≠ Untyped ≠ Native第 3027 行。实现中还处理了若干边界情形this参数方向默认ThisFlowDirection::Default下检查canAFlowIntoB(b-this, a-this)超类型 this 流入子类型 this方法重写场景使用MethodOverride方向反转检查。canAOverrideB()封装了后者lib/Sema/FlowChecker.h。无this的箭头函数可以流入this: void的回调位置a有this而b无则拒绝。参数个数不匹配a参数更少aNonRest bNonRest合法但需 checked cast相当于忽略多余实参a参数更多时多出的必须是optional参数才合法同样置needCheckedCast。rest 参数参与元素级比较a的 rest 元素类型必须接受b的多余固定参数类型反之b的 rest 元素类型必须流入a的额外可选参数类型。双方都有 rest 时按逆变比较元素类型第 3149-3158 行。八、名义类类型Class Types8.1 名义性Nominal与 ID类类型是名义的——子类型基于继承链而非结构。两个字段声明完全相同的类互不兼容。为此TypeWithId基类include/hermes/Sema/FlowContext.h为每个类分配全局唯一id_用于可预测排序与 O(1) 比较同时持有initialized_标志区分仅前向声明与已完整初始化状态支持互引。8.2 字段结构ClassType::Fieldinclude/hermes/Sema/FlowContext.h是设计文档中给出的核心结构源码实际还多了若干字段struct Field { const Identifier name; Type *type; // 存取器字段为 getter 返回类型setter-only 为 Void const OptValuesize_t layoutSlotIR; // 映射到 IR PrLoad/PrStore 槽位无槽位字段final/私有方法为 None ESTree::MethodDefinitionNode *method;// 数据字段为 nullptr ESTree::IdentifierNode *const staticKeyNode; // 静态字段/方法经变量访问时传播 Decl const bool finalMethod; // final 方法不进 home object只存变量 Type *getterType nullptr; // 存取器 getter 函数类型 Type *setterType nullptr; // 存取器 setter 函数类型 ESTree::MethodDefinitionNode *setterMethod nullptr; bool overridden{false}; // 是否被子类覆写初始化后唯一可改字段 bool isPrivate; llvh::MapVectorESTree::MethodDefinitionNode *, Type * overloads; // 重载方法 };关键查找结构fields_仅本类直接声明不含继承的字段fieldNameMap_全部可访问字段含继承Identifier → FieldLookupEntryFieldLookupEntry记录字段所在的classType与其在fields_中的索引可沿继承链追溯privateFieldNameMap_仅本类私有字段不继承numLayoutSlots_拥有 IR 布局槽位的字段数final 方法无槽位故可能小于fieldNameMap_.size()。8.3 其他属性constructorType_构造函数的函数类型homeObjectType_编码[[HomeObject]].prototype方法的类表示 home object 的ClassType其homeObjectType_为 nullstaticObjectType_静态属性/方法的类型无静态元素时为 nullsuperClass_父类可空typeArgs_泛型特化的类型实参仅用于错误报告非特化类为空。8.4 类子类型canAFlowIntoB(ClassType*, ClassType*)lib/Sema/FlowChecker.cpp沿a的继承链向上查找bClassType *cur a; while (cur) { if (cur b) return {.canFlow true}; cur cur-getSuperClassInfo(); } return {};无结构匹配——同字段不同声明的两个类不兼容。8.5ClassConstructorType类声明/类表达式如const C class { ... }的类型。它包装一个ClassType与实例类型严格区分对应 JS 中构造函数值与实例的差别。子类型判定委托给被包装的ClassType比较lib/Sema/FlowChecker.cpp。九、泛型与特化9.1 表示GenericInfoSpec模板见lib/Sema/FlowChecker.cpp中的specializeGenericImpl用法template class Spec class GenericInfo { ESTree::Node *originalNode; DenseMapArrayRefTypeInfo*, Spec* specializations; // 备忘缓存 };9.2 特化流程类型实参逐一解析parseTypeAnnotation后与类型参数匹配specializations缓存将类型实参元组映射到已实例化的类型/AST 克隆避免重复工作——specializeGenericImpl先查generic.getSpecialization(typeArgsRef)命中则直接复用未命中才克隆 ASTcloneNode在独立栈上执行以避免递归爆栈见 lib/Sema/FlowChecker.cppvalidateAndBindTypeParameterslib/Sema/FlowChecker.cpp把参数名绑定到具体类型写入bindingTable_paramName → TypeDecl{type, scope, node}。它同时校验实参数量是否匹配并发出两处尚不支持特性的警告类型参数边界bounds与类型参数方差。9.3InferencePlaceholder与推断调用泛型函数时若不显式提供类型实参FlowChecker会创建InferencePlaceholderType占位符随后由matchConstraintToType声明见 lib/Sema/FlowChecker.h实现见 lib/Sema/FlowChecker-expr.cpp通过就地修改占位符的info指针把占位符填充为实参推导出的具体类型。InferencePlaceholderArrayType则是推断期间包裹占位符元素类型的数组约束使matchConstraintToType能递归进入元素解析如ArrayT匹配Arraynumber时推导出T number。泛型类特化后FlowContext::registerArrayClassType/isArrayClassType/getArrayElementTypeinclude/hermes/Sema/FlowContext.h登记ArrayT类特化与元素类型的映射供 IRGen 与 rest 参数检查使用。十、子类型判定canAFlowIntoB核心函数返回CanFlowResult { bool canFlow, bool needCheckedCast }lib/Sema/FlowChecker.h并提供便捷方法canFlowWithoutCast()。10.1 规则优先级顺序见 lib/Sema/FlowChecker.cpp同一性a b指针相等→ 可流动顶类型_ → any可流动_ → mixed可流动any → _可流动但needCheckedCast trueempty → _底类型无条件可流动联合(A | B) → C仅当A → C且B → C全 arm 通过任一 arm 的 cast 需求取并A → (B | C)仅当A → B或A → C命中一个 arm 即可hasAny/hasMixed短路直接通过只有命中 arm 都需要 cast 时才整体带 cast见 lib/Sema/FlowChecker.cpp结构化类型全部不变数组元素类型必须相等元组长度一致且逐元素相等对象字段名、顺序、类型精确匹配含方差与索引签名处理名义类型类继承链查找含ClassConstructor委托函数参数逆变、返回协变、种类与 async/generator 标志匹配。10.2 受检转换Checked Casts当any流入具体类型或 union 判定链中聚合出 cast 需求时needCheckedCast true向 IRGen 发出信号必须在运行时插入类型检查指令CheckedTypeCastInst。在 AST 层implicitCheckedCastlib/Sema/FlowChecker.cpp在compile_模式下创建一个ImplicitCheckedCastNode包裹实参并赋予目标类型IRGen 将其编译为CheckedTypeCastInst该指令将输入类型与目标类型求交交集为空则视为不可达代码详见 doc/plans/ir-type/ir-type-system.md 的 Type Narrowing 一节。十一、类型比较、相等与哈希三者实现于 lib/Sema/FlowContext.cpp共享CompareStateinclude/hermes/Sema/FlowContext.h11.1 比较TypeInfo::compare字典序lexicographic结构化排序。CompareState.visited记录已访问的(this, other)对以检测循环——再次遇到已访问对直接返回 0视为相等因为若分歧早于该对出现则不会走到这里cache备忘已算结果。注意compare仅适用于非循环联合源码注释明确 looping unions are not comparable该前置条件由调用方保证违反会导致不可预测行为。11.2 相等TypeInfo::equals结构化相等、容忍循环可用于含已知循环 arm 的联合。对别名解析期间尚未规范化的不完整联合有专门处理TypeInfo::equals入口处理numNonLoopingTypes_ 0的联合。循环成员用listsMatchSlow做慢速配对匹配。11.3 哈希TypeInfo::hash刻意浅哈希联合仅哈希(kind, armCount)数组忽略元素类型仅TypeKind::Array元组/对象仅哈希size对象另含 indexer 存在性及其方差。这避免了哈希表插入的 O(n) 开销同时维持核心不变量equals()成立 ⇒ 哈希相等。哈希结果缓存于TypeInfo实例摊还 O(1)。十二、类型解析流水线三阶段作用域处理DeclareScopeTypeslib/Sema/FlowChecker-scopetypes.cpp分三阶段允许类与类型别名相互引用前向声明Forward declarations创建带 ID 但无字段的ClassType实例仅登记类型别名名字不解析其 RHS别名解析Alias resolution解析类型别名的 RHS 注解检测并拒绝纯联合循环union-only cycles如type A B | number; type B A | string在 lib/Sema/FlowContext.cpp 的注释中明确提到该检测发生在DeclareScopeTypes填充前向声明的别名完成声明Complete declarations解析类体字段、方法、构造函数、超类初始化ClassType字段并规范化联合。泛型别名实例化可能在完成阶段引入新的前向声明见DeclareScopeTypes中Instantiating generic type aliases may cause new forward declarations的注释因此整个流水线是迭代推进的。FindLoopingTypes在别名解析后运行标记循环成员lib/Sema/FlowChecker-scopetypes.cpp。十三、类型收窄Type Narrowing控制流空值检查、类型守卫、条件分支之后Flow 提供两个收窄入口13.1getNonOptionalSingleType(type)从联合中提取唯一的非 void、非 null armlib/Sema/FlowChecker.cpp跳过VoidType、NullType后若只剩一个 arm 则返回之存在多个非可选 arm 则返回nullptr。用于空值检查后的控制流。13.2tryNarrowType(exprType, targetType)尝试把表达式类型收窄为目标类型返回(resType, CanFlowResult)lib/Sema/FlowChecker.cpp若exprType已能流入targetType需要 cast 则返回(targetType, cf)否则原样返回否则取getNonOptionalSingleType(exprType)收窄后再检查两个链式 checked cast 会合并为单个收窄路径本身需要 cast 时直接以targetType为目标特例从?T流向T | void时即使窄化后无需 cast也必须显式置needCheckedCast true——因为 IRGen 不能假设收窄后的类型就是T目标必须是完整联合源码注释给出了该示例见 lib/Sema/FlowChecker.cpp。十四、与 IR 类型系统的关系两套系统各自独立连接点在代码生成侧维度Flow 类型系统IR 类型系统阶段语义分析FlowChecker优化与代码生成表达能力结构化/名义类型、泛型16 位位掩码、13 种原始类型表示成本多层对象、deque 分配2 字节位掩码全部操作位运算、零分配类对象名义Class含字段布局单一Object位无 Array/Function/RegExp 区分连接点详见 doc/plans/ir-type/ir-type-system.mdClassType::Field::layoutSlotIR把 Flow 字段映射到 IR 的PrLoad/PrStore槽位索引IRGen 把 Flow 类型转换为 IR 类型并在needCheckedCast标志处插入CheckedTypeCastInst该指令求交输入类型与目标类型交集为空则代码不可达Flow 的Number、String、Boolean等直接对应 IR 类型位Flow 的Class映射到 IR 的Object位Flow 的Union映射为其各 arm 的 IR 类型之并集。这种分工让前端的富类型检查与后端的廉价类型推导各司其职Flow 侧负责语义正确的名义/泛型/方差判定IR 侧用位运算实现单调收窄的定点类型推导详见 lib/Optimizer/Scalar/TypeInference.cpp 与 doc/plans/ir-type/ir-type-system.md 的 Type Inference Pass 一节。十五、关键设计属性总结名义类 结构化其余类按标识继承链比较数组/元组/对象/函数按结构比较容器不变数组、元组、对象不变因为 JS 值运行时可变Flow 的/-方差例外循环容忍比较、相等、哈希全部通过 visited-pair 跟踪处理递归类型懒哈希类型进入哈希表之前不做昂贵的递归哈希稳定指针std::deque分配保证类型指针永不失效前向声明支持类型可先以 ID 创建、后补字段从而支持类与别名的相互引用保守安全子类型判定宁缺毋滥any流出必须显式插入运行时受检转换。围绕该设计的更多落地进展可继续阅读同目录计划文档doc/plans/ir-type/ir-type-v2-design.md、doc/plans/ir-type/ir-type-v2-implementation.md 与 doc/plans/ir-type/typeinference-primitive-fastpath-design.md以及类型系统整体设计文档 doc/Design.md。【免费下载链接】hermesA JavaScript engine optimized for running React Native.项目地址: https://gitcode.com/gh_mirrors/hermes/hermes创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考