VB.NET BigInteger读写一致性问题：正数值读写异常排查

问题背景 #

需要生成资源文件，每3字节存储一个正整数n，要求n^n的字节长度等于该3字节块在文件中的位置序号s（以3字节为单位，s从1开始）。但实际运行中出现以下问题：

• 写入的n为1~500000的正数值，但读取时得到负数或百万级的错误数值
• 写入s=8804、n=5650后，重新读取得到s=8192、n=5297，完全不符合预期
• 临时解决办法在百万字节级场景下失效，无法保证读写一致性
• 若改用十进制写入会占用过多存储空间，且无法解决批量读取的效率问题

相关代码 #

Private Sub routine()
    Dim bytes() As Byte
    Dim n As BigInteger = 1
    Dim s As Integer = 1
    If System.IO.File.Exists("resources.bin") Then
        Dim fs2 = New IO.FileStream("resources.bin", IO.FileMode.Open)
        Dim br = New IO.BinaryReader(fs2)
        Dim myFile As New IO.FileInfo("resources.bin")
        s = myFile.Length / 3
        fs2.Position = myFile.Length - 3
        n = New BigInteger(br.ReadBytes(3))
        fs2.Dispose()
        br.Dispose()
    End If
    Dim fs = New IO.FileStream("resources.bin", IO.FileMode.Append)
    Dim bw = New IO.BinaryWriter(fs)
    Dim t As BigInteger = 0
    Do
        t = BigInteger.Pow(n, n)
        bytes = n.ToByteArray
        If bytes.Length < 3 Then
            Array.Resize(bytes, 3)
        End If
        bw.Write(bytes)
        Do Until BigInteger.Pow(n, n).ToByteArray.Length > s
            n += 1
        Loop
        s += 1
        If BigInteger.Pow(n, n).ToByteArray.Length > s Then
            n -= 1
        ElseIf s = 2 Or s = 3 Then
            n = 1
        End If
    Loop Until s > 1000000
    bw.Dispose()
    fs.Dispose()
End Sub

核心问题分析 #

1. BigInteger字节数组的符号与序问题

   • BigInteger.ToByteArray()返回的是带符号补码的小端序字节数组：当n的最高位字节的最高位为1时，会被解析为负数；直接用Array.Resize补位时，会根据原数值符号补0或1，导致存储的字节数组不符合无符号3字节的预期。
   • 读取时直接用New BigInteger(br.ReadBytes(3))，若读取的3字节最高位为1，会被当作负数处理，得到错误的数值。

2. 文件长度计算未做校验

   • 代码中s = myFile.Length / 3未判断文件长度是否为3的整数倍，若文件因异常中断导致长度不是3的倍数，会计算出错误的s值（比如用户遇到的s=8804变成8192），进而导致后续逻辑完全混乱。

3. 资源释放不规范

   • 手动调用Dispose未处理异常场景，可能导致资源泄漏，进而引发文件读写异常。

解决方案建议 #

1. 统一使用无符号3字节大端序存储 #

解决符号与字节序导致的解析错误：

• 写入逻辑：将n转换为3字节大端序无符号数组，确保高位补0：

  ' 将BigInteger n转为3字节大端序无符号数组
  Dim uintVal As UInteger = CUInt(n) ' n最大不超过2^24-1，可加范围校验
  bytes = BitConverter.GetBytes(uintVal)
  Array.Reverse(bytes) ' 转为大端序
  ' 确保数组长度为3（因为UInteger是4字节，截取高3字节）
  Dim tempBytes(2) As Byte
  Array.Copy(bytes, 1, tempBytes, 0, 3)
  bytes = tempBytes
  

• 读取逻辑：读取3字节大端序数组，转换为无符号整数后再转为BigInteger：

  Dim readBytes(2) As Byte
  br.Read(readBytes, 0, 3)
  Array.Reverse(readBytes) ' 转回小端序适配BitConverter
  Dim tempArr(3) As Byte ' 补全为4字节适配UInt32
  Array.Copy(readBytes, 0, tempArr, 1, 3)
  Dim uintVal As UInteger = BitConverter.ToUInt32(tempArr, 0)
  n = New BigInteger(uintVal)
  

2. 严格校验文件长度 #

读取文件时先校验长度是否为3的倍数，避免计算错误的s值：

If System.IO.File.Exists("resources.bin") Then
    Dim myFile As New IO.FileInfo("resources.bin")
    If myFile.Length Mod 3 = 0 Then
        s = myFile.Length \ 3
        Using fs2 As New IO.FileStream("resources.bin", IO.FileMode.Open)
            Using br As New IO.BinaryReader(fs2)
                fs2.Position = myFile.Length - 3
                ' 这里用上面的读取逻辑获取n
            End Using
        End Using
    Else
        ' 文件损坏，重置初始值
        s = 1
        n = 1
    End If
End If

3. 优化重复计算与资源管理 #

• 缓存BigInteger.Pow(n, n)的结果，避免重复计算：

  Do
      Dim powVal As BigInteger = BigInteger.Pow(n, n)
      ' 后续直接使用powVal替代重复调用
      bytes = ' 转换逻辑
      bw.Write(bytes)
      Do Until powVal.ToByteArray.Length > s
          n += 1
          powVal = BigInteger.Pow(n, n)
      Loop
      ' 后续逻辑
  Loop Until s > 1000000
  

• 使用Using语句自动管理资源，避免泄漏：

  Using fs As New IO.FileStream("resources.bin", IO.FileMode.Append)
      Using bw As New IO.BinaryWriter(fs)
          ' 写入循环逻辑
      End Using
  End Using
  

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