Rust如何构造包含栈分配数组的类型并安全实现数组拷贝初始化

错误原因 #

你写的代码有两个核心问题：

• copy_from_slice 是可变切片的方法，返回值为单元类型()，无法直接用来给数组字段赋值
• 该方法要求源切片和目标切片长度完全一致，直接调用会因为长度不匹配触发panic

解决方案 #

Rust 标准库的copy_from_slice本身就是安全的memcpy等价实现，底层会做编译优化，无额外开销，完全适配栈数组的拷贝需求，以下是两种常用的安全实现方式，全程栈操作无需堆分配：

方式1：支持输入长度不超过25的场景

如果允许输入切片长度小于25，剩余位置填充默认值（比如0），可以用以下写法：

impl MyStruct {
    fn new(numbers: &[u8]) -> Self {
        // 先初始化栈数组为全0
        let mut values = [0u8; 25];
        // 长度校验，避免越界panic，你也可以根据需求返回Result处理错误
        assert!(numbers.len() <= 25, "输入切片长度不能超过25");
        // 拷贝对应长度的内容，底层就是优化后的memcpy
        values[..numbers.len()].copy_from_slice(numbers);
        Self { values }
    }
}

方式2：要求输入长度必须为25的场景

如果要求输入切片长度刚好等于25，Rust 1.63及以上版本可以直接用try_into转换切片为固定长度数组：

use std::array::TryFromSliceError;

impl MyStruct {
    fn new(numbers: &[u8]) -> Result<Self, TryFromSliceError> {
        // 尝试直接将切片转换为[ u8; 25 ]，长度不匹配会返回错误
        let values = numbers.try_into()?;
        Ok(Self { values })
    }
}

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