Span 不能是嵌套局部变量。为什么这是一个限制？

以下内容无法编译。既然这不是匿名方法、lambda 表达式或查询表达式，为什么这是一个限制？ （将文本作为 ref ReadOnlySpan 传递效果很好。）

    void TestNestedSpan()
    {
        var text = "Some text".AsReadOnlySpan();
        var success = TryParseS();

        bool TryParseS()
        {
            //Compile Error CS8175 Cannot use ref local 'text' inside 
            //  an anonymous method, lambda expression, or query expression
            if (text.Length < 1 || text[0] != 'S') 
                return false;

            text = text.Slice(1);
            return true;
        }
    }

编译器消息不完整，还应该提及本地函数。

修改诊断结果仍然会让我困惑“为什么这是一个限制？”。

局部函数无法从外部作用域引用类似 ref 的结构，因为局部函数不需要在本地调用。

Action a;

void f() {
    var s = "Hello, world!\n".AsReadOnlySpan();
    void g() {
        foreach (var c in s)
            Console.Write(c);
    }
    a = g;
}

void h() {
    a(); //call a which is in fact the "local" method g in f
}

你提到：

（将文本作为 ref ReadOnlySpan 传递效果很好。）

这是正确的，但这会更改方法的签名。如果编译器这样做，将不再可能将本地函数作为委托类型传递。

正如评论中提到的：

本地函数的不同翻译是可能的，这实际上允许这样做，它只是不允许将这样的本地函数分配给Action:

Action a;

ref struct S {
    public ReadOnlySpan<char> s;
    public void g() {
        foreach (var c in s)
            Console.Write(c);
    }
}

void f() {
    S s;
    s.s = "Hello, world!\n".AsReadOnlySpan();
    s.g(); // okay
    a = s.g; // error
}

这实际上可能是一个好主意，建议作为 C# 的未来扩展。但目前它还没有被设计或实现。在允许这种情况之前，需要考虑几种极端情况，例如当存在多个局部函数在捕获中存在某些重叠时。