Rust的设计中为什么要区分不可变变量和常量？
const 都加了，看样子离把 const 加入到泛型参数里面不远了。 编译期能确定常量的值，顺便做计算，那下一步不就是编译期的元编程了么。顺便虽然 Rust 并不少 macro 这种编译期构造，但泛型参数里面只能写类型和生命周期总觉得哪儿不对。 不然怎么好好利用给array开的 [T; x] 这个洞呢（
const 都加了，看样子离把 const 加入到泛型参数里面不远了。 编译期能确定常量的值，顺便做计算，那下一步不就是编译期的元编程了么。顺便虽然 Rust 并不少 macro 这种编译期构造，但泛型参数里面只能写类型和生命周期总觉得哪儿不对。 不然怎么好好利用给array开的 [T; x] 这个洞呢（