如何让可选值类型通过引用返回？结构体可空成员修改问题

我有一个持有结构体列表的Container类，出于性能考虑，这些结构体必须是值类型：

class Container<T> where T : struct, IComponent
{
    private Component<T>[] components;
    ref Component<T> GetComponent(int index)
    {
        return ref components[index];
    }
    ...
}

Component结构体定义如下：

struct Component<T> where T : struct, IComponent
{
    public ID EntityID { get; }
    public T data;
}

这样我可以通过如下方式访问并修改数据：

ref var component = container.GetComponent(1);

// 示例
component.data.x = 2;

但我希望将data设为可选类型，修改后如下：

struct Component<T> where T : struct, IComponent
{
    public ID EntityID { get; }
    public T? data;
}

此时无法修改组件数据，执行以下代码：

component.data.Value.x = 1;

会报错：

Property 'data' access returns temporary value. Cannot modify struct member when accessed struct is not classified as a variable

我知道这是因为可空值类型返回了值的副本，请问是否可以通过引用返回该值？或者有其他解决办法？

方法一：用Unsafe类直接获取data的引用 #

在Container类里新增一个方法，借助Unsafe.AsRef跳过可空值类型的副本问题，直接拿到内部值的引用：

class Container<T> where T : struct, IComponent
{
    private Component<T>[] components;
    ref Component<T> GetComponent(int index)
    {
        return ref components[index];
    }

    ref T GetComponentDataRef(int index)
    {
        ref var component = ref components[index];
        if (!component.data.HasValue)
        {
            throw new InvalidOperationException("组件数据未初始化");
        }
        return ref System.Runtime.CompilerServices.Unsafe.AsRef(component.data.Value);
    }
    ...
}

使用方式：

ref var data = ref container.GetComponentDataRef(1);
data.x = 1;

这个方法没有额外性能开销，直接操作原数据。

方法二：自定义支持引用访问的可选结构体 #

自己实现一个可选值结构体，让Value属性返回引用，替代系统的Nullable<T>：

struct Optional<T> where T : struct
{
    private bool hasValue;
    private T value;

    public bool HasValue => hasValue;
    public ref T Value
    {
        get
        {
            if (!hasValue)
                throw new InvalidOperationException("无可用值");
            return ref value;
        }
    }

    public Optional(T value)
    {
        this.hasValue = true;
        this.value = value;
    }

    // 可选：添加隐式转换方便使用
    public static implicit operator Optional<T>(T value) => new Optional<T>(value);
}

修改Component结构体：

struct Component<T> where T : struct, IComponent
{
    public ID EntityID { get; }
    public Optional<T> data;
}

使用方式和最初非可选时一致：

ref var component = ref container.GetComponent(1);
component.data.Value.x = 1;

这个方法不需要依赖不安全代码，更可控。

方法三：临时变量拷贝修改（不推荐性能敏感场景） #

如果不想改动现有结构，可以先把data.Value拷贝到临时变量，修改后再赋值回去：

ref var component = ref container.GetComponent(1);
if (component.data.HasValue)
{
    var temp = component.data.Value;
    temp.x = 1;
    component.data = temp;
}

但这种方式会产生两次值拷贝，对性能有影响，适合简单场景临时用。

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