[Rust每日新闻 - 2018-08-20] - Rust语言中文社区

< 返回版块

[Rust每日新闻 - 2018-08-20]

ChaosBot 发表于 2018-08-20 11:10

Tags：rustnews

Unsized Rvalues 特性已经被merge到master

Unsized Rvalues 是RFC 1909中定义的特性，该特性允许本地变量、函数参数和一些表达式具有unsized类型。具体实现是将临时值存储在可变大小的栈空间中。

利用内部实现的alloca_unsized_indirect函数在栈上动态分配内存。

实现该特性的动机在于，在某些地方可以直接传递unsize类型，而不需要使用trait Object，比如Box来包装它。可能有些人会理解错，以为它是取代trait Object功能的，其实非也。

比如可以实现 VLA（variable-length array）数组

extern "C" {
   fn random() -> usize;
}

fn foo(n: usize) {
    let x = [0u8; n]; // x: [u8]
    let x = [0u8; n + (random() % 100)]; // x: [u8]
    let x = [0u8; 42]; // x: [u8; 42], like today
    let x = [0u8; random() % 100]; //~ ERROR constant evaluation error
}

foo函数中头两行x定义，会返回[u8]类型，它们将在运行时对长度进行求值。第三行，和之前一样，在编译时求值，最后一行出错是因为不支持CTFE

可以看rust源码中test/run-pass/unsized-locals/下的相关示例，但估计还得等几个小时才能尝试

原文