C#中stackalloc表达式的返回类型是什么？相关异常行为如何解释？

stackalloc表达式的实际类型 #

stackalloc T[Length]属于C#中无固定编译时类型的特殊表达式，和null、Lambda表达式、方法组属于同一类别，本身没有独立的返回类型，它的具体类型完全由赋值的上下文目标类型决定，仅支持两种隐式目标类型转换：T*和Span<T>/ReadOnlySpan<T>。

各特殊行为的原因解释 #

• 隐式类型声明时返回float*
  当使用var做隐式类型推导时，若没有显式指定目标类型，C#编译器会对stackalloc表达式默认推导为对应的裸指针类型float*，该场景必须开启unsafe上下文才能编译通过。
  代码示例：

unsafe
{
    var a = stackalloc float[1]; // a默认推导为float*
}

• 先声明float*再用stackalloc赋值无法编译
  C#规范明确限制了stackalloc表达式的合法使用场景：仅允许作为变量声明的初始化器使用，不能作为独立赋值语句的右值。该限制是为了从语法层面避免栈分配的内存地址被不当传递到方法外部，引发野指针问题。
  你遇到的先声明float* a再赋值的写法不符合初始化器的要求，因此触发CS8346报错。

• 声明float*的同时用stackalloc初始化可正常运行
  该写法符合stackalloc作为指针变量初始化器的合法场景，因此可以正常编译，同样需要开启unsafe上下文。
  代码示例：

unsafe
{
    float* a = stackalloc float[1];
}

• Span<float>的类似表现
  Span<T>是.NET提供的类型安全内存包装，stackalloc表达式支持直接隐式转换为Span<T>，且该场景不需要开启unsafe上下文，转换时编译器会自动将数组长度写入Span的Length属性，避免内存越界。
  同样受stackalloc只能作为初始化器的规则限制，先声明Span<float>再赋值的写法不符合要求，触发CS8353报错。报错描述中提到的“可能暴露到方法外部”是因为栈内存的生命周期和当前方法绑定，方法返回后栈内存会被自动回收，若允许后续赋值更容易出现Span逃逸到方法外的安全问题。

• Span<float>和float*无双向隐式转换
  Span<T>本身包含内存起始地址和长度两个信息，是类型安全的封装；而float*是无长度信息的裸指针，隐式转换会丢失长度信息，破坏Span的安全性设计，因此不支持双向隐式转换。
  如果需要互相转换，只能在unsafe上下文下显式操作：

  1. 从float*构造Span<float>：需要手动传入长度参数 var span = new Span<float>(ptr, length);
  2. 从Span<float>获取float*：需要固定内存后取地址 float* ptr = (float*)&span.GetPinnableReference();

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