字符串空值检查为何会产生堆内存分配？

核心原因分析 #

1. string.IsNullOrEmpty是CLR特殊优化的内置方法 #

string.IsNullOrEmpty并非普通的C#方法，它是被.NET运行时（CLR）直接识别并做特殊处理的内置操作：

• 编译器会将它直接翻译为底层指令：先检查引用是否为null，再直接读取string实例的Length字段（无需通过属性访问器，也不会触发任何额外逻辑）。
• 整个过程完全在栈上完成，不会涉及任何堆内存分配。

2. 自定义方法的内存分配来源 #

你遇到的分配问题，通常来自以下场景：

• 装箱操作：如果你的扩展方法是针对IEnumerable<T>编写的（比如原本用于检查空集合的方法），当将string传入时，string虽实现了IEnumerable<char>，但它的GetEnumerator()返回的是值类型StringEnumerator。当这个值类型被赋值给IEnumerator<char>接口变量时（比如在LINQ的Any()方法中），会触发装箱——值类型实例被复制到堆上，产生内存分配。
• 不必要的对象创建：部分自定义方法可能无意间创建临时对象，比如调用string的Trim()、ToCharArray()等方法，或者手动创建枚举器、LINQ查询对象，这些都会导致堆分配。

实际场景示例 #

比如你原本的IEnumerable<T>扩展方法：

public static bool IsNullOrEmpty<T>(this IEnumerable<T> source)
{
    return source == null || !source.Any();
}

当传入string时，source.Any()会调用Enumerable.Any()，内部执行逻辑：

using (IEnumerator<char> enumerator = source.GetEnumerator())
{
    return enumerator.MoveNext();
}

这里source.GetEnumerator()返回的StringEnumerator（值类型）被转换为IEnumerator<char>接口，触发装箱，每次调用都会在堆上分配内存。

而直接调用string.IsNullOrEmpty(str)则完全没有这些额外操作，直接完成检查。

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