我可以仅使用类型而不是具体变量来获取 Rust 数组的长度吗？

我想将以下 C++ 代码重写为 Rust：

using storage = array<int, 3>;
const size_t storage_len = sizeof(storage) / sizeof(storage::value_type);

在没有具体变量的情况下如何获得恒定长度值？

作为动机，虽然看起来微不足道，但我想在不声明变量的情况下打印数组的元素计数。我知道我可以使用常量值或声明虚拟变量，但我想知道 Rust 如何保留 C++ 代码。

I admit 没有具体变量不清楚。我想实现上述 C++ 功能，但这个解释可能会产生误导。我很好奇是否有任何方法可以获取数组的元素类型。

Rust 现在支持 const 泛型。我留下了旧的答案，以便人们知道为什么有人会首先问这个问题。

自 Rust 1.51 以来的新答案:

pub trait Length {
    const LEN: usize;
}

impl<T, const LENGTH: usize> Length for [T; LENGTH] {
    const LEN: usize = LENGTH;
}

旧答案:

我知道您想仅从类型信息中检索数组长度。 Rust 没有内置的 PI 类型（又名：常量泛型）。这意味着通用参数是not该语言当前不支持类型（例如数组长度的整数）。

有跟踪此问题的问题我们很可能在未来看到对它的支持，尽管不是在不久的将来。

如果必须的话，您可以通过为每种类型实现一个特征来解决该限制：

trait GetLength {
    fn len() -> usize;
}

impl<T> GetLength for [T; 0] {
    fn len() -> usize {
        0
    }
}

impl<T> GetLength for [T; 1] {
    fn len() -> usize {
        1
    }
}

// ...

fn main() {
    println!("{}", <[String; 1]>::len());
}

宏可以帮助防止重复输入：

trait GetLength {
    fn len() -> usize;
}

macro_rules! impl_get_length {
    ($v:expr) => {
        impl<T> GetLength for [T; $v] {
            fn len() -> usize {
                $v
            }
        }
    };
}

impl_get_length!{ 0 }
impl_get_length!{ 1 }

// ...

fn main() {
    println!("{}", <[String; 1]>::len());
}

板条箱喜欢typenum还有助于为现有语言中的 const 泛型提供一些支持。