从列表中删除空列表的有效方法？

Question

从出现在不同级别的表达式中的所有List中删除所有空List[]对象的最有效方法是什么？ 只有当它是另一个List本身的元素时，才应删除空的List[] 。

Answer 1

Andrew 和 Alexey 指出使用expr //. x_List:> DeleteCases[x, {}, Infinity] expr //. x_List:> DeleteCases[x, {}, Infinity]正如我在上一个答案中所做的那样，也会删除 blah[{f[{ {} blah[{f[{}]}]中的 {} ，而它应该保持不变，因为它的头部是f ，而不是一个List 。 多亏了 Leonid，解决方案是不使用ReplaceRepeated ，而是Replace代替从0到Infinity的所有级别进行替换：

Replace[expr, x_List :> DeleteCases[x, {}], {0, Infinity}]

---

从这个小例子中可以看出Replace有效而ReplaceRepeated无效的原因。 考虑expr = {a, {}, {b, {}}, c[d, {}]}; 在它的TreeForm中

Replace首先从最里面的表达式开始，即List[b,{}]和c[d,{}] ，然后向上到顶部节点。 在每个级别，检查头部就像查看正上方的节点并查看它是否匹配List一样简单。 如果是，则应用规则并向上移动一个级别，否则什么都不做并向上移动一个级别。 这会产生最终的树：

另一方面， ReplaceRepeated ( //.)的工作原理是从最顶层的节点开始向下遍历树。 之前的解决方案首先检查第一个节点是否为List ，如果是，则应用DeleteCases并沿树向下移动，无情地替换它可以找到的每个{} 。 请注意，它不检查内部表达式的头部是否也匹配List ，因为此遍历是由DeleteCases完成的，而不是ReplaceRepeated 。 当//. 移动到随后的较低节点，没有什么可以替换的，它很快就退出了。 这是使用上一个解决方案获得的树：

请注意， c[d, {}] {}的 {} 也已被删除。 这完全是因为DeleteCases （具有级别规范{0,Infinity}向下移动树。事实上，如果第一个头不是List ，它会跳过它并移动到下一个级别，只有{} {b, {}}中的 {} 是匹配的。为了演示expr2 = f[a, {}, {b, {}}, c[d, {}]] ，我们得到

请注意，在当前使用Replace的解决方案中，我们使用具有默认级别规范的DeleteCases ，这只是第一级。 因此，它不会检查和删除比第一级更深的空列表，这正是我们在这里需要的。

尽管我们使用第一个节点来解释它失败的原因，但推理对每个节点都适用。 列昂尼德在他的书中更详细地解释了这些概念