Rust中拼接字节串后无法还原原始字节的问题求助

• 核心问题：拼接时数据溢出丢失
  你的concatenate_bytes函数中，result默认是u64类型（因为初始值是0），而原始字节数组有40个字节。循环里每次左移8位再拼接新字节，u64最多只能存储8个字节的数据，超过后会直接溢出截断，最终得到的数值只保留了最后8个字节的信息，自然无法还原完整的原始数据。
• 数值验证
  原始40字节拼接后的正确数值远大于u64的最大值（18446744073709551615），但你得到的4920555689216983877是u64范围内的数，明显是溢出后的截断结果。

1. 修复字节拼接函数 #

直接用BigUint处理位运算，避免溢出，同时去掉不必要的unsafe代码：

use num_bigint::BigUint;

fn concatenate_bytes(bytes: &[u8]) -> BigUint {
    let mut result = BigUint::from(0u8);
    for &byte in bytes {
        result = (result << 8) | BigUint::from(byte);
    }
    result
}

2. 从BigUint还原原始字节 #

to_be_bytes方法会省略前导零，所以需要补全到原始字节的长度，保证还原准确：

use num_traits::ToBytes;

fn bytes_from_biguint(num: &BigUint, original_len: usize) -> Vec<u8> {
    let mut bytes = num.to_be_bytes();
    // 补前导零到原始长度
    if bytes.len() < original_len {
        let leading_zeros = vec![0u8; original_len - bytes.len()];
        [leading_zeros, bytes].concat()
    } else {
        // 容错：如果长度超出，截取对应长度的末尾字节（正常拼接不会出现此情况）
        bytes[bytes.len() - original_len..].to_vec()
    }
}

3. 完整测试代码 #

use num_bigint::BigUint;
use num_traits::ToBytes;

fn concatenate_bytes(bytes: &[u8]) -> BigUint {
    let mut result = BigUint::from(0u8);
    for &byte in bytes {
        result = (result << 8) | BigUint::from(byte);
    }
    result
}

fn bytes_from_biguint(num: &BigUint, original_len: usize) -> Vec<u8> {
    let mut bytes = num.to_be_bytes();
    if bytes.len() < original_len {
        let leading_zeros = vec![0u8; original_len - bytes.len()];
        [leading_zeros, bytes].concat()
    } else {
        bytes[bytes.len() - original_len..].to_vec()
    }
}

fn main() {
    let original_bytes: Vec<u8> = vec![68, 114, 97, 109, 97, 116, 105, 99, 32, 115, 97, 120, 97, 112, 104, 111, 110, 101, 32, 112, 108, 97, 121, 115, 32, 73, 78, 32, 84, 72, 69, 32, 68, 73, 83, 84, 65, 78, 67, 69];
    let big_num = concatenate_bytes(&original_bytes);
    let restored_bytes = bytes_from_biguint(&big_num, original_bytes.len());
    
    println!("原始字节: {:?}", original_bytes);
    println!("还原字节: {:?}", restored_bytes);
    println!("是否一致: {}", original_bytes == restored_bytes);
}

4. 依赖配置保持不变 #

[dependencies]
num-bigint = "0.4.4"
num-traits = "0.2.18"

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