[关闭]
@lsmn 2018-04-04T00:51:49.000000Z 字数 1252 阅读 1960

Rust 1.25升级到LLVM 6

语言 Rust LLVM


摘要

Rust 1.25把LLVM升级到LLVM 6,新增use语句嵌套导入组支持、自定义结构对齐、库稳定化。不过,最新的Rust版本没有包含许多期待已久的特性,如impl Trait、稳定的SIMD库支持、128位整数。

正文

Rust 1.25把LLVM升级到LLVM 6,新增use语句嵌套导入组支持、自定义结构对齐、库稳定化。不过,最新的Rust版本没有包含许多期待已久的特性,如impl Trait、稳定的SIMD库支持、128位整数。

升级到LLVM 6有若干好处,如各种各样的Bug修复,其中包括SIMD相关的编译错误,但是,升级的主要目的是为了方便与LLVM上游的Wasm后台保持一致,那样可以快速支持Wasm的新特性。但有一个重要的例外,就是基于Emscripted的JavaScript后台,它使用了锁定的LLVM 4版本。据Rust开发者Steve Klabnik介绍,在一般情况下,LLVM 6未必会带来任何性能的提升,它编译得更快还是更慢取决于实际的代码。

use语句的新语法让开发人员可以指定嵌套的导入组,旨在让代码更有可读性、更简洁。例如,下面一组导入:

use std::fs::File;
use std::io::Read;
use std::path::{Path, PathBuf};

现在可以写成:

use std::{fs::File, io::Read, path::{Path, PathBuf}};

此外,现在可以使用#[repr(align(x))]注解对齐Rust 1.25的structs

struct Number(i32);

assert_eq!(std::mem::align_of::<Number>(), 4);
assert_eq!(std::mem::size_of::<Number>(), 4);

#[repr(align(16))]
struct Align16(i32);

assert_eq!(std::mem::align_of::<Align16>(), 16);
assert_eq!(std::mem::size_of::<Align16>(), 16);

在使用有特殊对齐要求的硬件时,这个特性非常有用,可以更好地与C代码互操作,例如,更容易把一个结构正确地传递给某些期望使用指定对齐方式的C代码,对一些高级场景也有用,如在内核中静态分配页表。

在库方面,最显著的变化是引入了std::ptr::NonNull,这很像*mut T,但可以保证非0和协变,最适合于使用安全代码构建数据结构。

按照现在的情况,Rust 1.25并不是许多开发人员期待的Rust大版本,因为它没有包含Rust团队已经研发了很长时间的重大特性,包括impl Trait(提升性能、简化泛型语法和诊断)、128位整数、稳定的SIMD库支持等。好消息是,据Klabnik介绍,这些特性将会在接下来的1.26和1.27两个版本中提供。

查看英文原文: Rust 1.25 Moves to LLVM 6

添加新批注
在作者公开此批注前,只有你和作者可见。
回复批注