如何安全地初始化类型为“NonZeroU8”的常量？

如何解决如何安全地初始化类型为“NonZeroU8”的常量？

NonZeroU8 的构造函数是一个 const fn，但是它返回一个 Option，而 Option.unwrap() 不是一个 const fn，所以下面的不会编译：

use std::num::NonZeroU8;

const _: NonZeroU8 = NonZeroU8::new(7).unwrap();

我发现的最佳解决方法是：

use std::num::NonZeroU8;

const _: NonZeroU8 = unsafe {NonZeroU8::new_unchecked(7)};

“不安全”的使用令人不满意。有没有安全的方法？

解决方法

const fns 中的恐慌目前是不稳定的，这就是您不能使用 unwrap 的原因。不使用 unsafe 的一个有点丑陋但稳定的解决方法是使用隐式恐慌的东西，比如越界数组索引：

use std::num::NonZeroU8;

const VALUE: NonZeroU8 = match NonZeroU8::new(5) {
    Some(v) => v,None => [][0],};

fn main() {
    println!("Value: {}",VALUE);
}

您可以对此进行测试，并注意将 5 更改为 0 会导致编译时错误。值得注意的是，在常量中，new_unchecked 仍然会导致零值的编译时错误，因此尽管有 unsafe，也可以使用它。