企业🤖AI Agent构建引擎,智能编排和调试,一键部署,支持私有化部署方案 广告
目前唯一稳定的创建`Box`的方法是通过`Box::new`方法。并且不可能在一个模式匹配中稳定的析构一个`Box`。不稳定的`box`关键字可以用来创建和析构`Box`。下面是一个用例: ~~~ #![feature(box_syntax, box_patterns)] fn main() { let b = Some(box 5); match b { Some(box n) if n < 0 => { println!("Box contains negative number {}", n); }, Some(box n) if n >= 0 => { println!("Box contains non-negative number {}", n); }, None => { println!("No box"); }, _ => unreachable!() } } ~~~ 注意这些功能目前隐藏在`box_syntax`(装箱创建)和`box_patterns`(析构和模式匹配)通道之中因为它的语法在未来可能会改变。 ## 返回指针 在很多有指针的语言中,你的函数可以返回一个指针来避免拷贝大的数据结构。例如: ~~~ struct BigStruct { one: i32, two: i32, // etc one_hundred: i32, } fn foo(x: Box<BigStruct>) -> Box<BigStruct> { Box::new(*x) } fn main() { let x = Box::new(BigStruct { one: 1, two: 2, one_hundred: 100, }); let y = foo(x); } ~~~ 要点是通过传递一个装箱,你只需拷贝了一个指针,而不是那构成了`BigStruct`的一百个`int`值。 上面是Rust中的一个反模式。相反,这样写: ~~~ #![feature(box_syntax)] struct BigStruct { one: i32, two: i32, // etc one_hundred: i32, } fn foo(x: Box<BigStruct>) -> BigStruct { *x } fn main() { let x = Box::new(BigStruct { one: 1, two: 2, one_hundred: 100, }); let y: Box<BigStruct> = box foo(x); } ~~~ 这在不牺牲性能的前提下获得了灵活性。 你可能会认为这会给我们带来很差的性能:返回一个值然后马上把它装箱?难道这在哪里不都是最糟的吗?Rust显得更聪明。这里并没有拷贝。`main`为装箱分配了足够的空间,向`foo`传递一个指向他内存的`x`,然后`foo`直接向`Box`中写入数据。 因为这很重要所以要说两遍:返回指针会阻止编译器优化你的代码。允许调用函数选择它们需要如何使用你的输出。