来自范围的常量数组

Question

我如何生成一个长的常量数组，其中的值取自一个范围？奖励：1) 使用 no_std，2) 不使用任何板条箱

我想做的事情：

struct A {
    a: i32,
    b: B
}

enum B {
    One,
    Two
}

const AS: [A; 1024] = [A{a: 1, b: B::One}, A{a: 2, b: B::One}, ..., A{a: 1024, b: B::One}]

到目前为止我得到的最远的是：

macro_rules! generate_list {
    ($($a:expr)+, $variant:expr) =>  {
        [ $( A { a: $a, b: $variant } )* ]
    }
}
const AS: [A; 1024] = generate_list!(1..1025i32, B::One);

这似乎至少有一个问题是在将范围表达式扩展为文字列表之前对宏求值。

Answer 1

我不确定它是否符合习惯，但也许以下内容适用于您的用例：

#[derive(Debug, Copy, Clone)]
pub struct A {
    a: i32,
    b: B,
}

#[derive(Debug, Copy, Clone)]
pub enum B {
    One,
    Two,
}

const fn gen_array<const N: usize>(offset: i32, b: B) -> [A; N] {
    let mut res = [A { a: offset, b }; N];
    
    let mut i = 0;
    while i < N as i32 {
        res[i as usize].a = offset + i;
        i += 1;
    }
    
    res
}

const AS: [A; 42] = gen_array(0, B::One);

fn main() {
   println!("{:#?}", AS);
}

Playground

我使用了 while 循环，因为 const 上下文中目前不允许 for 循环，如 E0744 所示。

以上将为 AS 生成 42 个值，偏移量为 0:

[
    A {
        a: 0,
        b: One,
    },
    A {
        a: 1,
        b: One,
    },
    ...
    A {
        a: 41,
        b: One,
    },
]

Godbolt Compiler Explorer 表明它生成的指令与手动编写的指令相同。

来自范围的常量数组

Const array from range

arrays

rust

constants

compile-time

rust-no-std