c# – 如果数据未在给定的偏移处对齐,为什么BitConverter.ToInt3

最近浏览the source code的BitConverter时,我遇到了一段奇怪的代码：

public static unsafe int ToInt32(byte[] value,int startIndex)
{
    fixed (byte* pbyte = &value[startIndex])
    {
        if (startIndex % 4 == 0) // data is aligned 
            return *((int*)pbyte);
        else
        { 
            if (IsLittleEndian)
            {  
                return (*pbyte) | (*(pbyte + 1) << 8)  | (*(pbyte + 2) << 16) | (*(pbyte + 3) << 24); 
            } 
            else
            { 
                return (*pbyte << 24) | (*(pbyte + 1) << 16)  | (*(pbyte + 2) << 8) | (*(pbyte + 3));                         
            } 
        }
    }
}

在这种情况下,如何将pbyte转换为int *(第6行)会违反数据对齐？为了简洁,我把它留了下来,但代码有正确的参数验证,所以我很确定它不能是内存访问违规.铸造时会失去精度吗？

换句话说,为什么不能将代码简化为：

public static unsafe int ToInt32(byte[] value,int startIndex)
{
    fixed (byte* pbyte = &value[startIndex])
    {
        return *(int*)pbyte;
    }
}

编辑：Here是有问题的代码部分.