使用ref struct与in参数时遭遇CS8347/CS8352错误的解决问询

问题背景 #

我定义了以下函数：

State MoveForward(in Path path);

其中Path是ref struct，State是仅包含整数的ref struct。

在辅助函数中尝试调用它时触发编译错误：

bool TryMoveForward(in Path path, ref State state)
{
    state = MoveForward(path); // 触发CS8347错误
    return !state.IsEnd(); // IsEnd判断整数是否不等于-1
}

错误信息：CS8347 无法在此上下文中使用'MoveForward'的结果，因为它可能会将参数'path'引用的变量暴露到其声明范围之外。

拆分代码行后，错误变为：

var result = MoveForward(path); // 触发CS8352错误
state = result;
return !state.IsEnd();

错误信息：CS8352 无法在此上下文中使用变量'result'，因为它可能会将引用的变量暴露到其声明范围之外。

我认为不应触发错误的理由：

• State仅由整数构成，未暴露来自path的引用，编译器可检查path的使用情况；
• State是ref struct，不会携带可逃逸的引用。

需求是保留MoveForward的in参数，同时解决编译错误。

原因分析 #

C#编译器对ref struct和in参数的逃逸分析采用保守策略：即使你的State当前只包含值类型，编译器无法在编译时绝对确认MoveForward的返回值没有捕获in Path的引用（比如MoveForward的实现可能通过某种方式将path的引用存入State）。这种保守检查是为了严格保证ref struct的栈分配特性，防止引用意外逃逸到堆内存。

可行解决方案 #

方案1：将State标记为readonly ref struct #

如果State确实仅包含值类型且不需要修改内部字段，将其声明为readonly ref struct。编译器对不可变的readonly ref struct会放宽逃逸分析限制，因为它无法被用来存储外部引用：

readonly ref struct State
{
    public int CurrentStep;
    public bool IsEnd() => CurrentStep == -1;
}

修改后原代码可正常编译，同时保留in参数的语义。

方案2：手动复制State的字段 #

若无法将State改为readonly ref struct，可以手动逐个复制返回值的字段到state中。这种方式让编译器明确看到操作仅涉及值类型复制，不存在引用传递：

bool TryMoveForward(in Path path, ref State state)
{
    var result = MoveForward(path);
    // 逐个复制值类型字段
    state.CurrentStep = result.CurrentStep;
    return !state.IsEnd();
}

方案3：使用不安全代码（不推荐） #

如果上述方案都不可行，可以通过不安全代码强制绕过编译器检查，但这会丢失编译时的安全保障，需自行确保State不会持有Path的引用：

using System.Runtime.CompilerServices;

unsafe bool TryMoveForward(in Path path, ref State state)
{
    var result = MoveForward(path);
    Unsafe.AsRef<State>(Unsafe.AsPointer(ref state)) = result;
    return !state.IsEnd();
}

注意：此方法仅作为最后手段，后续若State结构变更为包含引用类型，可能引发严重内存问题。

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