string - 为什么str主要以借用形式存在？ [复制]

Question

This question already has answers here:

What does “`str` does not have a constant size known at compile-time” mean, and what's the simplest way to fix it?

(1个答案)



What are the differences between Rust's `String` and `str`?

(11个答案)



How to build an Rc<str> or Rc<[T]>?

(2个答案)


在12个月前关闭。




这是 str类型的使用方式:

let hello = "Hello, world!";

// with an explicit type annotation
let hello: &'static str = "Hello, world!";

let hello: str = "Hello, world!";导致 expected `str`, found `&str`
为什么文本的默认类型不只是 str而不是所有原始类型，向量和 String？为什么要引用？

最佳答案

只能通过引用访问字符串和切片的设计决策具有许多优点:

字符串可以有任何长度。因此，在堆栈上不容易管理str类型的变量，而&str在堆栈上仅具有指针的大小(而可变长度数据驻留在堆上)。请注意，所有其他原始类型都有固定的长度，每个引用都有固定的长度(不是指向的数据)和每个结构(是一个组合)。

&str是不可变的引用。如果可以定义str类型的变量，则必须给let mut s: str = "str";赋予语义。堆栈上的不可变字符串很难管理，可以附加的字符串甚至更难。

拥有str意味着每一步都必须复制所有字符，这会降低性能。仅复制引用并在堆上保持引用数据不变就便宜了。这并不是真正的零成本抽象。

str并不是唯一仅作为引用&str出现的类型(对于切片也是如此，就像&[i8]一样)，因此对字符串处理的更改会使其他行为变得奇怪(或者必须进行相应更改)。

让我们假设一个函数可以管理str类型的变量。现在，您想从此函数返回&str。这是行不通的，因为引用的生存期最长为它指向的值(尝试使用任何原始类型)。由于str是本地创建的值，因此它不能超过该功能。字符串文字始终是对静态字符串的引用的便利解决了此问题。这意味着您将必须编写其他代码才能将自己拥有的str放入静态变量中，以便可以返回&str。而且由于静态引用是我需要的默认行为，因此以很小的开销编写它就非常方便。

关于string - 为什么str主要以借用形式存在？ [复制]，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61174395/

上一篇：rust - 如何在另一个Tokio运行时中创建Tokio运行时而没有出现 "Cannot start a runtime from within a runtime"错误？

下一篇：rust - 带有多个二进制文件的死代码警告？

Answer 1

只能通过引用访问字符串和切片的设计决策具有许多优点:

字符串可以有任何长度。因此，在堆栈上不容易管理str类型的变量，而&str在堆栈上仅具有指针的大小(而可变长度数据驻留在堆上)。请注意，所有其他原始类型都有固定的长度，每个引用都有固定的长度(不是指向的数据)和每个结构(是一个组合)。

&str是不可变的引用。如果可以定义str类型的变量，则必须给let mut s: str = "str";赋予语义。堆栈上的不可变字符串很难管理，可以附加的字符串甚至更难。

拥有str意味着每一步都必须复制所有字符，这会降低性能。仅复制引用并在堆上保持引用数据不变就便宜了。这并不是真正的零成本抽象。

str并不是唯一仅作为引用&str出现的类型(对于切片也是如此，就像&[i8]一样)，因此对字符串处理的更改会使其他行为变得奇怪(或者必须进行相应更改)。

让我们假设一个函数可以管理str类型的变量。现在，您想从此函数返回&str。这是行不通的，因为引用的生存期最长为它指向的值(尝试使用任何原始类型)。由于str是本地创建的值，因此它不能超过该功能。字符串文字始终是对静态字符串的引用的便利解决了此问题。这意味着您将必须编写其他代码才能将自己拥有的str放入静态变量中，以便可以返回&str。而且由于静态引用是我需要的默认行为，因此以很小的开销编写它就非常方便。