C# Release模式下sbyte转byte的不安全指针读取不一致问题

在编写泛型枚举转int的转换逻辑时，我发现通过不安全代码将sbyte类型按byte类型读取时会出现异常行为，以下所有示例均在AMD x64架构设备的.NET 6.0环境下测试完成。

复现示例 #

示例1：Debug与Release模式行为不一致 #

以下代码在Debug和Release模式下运行会输出不同结果：

class Program
{
    static void Main()
    {
        byte byteValue = ReadAsByteValue(sbyteValue: -1);

        Console.WriteLine(byteValue);

        // DEBUG模式输出：   255
        // RELEASE模式输出： -1
    }

    static unsafe byte ReadAsByteValue(sbyte sbyteValue)
    {
        return *(byte*)(&sbyteValue);
    }
}

byte类型的取值范围为0~255，不可能返回-1，初步推测Release模式下编译器错误返回了sbyte类型值，没有按代码逻辑转换为byte类型。

示例2A：Release模式内部行为不一致 #

class Program
{
    static void Main()
    {
        var value1 = GetIntValueEncapsulated((sbyte)-1, true);
        var value2 = GetIntValue((sbyte)-1);

        Console.WriteLine($"{value1} vs. {value2}");

        foreach (var value in Array.Empty<sbyte>())
        {
            GetIntValueEncapsulated(value, true);
        }

        // RELEASE模式输出： -1 vs. 255
    }

    static int GetIntValueEncapsulated<T>(T value, bool trueFalse)
        where T : unmanaged
    {
        if (trueFalse)
        {
            return GetIntValue(value);
        }
        else
        {
            throw new NotImplementedException($"Not implemented for size: {Unsafe.SizeOf<T>()}");
        }
    }

    static unsafe int GetIntValue<T>(T value)
        where T : unmanaged
    {
        return *(byte*)(&value);
    }
}

示例2B：注释掉空foreach代码块会改变运行结果 #

var value1 = GetIntValueEncapsulated((sbyte)-1, true);
var value2 = GetIntValue((sbyte)-1);

Console.WriteLine($"{value1} vs. {value2}");

//foreach (var value in Array.Empty<sbyte>())
//{
//    GetIntValueEncapsulated(value, true);
//}

// RELEASE模式输出： -1 vs. -1

示例2C：修改异常行的非功能性代码会改变运行结果 #

基于示例2A的代码，将抛出异常的代码行：

throw new NotImplementedException($"Not implemented for size: {Unsafe.SizeOf<T>()}"); 

替换为字符串拼接的写法：

throw new NotImplementedException($"Not implemented for size: " + Unsafe.SizeOf<T>()); 

此时Release模式下的运行输出变为：

// RELEASE模式输出： 255 vs. 255

问题解答 #

异常行为的根本原因 #

这是.NET 6 内置RyuJIT编译器在Release模式开启激进优化时的已知类型传播bug：

1. Debug模式默认关闭绝大多数JIT优化，栈上值会严格按照指针解引用的逻辑读取，sbyte类型-1对应的位模式是0xFF，按byte读取自然得到255，结果符合预期。
2. Release模式下RyuJIT会执行跨函数内联、静态类型传播等优化，但它没有正确识别不安全指针转换属于**位重解释（reinterpret cast）**操作，错误地根据原始变量的sbyte类型做返回值传播，直接把带符号的-1作为byte/int类型的返回值传递，跳过了指针解引用时的类型转换步骤，才会出现无符号类型拿到负数的异常结果，属于违反C#类型规范的编译器优化错误。
3. 空foreach块、异常行字符串拼接写法会改变结果，本质是这些代码片段会改变JIT的内联决策、泛型特化路径和优化边界：当代码结构让JIT无法确定泛型参数的具体类型、或者无法做跨函数的类型传播时，就不会触发这个错误优化，结果回到预期的255；当代码结构刚好满足JIT的优化触发条件，就会出现异常返回值。

约束编译器行为得到预期结果的方案 #

按推荐优先级从高到低排列：

• 使用官方提供的位转换专用API替换原生指针解引用，即System.Runtime.CompilerServices.Unsafe.As<TFrom, TTo>，这个API会明确告知JIT需要做位重解释，不会触发错误的类型传播优化。对应示例1的写法可以改为return Unsafe.As<sbyte, byte>(ref sbyteValue);，泛型版本同理使用Unsafe.As<T, byte>(ref value)转换后再转int即可，无性能损失，行为稳定。
• 如果一定要保留指针写法，可以在指针解引用后增加显式位掩码截断，比如return (byte)(*(byte*)(&sbyteValue) & 0xFF);，强制JIT对返回值做按位与运算，截断到byte的取值范围，绕开错误的类型传播逻辑。
• 给对应方法添加[MethodImpl(MethodImplOptions.NoOptimization)]特性，关闭该方法的JIT优化，这种方式会带来一定性能损失，仅作为临时方案使用。
• 升级到.NET 7及以上版本，该RyuJIT优化bug在高版本中已经被修复，不会再出现同类异常行为。

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