Rust中如何创建编译时已知大小的不同固定长度数组？

Rust要求数组的大小必须是编译期常量，你写的普通for循环里的n是运行时变量——哪怕范围明确，编译器也不会自动将循环展开为编译期的多段代码，所以原代码无法通过编译。

要实现无堆分配、自动生成不同大小数组的需求，有两种常用方案：

1. 使用宏生成编译期代码 #

宏可以在编译阶段帮你自动展开重复代码，避免手动编写每个大小的数组定义：

// 针对1到5的数组大小生成处理逻辑
macro_rules! process_arrays {
    ($code:block) => {
        {
            const N: usize = 1;
            let array: [i32; N] = [0; N];
            $code
        }
        {
            const N: usize = 2;
            let array: [i32; N] = [0; N];
            $code
        }
        {
            const N: usize = 3;
            let array: [i32; N] = [0; N];
            $code
        }
        {
            const N: usize = 4;
            let array: [i32; N] = [0; N];
            $code
        }
        {
            const N: usize = 5;
            let array: [i32; N] = [0; N];
            $code
        }
    };
}

fn main() {
    process_arrays!({
        // 这里写你对array的处理逻辑
        println!("处理大小为{}的数组: {:?}", array.len(), array);
    });
}

如果需要更灵活的范围，可以编写支持自定义起始/结束值的宏，但固定范围的宏实现更简单直接。

2. 使用const generics + 编译期迭代 #

利用Rust的const generics特性，定义处理固定大小数组的函数，再通过编译期遍历调用该函数：

// 处理固定大小N的数组
fn handle_array<const N: usize>() {
    let array: [i32; N] = [0; N];
    println!("处理大小为{}的数组: {:?}", N, array);
    // 这里添加你的业务逻辑
}

fn main() {
    // 编译期遍历1到5的大小，调用handle_array
    [(); 5].map(|_, idx| handle_array::<{ idx + 1 }>());
}

这种方案更简洁，但需要Rust 1.63及以上版本支持const map特性。

两种方案都是在编译期生成代码，所有数组都分配在栈上，完全不会涉及堆内存，满足你避免堆分配的需求。

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