当前位置：首页 > news >正文

2510rs,rust,1.87

news 2025/10/24 14:30:17

原文

`1.87.0`稳定版中有什么

匿名管道

1.87向标准库添加了访问匿名管道.这包括集成std::process::Command的输入/输出方法.如,合二为一现在相对简单将stdout和stderr流,如下,而过去需要额外的线程或相关平台的函数.

use std::process::Command;
use std::io::Read;
let (mut recv, send) = std::io::pipe()?;
let mut command = Command::new("path/to/bin")//`stdout`和`stderr`都会写入同一个`将两者结合起来`的管道..stdout(send.try_clone()?).stderr(send).spawn()?;
let mut output = Vec::new();
recv.read_to_end(&mut output)?;//重要的是,在进程退出之前,从管道中读取,以避免在程序发出过多`输出`时,填充`操作系统`缓冲.
assert!(command.wait()?.success());

安全架构`内部函数`

大多数仅因为需要允许目标功能,而不安全的std::arch的内部函数现在可在允许这些功能的安全代码中调用.如,以下玩具程序使用手动内部函数实现求和数组,现在可对核心循环使用安全代码.

#![forbid(unsafe_op_in_unsafe_fn)]
use std::arch::x86_64::*;
fn sum(slice: &[u32]) -> u32 {#[cfg(target_arch = "x86_64")]{if is_x86_feature_detected!("avx2") {//安全:检测到在`运行时`已允许该功能,因此可安全地调用此函数.return unsafe { sum_avx2(slice) };}}slice.iter().sum()
}
#[target_feature(enable = "avx2")]
#[cfg(target_arch = "x86_64")]
fn sum_avx2(slice: &[u32]) -> u32 {//安全性:`__m256i`和`u32`有相同`有效性`.let (prefix, middle, tail) = unsafe { slice.align_to::<__m256i>() };let mut sum = prefix.iter().sum::<u32>();sum += tail.iter().sum::<u32>();//`核心`循环现在在`1.87`中是完全安全的代码,因为`内部函数`需要匹配目标特征`(avx2)`与`函数定义`.  let mut base = _mm256_setzero_si256();for e in middle.iter() {base = _mm256_add_epi32(base, *e);}//安全性:`__m256i`和`u32`有相同有效性.let base: [u32; 8] = unsafe { std::mem::transmute(base) };sum += base.iter().sum::<u32>();sum
}

`asm!`跳转到`Rust`代码

内联汇编(asm!)现在可跳转到Rust代码中的标签块.这可实现更灵活的低级编程,如在操作系统内核中实现优化的控制流或更有效地与硬件交互.

1,asm!宏现在支持用作跳转目标的标签操作数.
2,标签必须是返回类型为()或!的块式.

3,该块在跳转到时执行,并在asm!之后继续执行块.
4,在同一个asm!中使用输出和标签操作数调用仍不稳定.

unsafe {asm!("jmp {}",label {println!("Jumped from asm!");});
}

更多详情

在特征定义中`impl Trait`的特征的`精准捕捉`(+用<…>)

此版本稳定了使用impl Trait的返回类型,在特征定义中指定特定抓的模板类型和生命期.这允许在特征定义中使用此功能,并在1.82中扩展了非特征函数的稳定性.
一些脱糖示例:

trait Foo {fn method<'a>(&'a self) -> impl Sized;//...脱糖如下:type Implicit1<'a>: Sized;fn method_desugared<'a>(&'a self) -> Self::Implicit1<'a>;//...而通过精确抓......fn precise<'a>(&'a self) -> impl Sized + use<Self>;//...脱糖如下:type Implicit2: Sized;fn precise_desugared<'a>(&'a self) -> Self::Implicit2;
}

稳定的`API`

Vec::extract_if
vec::ExtractIf
LinkedList::extract_if
linked_list::ExtractIf
<[T]>::split_off
<[T]>::split_off_mut
<[T]>::split_off_first
<[T]>::split_off_first_mut
<[T]>::split_off_last
<[T]>::split_off_last_mut
String::extend_from_within
os_str::Display
OsString::display
OsStr::display
io::pipe
io::PipeReader
io::PipeWriter
impl From<PipeReader> for OwnedHandle
impl From<PipeWriter> for OwnedHandle
impl From<PipeReader> for Stdio
impl From<PipeWriter> for Stdio
impl From<PipeReader> for OwnedFd
impl From<PipeWriter> for OwnedFd
Box<MaybeUninit<T>>::write
impl TryFrom<Vec<u8>> for String
<*const T>::offset_from_unsigned
<*const T>::byte_offset_from_unsigned
<*mut T>::offset_from_unsigned
<*mut T>::byte_offset_from_unsigned
NonNull::offset_from_unsigned
NonNull::byte_offset_from_unsigned
<uN>::cast_signed
NonZero::<uN>::cast_signed.
<iN>::cast_unsigned.
NonZero::<iN>::cast_unsigned.
<uN>::is_multiple_of
<uN>::unbounded_shl
<uN>::unbounded_shr
<iN>::unbounded_shl
<iN>::unbounded_shr
<iN>::midpoint
<str>::from_utf8
<str>::from_utf8_mut
<str>::from_utf8_unchecked
<str>::from_utf8_unchecked_mut

这些以前稳定的API现在在常环境中是稳定的:

core::str::from_utf8_mut
<[T]>::copy_from_slice
SocketAddr::set_ip
SocketAddr::set_port,
SocketAddrV4::set_ip
SocketAddrV4::set_port,
SocketAddrV6::set_ip
SocketAddrV6::set_port
SocketAddrV6::set_flowinfo
SocketAddrV6::set_scope_id
char::is_digit
char::is_whitespace
<[[T; N]]>::as_flattened
<[[T; N]]>::as_flattened_mut
String::into_bytes
String::as_str
String::capacity
String::as_bytes
String::len
String::is_empty
String::as_mut_str
String::as_mut_vec
Vec::as_ptr
Vec::as_slice
Vec::capacity
Vec::len
Vec::is_empty
Vec::as_mut_slice
Vec::as_mut_ptr