C# Lambda表达式是否产生内存分配？及无分配替代方案问询

1. 调用DoSomething()是否会产生堆内存分配？ #

分两种情况：

• 你示例中的item => item.IsValid是无捕获Lambda（未引用外部变量、this或类成员）。在C# 7.2及以上版本、.NET Core 2.1及所有后续.NET版本（包括.NET 5/6/7/8）中，编译器会将这类Lambda缓存为静态委托实例：第一次调用DoSomething时会分配一次堆内存，后续所有调用都会复用该静态实例，不会重复分配。
• 如果Lambda捕获了外部变量（比如局部变量、this引用、类成员等），每次调用DoSomething都会在堆上分配新的委托实例，无法避免这种分配。

2. .NET中的无堆分配委托方案 #

彻底消除堆分配：静态委托实例 #

如果要完全避免哪怕第一次的堆分配，可以手动定义静态委托实例并复用：

// 静态委托实例仅在程序启动时初始化一次（无堆分配或仅分配一次）
private static readonly Predicate<SomeItem> _isValidChecker = item => item.IsValid;

private void DoSomething()
{
    // 直接复用静态实例，无任何堆分配
    var myItem = FindItem(_isValidChecker);
}

值类型委托（.NET 8+） #

.NET 8正式支持自定义值类型委托，通过定义包含Invoke方法的struct，可以让Lambda转换为值类型实例，彻底避免堆分配。示例：

// 自定义值类型委托
public readonly struct ItemPredicate
{
    private readonly Func<SomeItem, bool> _func;

    public ItemPredicate(Func<SomeItem, bool> func) => _func = func;

    public bool Invoke(SomeItem item) => _func(item);

    // 允许Lambda隐式转换为该值类型
    public static implicit operator ItemPredicate(Func<SomeItem, bool> func)
        => new ItemPredicate(func);
}

// 使用值类型委托的方法
public SomeItem FindItem(ItemPredicate predicate)
{
    // 遍历并调用predicate.Invoke(item)
}

private void DoSomething()
{
    // 无捕获Lambda转换为值类型委托，无堆分配
    var myItem = FindItem(item => item.IsValid);
}

.NET 8对这类值类型委托的Lambda转换做了专门优化，写法简洁且无额外分配。

预定义的无分配委托类型 #

.NET提供了专为无分配场景设计的内置委托：

• SpanAction<T>、ReadOnlySpanAction<T>：用于处理Span<T>/ReadOnlySpan<T>类型的参数，适合内存块操作，完全避免堆分配。
• 部分高性能API（如System.Buffers中的类型）也提供了无分配的委托回调选项。

关于ValueAction<T>提案 #

你提到的.NET Core 2.1时期的ValueAction<T>提案并未直接落地为预定义类型，但它的核心目标（用值类型委托避免堆分配）已经通过.NET 7+的自定义值类型委托支持、.NET 8的Lambda到值类型委托的隐式转换完全实现。

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