Question

我尝试过这样的事情：

const b: Box<i32> = Box::new(5);

这让我在常量中调用函数仅限于struct和enum构造函数。

我也试过

const b: Box<i32> = box 5;

这给了我一个错误，说我应该使用Box::new代替。有没有办法做到这一点？我需要一个盒子，因为它在一个结构中，结构需要一个盒子。

编辑：我知道Box::new是一个函数，我不能在const项中使用它。但是有另一种方法可以创建允许的方框吗？

Answer 1

现在不是，不是在不久的将来。

正如@Paolo所提到的，初始化const变量的唯一方法是使用常量表达式。今天，在稳定中，它仅限于一组有限的操作（一些整数操作，一些演员，......）。

有一个RFC来扩展常量表达式中可用的表达式集：const fn。它是关于允许将函数（包括自由函数和方法）标记为const，使它们在常量表达式中可用。

跟踪问题为#24111，const fn可在夜间使用#![feature(const_fn)] crate属性...

......但是，目前，const fn主要是关于整体操作。我知道没有任何计划扩展到任意（无副作用）表达式，因此它不适用于Box::new。

目前，建议您使用lazy_static!，不允许该项目为const（首次使用时会初始化）。

Answer 2

正如本书的const and static章节所说：

const和static都有为其赋值的要求。他们可能只给出一个常量表达式的值。其他单词，你不能使用函数调用的结果或任何东西同样复杂或在运行时。

Box::new()是一个函数，因此它属于初始化const所能做的事情范围。您可以查看lazy-static以了解在运行时初始化静态变量的方法。