如何解决定义ref struct时出现的CS8347编译错误？

原代码（触发CS8347错误） #

struct Locker
{
    private SpinLock _lock;

    public Lock Acquire() => new(ref _lock);
}
ref struct Lock
{
    private ref SpinLock _lock;
    private bool _lockTaken;
        
    public Lock(ref SpinLock @lock)
    {
        _lock = ref @lock;
        _lock.Enter(ref _lockTaken);
    }

    public void Dispose()
    {
        if (!_lockTaken) return;

        _lockTaken = false;
        _lock.Exit();
    }
}

CS8347错误原因 #

C#编译器禁止从非ref返回的方法中，返回持有值类型实例（Locker）内部字段引用的ref struct。因为值类型实例可能被拷贝，导致返回的Lock持有的引用指向失效的原实例，引发线程安全问题或锁状态异常。

符合需求的解决方案 #

以下方案均满足你的两个核心要求：Locker仅包含SpinLock值；Lock持有SpinLock的引用/值+_lockTaken字段。

方案一：使用不安全代码（Unsafe） #

通过指针替代引用，绕过编译器的生命周期检查限制：

unsafe struct Locker
{
    private SpinLock _lock;

    public Lock Acquire() => new(&_lock);
}

unsafe ref struct Lock
{
    private SpinLock* _lockPtr;
    private bool _lockTaken;
        
    public Lock(SpinLock* lockPtr)
    {
        _lockPtr = lockPtr;
        _lockPtr->Enter(ref _lockTaken);
    }

    public void Dispose()
    {
        if (!_lockTaken) return;

        _lockTaken = false;
        _lockPtr->Exit();
    }
}

• 注意：需要在项目编译选项中启用允许不安全代码。
• 优势：完全保留Locker结构体的设计，Lock通过指针确保操作的是同一个SpinLock实例。

方案二：将Locker改为引用类型（Class） #

如果业务场景允许Locker从结构体改为类，这是更简洁的无unsafe方案：

class Locker
{
    private SpinLock _lock;

    public Lock Acquire() => new(ref _lock);
}

ref struct Lock
{
    private ref SpinLock _lock;
    private bool _lockTaken;
        
    public Lock(ref SpinLock @lock)
    {
        _lock = ref @lock;
        _lock.Enter(ref _lockTaken);
    }

    public void Dispose()
    {
        if (!_lockTaken) return;

        _lockTaken = false;
        _lock.Exit();
    }
}

• 优势：无需unsafe代码，类是引用类型，Lock持有的引用始终指向堆上的同一个SpinLock实例，编译器可保证生命周期安全。

特殊说明 #

如果必须坚持Locker是结构体且不使用unsafe代码，目前没有符合C#安全规则的解决方案——因为编译器无法保证返回的ref struct中引用的有效性，这是语言设计的安全限制。

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