iOS AutoLayout约束异常触发additionalLayoutSupport内存崩溃排查

你遇到的是Auto Layout布局引擎（NSIS）死循环导致的内存暴涨崩溃，UIView: additionalLayoutSupport nsis_valueOfVariable:didChangeInEngine就是这类问题的典型报错标识。
触发逻辑非常明确：

1. 执行push页面跳转时，UINavigationController会自动调整栈内所有页面的safeAreaInsets，更新系统自动注入的additionalLayoutSupport相关布局约束——这类约束是系统必填约束，优先级固定为1000。
2. 你写的greenView.leading >= redView.trailing + 10约束默认优先级也是1000（自定义必填约束），和同方向的greenView固定trailing距边20、greenView宽度>=100两个约束组合后，在系统调整布局边距的场景下，找不到能同时满足所有必填约束的稳定布局结果：引擎不管怎么调整视图的位置、尺寸，都会违反其中某一个必填约束。
3. 这类冲突不会触发常规的约束冲突告警log，反而会让NSIS引擎进入无限迭代重算的状态，每次迭代都会生成新的布局计算临时对象且无法及时释放，最终内存以每秒几十MB的速率线性上涨，触达iOS单进程3GB内存上限后直接崩溃。
   另外你原来写的maker.trailing.equalTo(-20)存在隐式参考系问题，部分版本SnapKit下会出现约束相对目标匹配错误的情况，会进一步提升约束冲突的概率。

按以下步骤可以快速定位同类Auto Layout死循环问题：

• 添加符号断点确认循环触发点：在Xcode断点面板点击+号，选择添加符号断点，分别配置两个断点：
  • 符号填UIViewAlertForUnsatisfiableConstraints：断点触发时直接读取控制台输出的冲突约束链，就能定位到冲突的约束组合
  • 符号填-[NSISEngine _optimize]：如果断点在没有任何用户操作的情况下被连续反复触发，就可以直接确认是布局引擎死循环
• 用内存图确认异常对象类型：复现问题的过程中点击Xcode的Debug Memory Graph按钮，筛选NSISEngine、NSISRow、NSLayoutConstraint类的实例，如果实例数量随时间持续线性上涨，就可以排除其他内存泄漏场景，100%确认是布局循环导致的内存暴涨
• 约束二分法缩小排查范围：逐组注释页面上的约束，每注释一组就复现一次跳转操作，通常几分钟内就能定位到触发冲突的具体约束。

核心修改逻辑是把自定义的不等式约束优先级降到999（即.high优先级），低于系统1000优先级的必填布局约束，给引擎留出解冲突的收敛空间，同时明确约束的相对参考系，避免隐式匹配目标带来的异常。修正后的代码如下：

greenView.snp.makeConstraints { maker in
    // 明确trailing相对父视图，消除隐式参考系带来的匹配错误问题
    maker.trailing.equalToSuperview().offset(-20)
    maker.centerY.equalTo(locationButton)
    maker.height.equalTo(locationButton.snp.height)
    maker.width.greaterThanOrEqualTo(100)
    // 不等式约束设为高优先级(999)，低于系统必填约束优先级，避免引擎找不到收敛解进入死循环
    maker.leading.greaterThanOrEqualTo(redView.snp.trailing).offset(10).priority(.high)
    // 可选：如果绿视图需要根据内容自适应宽度，设置横向压缩阻力优先级低于红视图，保证空间不足时优先压缩绿视图，不会出现两个视图互相拉扯的约束异常
    greenView.setContentCompressionResistancePriority(.defaultHigh, for: .horizontal)
}

通用避坑规则 #

所有跨视图关联的不等式约束（greaterThanOrEqualTo/lessThanOrEqualTo），除非能100%确认同方向所有约束的优先级、覆盖所有屏幕尺寸/系统布局调整的边界场景，否则不要使用默认1000的必填优先级，统一设为999高优先级即可。系统自动注入的安全区、布局边距、导航栏相关附加约束都是1000优先级，自定义约束优先级低于这个值时，遇到边界场景系统会自动调整自定义约束满足系统布局要求，不会触发引擎死循环。

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