不等式的自动布局歧义答案

【问题标题】：Autolayout ambiguity with inequalities不等式的自动布局歧义
【发布时间】：2014-07-27 20:07:53
【问题描述】：

我对 Cocoa 的自动布局如何确定布局是否模糊感到困惑。这是一个简单的例子：

观察到的行为如下。绿色矩形左侧和右侧的垫片始终具有相同的宽度。当您向外水平拉伸超级视图时，当矩形扩展时，垫片会保持 80。当您水平收缩超级视图时，矩形坚持到 398，而垫片收缩到 10，之后矩形继续收缩。 IB 在任何时候都不会将布局标记为模棱两可。

但是，您会注意到水平布局几乎完全由不等式定义！据我所见，当矩形的宽度大于 398 时，没有理由让垫片的宽度为 80。它们的宽度可以在 10 到 80 之间，并且仍然满足每个水平不等式。这对我来说听起来模棱两可，但 IB 显然不同意。

一定有一些我遗漏的隐含规则。请帮帮我！

【问题讨论】：

【解决方案1】：

巧合的是，自动布局具有模棱两可的文档。因此，您从应用程序中观察到的行为在技术上是未定义的。这正是文档所说的：

约束具有优先级。具有较高优先级的约束先于具有较低优先级的约束得到满足。默认优先级是必需的（NSLayoutPriorityRequired），这意味着必须完全满足约束。布局系统尽可能接近满足可选约束，即使它不能完全实现它。

因此要求是

布局系统尽可能地满足可选约束必须完全满足优先级为 1000 的约束优先级较高的约束在优先级较低的约束之前得到满足

但是，正如您所注意到的是什么导致 spacer 贪婪地扩展到 80，而绿色 rect 由于具有更高的优先级而最大程度地扩展？

自动布局没有以明确的方式定义“尽可能关闭”和“在约束之前满足更高的先验约束”。自动布局文档中提到了这两个维度：优先级和紧密度；但这些文件并没有说明这些维度的优化是如何相互作用的。

话虽如此，这里有一个关于自动布局如何运行的理论，基于自动布局可能是一个多变量线性分解求解器这一事实。

让我们考虑一下你的极端情况

当您水平向外拉伸超级视图时，当矩形扩展时，分隔符会保持 80 度

水平缩小超级视图时，矩形保持在 398，而垫片缩小到 10

之后矩形继续缩小

这些极端情况可以简化为

请注意数字是如何从一个案例跳到另一个案例的。垫片中Case A到Case B之间有一个平滑的连接，在临界点从80 -> 80。从 Case B 到 Case C 的矩形也是如此。自动布局使用的算法在处理关键点时总是会产生平滑的解决方案。

【讨论】：