stackalloc 表达式(C# 参考)

stackalloc 表达式在堆栈上分配内存块。 该方法返回时,将自动丢弃在方法执行期间创建的堆栈中分配的内存块。 不能显式释放使用 stackalloc 分配的内存。 堆栈中分配的内存块不受垃圾回收的影响,也不必通过 fixed 语句固定。

可以将 stackalloc 表达式的结果分配给以下任一类型的变量:

  • 从 C# 7.2 开始,System.Span<T>System.ReadOnlySpan<T> 将如下例所示:

    int length = 3;
    Span<int> numbers = stackalloc int[length];
    for (var i = 0; i < length; i++)
    {
        numbers[i] = i;
    }
    

    将堆栈中分配的内存块分配给 Span<T>ReadOnlySpan<T> 变量时,不必使用 unsafe 上下文。

    使用这些类型时,可以在条件表达式或赋值表达式中使用 stackalloc 表达式,如以下示例所示:

    int length = 1000;
    Span<byte> buffer = length <= 1024 ? stackalloc byte[length] : new byte[length];
    

    从 C#8.0 开始,只要允许使用 Span<T>ReadOnlySpan<T> 变量,就可以在其他表达式中使用 stackalloc 表达式,如下例所示:

    Span<int> numbers = stackalloc[] { 1, 2, 3, 4, 5, 6 };
    var ind = numbers.IndexOfAny(stackalloc[] { 2, 4, 6 ,8 });
    Console.WriteLine(ind);  // output: 1
    

    备注

    建议尽可能使用 Span<T>ReadOnlySpan<T> 类型来处理堆栈中分配的内存。

  • 指针类型,如以下示例所示:

    unsafe
    {
        int length = 3;
        int* numbers = stackalloc int[length];
        for (var i = 0; i < length; i++)
        {
            numbers[i] = i;
        }
    }
    

    如前面的示例所示,在使用指针类型时必须使用 unsafe 上下文。

    对于指针类型,只能在局部变量声明中使用 stackalloc 表达式来初始化变量。

堆栈上可用的内存量存在限制。 如果在堆栈上分配过多的内存,会引发 StackOverflowException。 为避免这种情况,请遵循以下规则:

  • 限制使用 stackalloc 分配的内存量。 例如,如果预期的缓冲区大小低于特定限制,则在堆栈上分配内存;否则,使用所需长度的数组,如以下代码所示:

    const int MaxStackLimit = 1024;
    Span<byte> buffer = inputLength <= MaxStackLimit ? stackalloc byte[inputLength] : new byte[inputLength];
    

    备注

    由于堆栈上可用的内存量取决于执行代码的环境,因此在定义实际限值时请持保守态度。

  • 避免在循环内使用 stackalloc。 在循环外分配内存块,然后在循环内重用它。

新分配的内存的内容未定义。 在使用之前应对其进行初始化。 例如,可以使用 Span<T>.Clear 方法将所有项设置为 T 类型的默认值。

从 C# 7.3 开始,可以使用数组初始值设定项语法来定义新分配内存的内容。 下面的示例演示执行此操作的各种方法:

Span<int> first = stackalloc int[3] { 1, 2, 3 };
Span<int> second = stackalloc int[] { 1, 2, 3 };
ReadOnlySpan<int> third = stackalloc[] { 1, 2, 3 };

在表达式 stackalloc T[E] 中,T 必须是非托管类型,并且 E 的计算结果必须为非负 int 值。

安全性

使用 stackalloc 会自动启用公共语言运行时 (CLR) 中的缓冲区溢出检测功能。 如果检测到缓冲区溢出,则将尽快终止进程,以便将执行恶意代码的可能性降到最低。

C# 语言规范

有关详细信息,请参阅 C# 语言规范以及允许嵌入上下文中的 stackalloc 功能建议说明的堆栈分配部分。

请参阅