Question

以下内容无法编译。由于这不是匿名方法，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;
        }
    }

Answer 1

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

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

本地函数不能从外部作用域引用类似于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＃的未来扩展。但此时尚未设计或实施。在允许这种情况之前需要考虑几个极端情况，例如当存在多个本地函数时，捕获中会有一些重叠。

Span <t>不能是嵌套的局部变量。为什么这是限制？

1 个答案: