2.1.2 静态形状推断 (Shape Inference)

文档摘要

2.1.2 静态形状推断 (Shape Inference) 静态形状推断（Static Shape Inference）不是图加载流程中一个可有可无的“检查步骤”，而是整个计算图生命周期里第一道真正意义上的语义校验闸门——它在模型尚未执行、内存尚未分配、设备尚未选定之前，就以纯符号化的方式，为每一个张量赋予确定的维度结构；它不依赖任何运行时输入，却能提前捕获83%以上的维度不匹配错误（据ONNX Model Zoo 2023年静态分析报告）；它既是编译器优化的基石，也是跨框架部署的信任锚点。当你调用、或时，背后那毫秒级完成的“形状传播”，绝非魔法，而是一套精密协同的约束求解系统：它由图拓扑驱动、受算子契约约束、靠域规则裁决、以类型系统托底。