C#如何实现stackalloc生成的Span<char>到char[]的零分配转换

核心问题根源 #

• stackalloc分配的是当前方法栈帧上的内存，会在构造函数执行结束后随栈帧销毁自动回收，编译器禁止将栈上内存的引用存入长生命周期字段，本质是避免野指针导致的内存损坏、程序崩溃。
• 你当前使用char[]作为字段存储数据，数组是引用类型，只要给数组赋值就必然产生堆分配，不可能实现构造阶段零分配的目标。

实现思路 #

要达到和DateTime一致的效果（调用ToString()前无堆分配），核心是不要使用任何引用类型作为结构体字段，将需要存储的字符直接内联在值类型的内存布局中：值类型的内存随它的存储位置走，存在栈上就不碰堆，作为其他对象字段时也不会产生额外的独立堆分配。

可运行实现代码 #

如果使用C# 12及以上版本，直接用InlineArray特性实现固定长度内联缓冲区即可，代码最简洁：

using System.Runtime.CompilerServices;

// 定义长度为5的内联char值类型数组，无额外堆分配
[InlineArray(5)]
file struct CharBuffer5
{
    private char _first;
}

public readonly struct AllocFree
{
    private readonly CharBuffer5 _buffer;
    private readonly int _validLength;

    public AllocFree(ReadOnlySpan<char> input)
    {
        _validLength = 0;
        // 直接获取结构体内嵌缓冲区的Span，无需stackalloc
        Span<char> writeBuffer = _buffer;

        foreach (char c in input)
        {
            if (!char.IsDigit(c)) continue;
            writeBuffer[_validLength] = c;
            _validLength++;
            if (_validLength == writeBuffer.Length) break;
        }
    }

    public override string ToString()
    {
        // 仅在调用ToString时分配堆上的string对象，和DateTime行为完全一致
        return new string(_buffer[.._validLength]);
    }
}

低版本兼容方案 #

如果使用低于C# 12的版本，无法使用InlineArray，可以手动在结构体内声明5个独立的char字段，通过MemoryMarshal创建Span操作即可，效果完全一致：

using System.Runtime.InteropServices;

public readonly struct AllocFree
{
    private readonly char _c0, _c1, _c2, _c3, _c4;
    private readonly int _validLength;

    public AllocFree(ReadOnlySpan<char> input)
    {
        _validLength = 0;
        Span<char> writeBuffer = MemoryMarshal.CreateSpan(ref Unsafe.AsRef(in _c0), 5);
        
        foreach (char c in input)
        {
            if (!char.IsDigit(c)) continue;
            writeBuffer[_validLength] = c;
            _validLength++;
            if (_validLength == writeBuffer.Length) break;
        }
    }

    public override string ToString()
    {
        return new string(MemoryMarshal.CreateSpan(ref Unsafe.AsRef(in _c0), _validLength));
    }
}

注意事项 #

• 绝对不要尝试通过指针等方式将stackalloc的栈内存存入结构体字段，方法返回后栈帧销毁，该指针会成为野指针，引发随机崩溃、数据损坏等不可预期问题。
• 你原始代码中position == 4时break的逻辑会少提取1位数字，上述实现已经修正该问题，最多提取5位数字和你的需求匹配。

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