c# - stackalloc 表达式的返回类型是什么？

Question

我正在玩 stackalloc并在它的返回类型中发现了很多奇怪之处。以下是使用 stackalloc<float> 的一些示例:

1. 隐式输入返回 float* :

var a = stackalloc float[1];//a is float*

2.声明一个float*稍后使用 stackalloc 进行设置不编译:

    float* a;
    a = stackalloc float[1];//CS8346 conversion of a stackallock expression of type 'float' to type 'float*' is not possible

3.声明float*同时初始化工作正常:

float* a = stackalloc float[1];

4. Span<float> 会发生类似的行为

这很好用:

 Span<float> a = stackalloc float[1];

但这不能编译:

        Span<float> a; 
        a = stackalloc float[1];//CS8353 A result of a stackalloc expression of type 'Span<float>' cannot be used in this context because it may be exposed outside of the containing method

5. 让整个情况变得更奇怪的是 Span<float> 之间没有隐式转换。和 float*反之亦然。

那么stackalloc float[1]到底是什么？返回？为什么会出现上述行为？

此代码是使用 VS 2019 C# 9.0 版、.NET 5 编写的。

Answer 1

根据 C# 6 draft specification stackalloc :

In an unsafe context, a local variable declaration (Local variable declarations) may include a stack allocation initializer which allocates memory from the call stack.

即它只能用于您称为“内联”的声明。

根据 language reference stackalloc没有单一定义的返回类型，而是“在堆栈上分配一 block 内存”，然后:

You can assign the result of a stackalloc expression to a variable of one of the following types:

• Beginning with C# 7.2, System.Span<T> or System.ReadOnlySpan<T>
• A pointer type

一些有趣的额外链接:

• C# - All About Span: Exploring a New .NET Mainstay Stephen Toub 着。
• 关于 github 的 CS8353 讨论
• Why does a zero-length stackalloc make the C# compiler happy to allow conditional stackallocs?