C#中如何为泛型ref变量分配类型特定值？

原问题场景 #

先看这段无法编译运行的泛型代码：

public void DoSomething<T>(ref T value) where T : struct
{
  if(value is float)
  {
    value = (T)0.5f;
  }
}

这段代码编译失败，因为编译器无法确认float能直接转换为任意值类型T。常见的临时解决办法是通过装箱拆箱中转：

value = (T)(object) 0.5f;

问题解答 #

1. 装箱拆箱是否会分配内存并触发GC？ #

是的，这种写法必然会产生装箱操作：0.5f作为值类型会被包装成object实例分配在托管堆上，之后再拆箱转换为T类型。这个临时的object属于小对象垃圾，会在后续GC时被回收。单次分配的内存量很小，但如果方法被频繁调用，累积的垃圾会增加GC压力。

2. 更优的赋值方式 #

方案一：使用Unsafe类直接内存操作（性能最优）

通过System.Runtime.CompilerServices.Unsafe包的As方法，可直接将T类型的引用转换为float类型的引用，直接修改内存，完全避免装箱拆箱：

using System.Runtime.CompilerServices;

public void DoSomething<T>(ref T value) where T : struct
{
    if (typeof(T) == typeof(float))
    {
        // 直接将T的引用转为float引用，赋值0.5f
        Unsafe.As<T, float>(ref value) = 0.5f;
    }
}

注意：必须确保类型检查准确（typeof(T) == typeof(float)），否则会导致内存错误，属于非安全操作，需谨慎使用。

方案二：泛型缓存类利用JIT特化

创建静态泛型缓存类，JIT会为每个T类型生成特化的赋值方法，初始化时仅执行一次类型判断，后续调用无额外开销：

using System.Runtime.CompilerServices;

public static class ValueSetter<T> where T : struct
{
    public static readonly Action<T> SetHalfValue = CreateSetter();

    private static Action<T> CreateSetter()
    {
        if (typeof(T) == typeof(float))
        {
            return (ref T value) => Unsafe.As<T, float>(ref value) = 0.5f;
        }
        // 其他值类型的默认处理（留空或抛出异常）
        return (ref T value) => {};
    }
}

public void DoSomething<T>(ref T value) where T : struct
{
    ValueSetter<T>.SetHalfValue(ref value);
}

这种方式适合频繁调用的场景，JIT特化后的方法性能和直接写非泛型的float赋值几乎一致。

方案三：表达式树生成赋值委托（无Unsafe依赖）

如果不能使用Unsafe类，可通过表达式树动态构建赋值逻辑，仅在缓存类初始化时执行一次装箱，后续调用无额外垃圾：

using System.Linq.Expressions;

public static class ValueSetter<T> where T : struct
{
    public static readonly Action<T> SetHalfValue;

    static ValueSetter()
    {
        if (typeof(T) == typeof(float))
        {
            var param = Expression.Parameter(typeof(T).MakeByRefType(), "value");
            var assignExpr = Expression.Assign(
                param,
                Expression.Constant((T)(object)0.5f, typeof(T))
            );
            SetHalfValue = Expression.Lambda<Action<T>>(assignExpr, param).Compile();
        }
        else
        {
            SetHalfValue = (ref T value) => {};
        }
    }
}

public void DoSomething<T>(ref T value) where T : struct
{
    ValueSetter<T>.SetHalfValue(ref value);
}

初始化时的装箱只会发生一次，之后调用委托时直接执行赋值逻辑，不会产生新的垃圾。

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