C#如何实现仅允许临时非可赋值变量作为函数参数传入以支持所有权转移

C# 没有内置语法可以直接在编译期实现「禁止传入命名变量、仅允许传入临时对象」的参数校验，也没有完全对标C++ std::move() 的原生所有权转移语义，但可以通过API设计组合现有语言特性，同时解决你遇到的CS1510编译错误、无额外性能损耗、还能保留原有「转移后禁止误用原引用」的安全约束。

现有ref方案的本质限制 #

你当前用ref参数实现的置空逻辑，依赖C#对ref参数的约束：传入值必须是可赋值的左值（命名变量、可写索引器等）。而方法返回值、表达式计算结果这类右值/临时值本身不支持被赋值，自然无法作为ref参数传入，这是语法层面的硬限制，无法通过调整ref相关修饰符绕开。

推荐实现方案 #

方案1：所有权包装结构体（零开销，强约束） #

这是.NET运行时内部处理内存所有权转移的通用模式，完全匹配你的需求：

1. 定义一个只读值类型OwnedByteArray作为所有权凭证，仅用来包装需要转移所有权的数组引用，避免直接暴露裸数组参数。
2. 保留原有ref byte[]的Acquire重载，处理传入命名变量的场景，转移所有权后自动将原变量置空，杜绝后续误用。
3. 新增接收OwnedByteArray的Acquire重载，专门处理临时值传入场景，不需要ref修饰，内部直接取包装的数组引用，无任何拷贝开销。
4. 为OwnedByteArray添加从byte[]到该类型的隐式转换，让方法返回的临时数组可以自动匹配到对应重载，不需要手动声明临时变量。

示例代码：

/// <summary>
/// 表示所有权已明确转移的byte数组，禁止声明该类型的命名变量长期持有引用
/// </summary>
public readonly struct OwnedByteArray
{
    internal readonly byte[] Buffer;
    // 构造函数设为internal，外部代码无法直接实例化该类型
    internal OwnedByteArray(byte[] buffer) => Buffer = buffer;
    // 支持临时byte数组自动转换为所有权凭证
    public static implicit operator OwnedByteArray(byte[] arr) => new OwnedByteArray(arr);
}

public class Chunk
{
    /// <summary>
    /// 从命名变量转移数组所有权，调用后原变量自动置空
    /// </summary>
    public static Chunk Acquire(ref byte[] arr)
    {
        var chunk = new Chunk(arr);
        arr = null;
        return chunk;
    }

    /// <summary>
    /// 从临时值获取数组所有权，无拷贝开销
    /// </summary>
    public static Chunk Acquire(OwnedByteArray owned)
    {
        return new Chunk(owned.Buffer);
    }

    // 私有构造函数，外部只能通过Acquire方法创建实例
    private Chunk(byte[] buffer)
    {
        // 直接持有传入的数组引用，不做拷贝
    }
}

该方案的实际效果：

• 传入命名byte[]变量时，自动匹配ref重载，调用后原变量置为null，和你之前的安全逻辑完全一致
• 传入ComputeChecksum()这类方法返回的临时数组时，自动隐式转换为OwnedByteArray临时值，匹配第二个重载，不需要声明额外变量，直接编译通过，无性能损失
• 外部代码无法实例化OwnedByteArray类型，也无法长期持有该类型的变量绕过所有权校验（如果需要更强的约束，只需要写一个十几行的Roslyn分析器，禁止声明OwnedByteArray类型的本地变量、字段、属性即可，成本极低）

方案2：普通参数重载（实现简单，弱约束） #

如果不需要强校验，可以直接新增一个接收普通byte[]参数的Acquire重载：

public static Chunk Acquire(byte[] arr)
{
    return new Chunk(arr);
}

这个重载天然支持传入临时返回值，没有编译错误，也没有拷贝开销。唯一的缺点是如果用户传入命名变量到这个重载，不会自动清空原引用，存在后续误用的可能，可以通过文档标注、调试模式下的引用持有检测引导用户正确使用：传入命名变量时主动使用ref版本。

补充说明 #

C# 8.0之后引入的ref struct、scoped关键字、in参数等特性仅能限制值的作用域生命周期，没有提供「区分传入参数是命名变量还是临时值」的编译期判断能力，目前也没有官方计划在后续版本中加入类似C++std::move()的原生语法。上述的结构体包装方案是目前生态内最成熟、性能最优的解法，和原生传参的开销完全一致。

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