C# Enumerable内存分配优化：避免Nodes属性重复创建对象

这个问题的核心在于每次访问Nodes属性时，都会递归创建大量临时对象——包括new[] { this }生成的数组，以及Union操作产生的迭代器。对于数万个节点的大型BDD模型，频繁调用这个属性会导致内存中堆积大量短期对象，最终引发GB级的内存占用。下面给你几个可行的优化方案：

方案1：缓存结果（最推荐） #

BDD节点通常是不可变的（即Low和High属性不会在创建后修改），这意味着Nodes的结果是固定的。我们可以把计算后的结果缓存到私有字段中，第一次计算后直接复用，彻底避免重复创建对象和递归遍历：

private IEnumerable<BDDNode> _cachedNodes;

public IEnumerable<BDDNode> Nodes 
{ 
    get 
    {
        if (_cachedNodes == null)
        {
            if (Low == null && High == null)
            {
                // 只创建一次单元素序列
                _cachedNodes = new[] { this };
            }
            else
            {
                // 一次性计算并缓存整个节点集合，用ToList()提前枚举成列表可进一步减少迭代器开销
                _cachedNodes = new[] { this }.Union(Low.Nodes).Union(High.Nodes).ToList();
            }
        }
        return _cachedNodes;
    } 
}

如果你的BDD节点是可变的（比如允许修改Low/High），只需在修改这些属性时把_cachedNodes置为null，下次访问时就会重新计算最新的节点集合。

方案2：复用单元素序列（无缓存场景） #

如果因为某些原因不能缓存结果（比如节点频繁变更），可以避免每次创建新的单元素数组。你可以用Enumerable.Repeat生成延迟执行的单元素序列，减少临时数组的创建：

// 用Enumerable.Repeat替代new[] { this }
public IEnumerable<BDDNode> Nodes 
{ 
    get 
    {
        if (Low == null && High == null)
        {
            return Enumerable.Repeat(this, 1);
        } 
        else 
        {
            return Enumerable.Repeat(this, 1).Union(Low.Nodes).Union(High.Nodes);
        }
    } 
}

Enumerable.Repeat不会创建新数组，而是返回一个轻量级的迭代器对象，相比每次创建new[] { this }能减少一部分内存开销，但还是会重复触发递归遍历，所以效果远不如缓存方案。

原代码内存占用高的根本原因 #

原代码每次访问Nodes都会：

1. 创建新的单元素数组new[] { this }；
2. 递归调用Low.Nodes和High.Nodes，生成更多临时数组和Union迭代器；
3. 这些临时对象会在GC回收前一直占用内存，频繁调用时会导致内存迅速膨胀。

缓存方案从根源上解决了这个问题——只计算一次节点集合，后续直接复用，内存占用会大幅下降。

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