允许哪些表达式作为[_;中的数组长度N N]？

Question

允许哪些表达式作为[_;中的数组长度N N]？

请考虑Rust中的以下最小示例:

const FOOBAR: usize = 3;

trait Foo {
    const BAR: usize;
}

struct Fubar();

impl Foo for Fubar {
    const BAR: usize = 3;
}

struct Baz<T>(T);

trait Qux {
    fn print_bar();
}

impl<T: Foo> Qux for Baz<T> {
    fn print_bar() {
        println!("bar: {}", T::BAR);   // works
        println!("{:?}", [T::BAR; 3]); // works
        println!("{:?}", [1; FOOBAR]); // works
        println!("{:?}", [1; T::BAR]); // this gives an error
    }
}

fn main() {
    Baz::<Fubar>::print_bar();
}

Run Code Online (Sandbox Code Playgroud)

编译器给出以下错误:

error[E0599]: no associated item named `BAR` found for type `T` in the current scope
  --> src/main.rs:24:30
   |
24 |         println!("{:?}", [1; T::BAR]); // this gives an error
   |                              ^^^^^^ associated item not found in `T`
   |
   = help: items from traits can only be used if the trait is implemented and in scope
   = note: the following trait defines an item `BAR`, perhaps you need to implement it:
           candidate #1: `Foo`

Run Code Online (Sandbox Code Playgroud)

无论我的问题的答案是什么,这都不是一个特别好的错误信息,因为它表明尽管后者是一个特征限制,T它Foo仍然可以实现.只有在经过大量的时间之后,我才发现它实际上T::BAR是在其他上下文中完全有效的表达式,而不是作为数组的长度参数.

什么样的表达可以用来管理哪些规则？因为数组是Sized,我完全理解在编译时要知道长度.我自己来自C++,我希望有一些类似的限制,constexpr但我没有在它刚才说的文档中遇到过