NSPredicate 作为约束求解器？

Question

我正在开发一个项目，其中包含一些比我习惯的稍微复杂的界面元素动态布局。我总是觉得编写复杂的代码来检查某某是否接近某某，并在这种情况下将其向某个方向移动 x% 等等是愚蠢的。这不是编程应该完成的方式。编程应该尽可能是声明性的！

正是因为我要做的事情相当简单，所以我认为这将是尝试新事物的好机会，并且我想到使用 NSPredicate 作为一个简单 < href="http://en.wikipedia.org/wiki/Constraint_satisfaction_problem" rel="nofollow noreferrer">约束求解器。到目前为止，我只使用 NSPredicate 来完成非常简单的任务，但我知道它的功能远不止于此。

这里有什么有用的想法、经验、例子、警告、见解吗？

我将举一个非常简单的例子，以便有一些具体的答案。我如何使用 NSPredicate 来解决以下约束：（

viewB.xmid = (viewB.leftEdge + viewB.width) / 2
viewB.xmid = max(300, viewA.rightEdge + 20 + viewB.width/2)

“viewB 应水平居中于坐标 300，除非其左边缘与 viewB 右边缘的距离不超过 20 像素，在这种情况下，viewA 的左边缘应保持不变”固定在 viewB 右边缘右侧 20 像素处，viewA 的水平中心被推到右侧。”)

viewA.rightEdge 和 viewB.width 可以变化，这些是“输入变量”。

编辑：任何解决方案可能都必须使用 NSExpression 方法 -(id)expressionValueWithObject:(id)object context:(NSMutableDictionary *)context。 这个答案是相关的。

Answer 1

Cocoa 谓词本质上是 Cocoa 的一种 SQL。它们的大部分功能在于能够进行字符串搜索和比较，并且对于您想要做的事情没有额外的（有用的）设施，即（据我所知）数字比较。我也不认为它们可以生成非常易于维护的代码。

常规布尔表达式在功能上等同于 Cocoa 谓词，您可以重新排列它们并将它们巧妙地分配给一些命名良好的变量。

if (viewAIs20PixelsAway && viewBIs30PixelsAway) {
    [viewA moveToPositionA];
} else ...

（一个非常简单的例子......我可以想出更好的东西。）

另外，你可以将它们隐藏在一个方法中并像使用 NSPredicate 一样评估它们。

Answer 2

使用 NSPredicate（和 NSExpression）求解简单的线性方程是一件轻而易举的事，但从那里到求解任意约束集合（又名线性规划）仍然是一大步。最有希望的前进方法是按照 Chris Hanson 建议并更新他的BDRuleEngine。下雨天的有趣项目。