memory - 如何调整结构的大小？ [复制]

Question

This question already has answers here:

How do you actually use dynamically sized types in Rust?

(4个答案)


在11个月前关闭。




我在Rust中进行数据布局的思维模型是，必须在编译时知道所有结构的大小，这意味着必须在编译时递归地知道它们的所有属性。这就是为什么您不能拥有仅是特征的struct成员的原因(以及为什么必须使用枚举代替联合类型的原因):大小未知，因此您必须使用

泛型，因此特征在使用时会被“重新定义”为大小已知的结构

一个枚举，它具有一组有限的可能的已知大小的布局

一个Box，其大小已知，因为它只是一个指针

但是在 Path 的文档中，它说:

This is an unsized type, meaning that it must always be used behind a pointer like & or Box. For an owned version of this type, see PathBuf.

但是 Path既不是特征也不是通用结构，它只是简单的结构。

我的心理模型有什么可能吗？

我找到了 this explanation of what dynamically-sized types are，但是我还是不明白我该如何做自己的一个。这样做是为语言本身保留的特殊特权吗？

最佳答案

允许一个结构包含一个未调整大小的字段，这使该结构本身未调整大小。构造一个无大小类型的值可能非常困难，并且通常只能通过使用不安全的方法将对大小变量的引用转换为无大小变量的方式来完成。

例如，可以使用 #[repr(transparent)] 使其像这样将&[u8]转换为&MySlice成为可能。此属性使类型保证以与其单个字段相同的方式表示。

#[repr(transparent)]
struct MySlice {
    inner: [u8],
}

然后像这样转换切片将是不错的选择:

impl MySlice {
    pub fn new(slice: &[u8]) -> &MySlice {
        // SAFETY: This is ok because MySlice is #[repr(transparent)]
        unsafe {
            &*(slice as *const [u8] as *const MySlice)
        }
    }
}

您可以例如如果切片不是有效的ascii，则拒绝执行转换，现在您将拥有一个保证指向有效ascii的字节数组，就像 &str是如何保证utf-8有效的 &[u8]一样。

关于memory - 如何调整结构的大小？ [复制]，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/61293115/

上一篇：rust - 调用cargo-binutils命令时，是否可以使用xbuild代替build？

下一篇：rust - 针对 Cargo 工作区中的特定包

Answer 1

允许一个结构包含一个未调整大小的字段，这使该结构本身未调整大小。构造一个无大小类型的值可能非常困难，并且通常只能通过使用不安全的方法将对大小变量的引用转换为无大小变量的方式来完成。

例如，可以使用 #[repr(transparent)] 使其像这样将&[u8]转换为&MySlice成为可能。此属性使类型保证以与其单个字段相同的方式表示。

#[repr(transparent)]
struct MySlice {
    inner: [u8],
}

然后像这样转换切片将是不错的选择:

impl MySlice {
    pub fn new(slice: &[u8]) -> &MySlice {
        // SAFETY: This is ok because MySlice is #[repr(transparent)]
        unsafe {
            &*(slice as *const [u8] as *const MySlice)
        }
    }
}

您可以例如如果切片不是有效的ascii，则拒绝执行转换，现在您将拥有一个保证指向有效ascii的字节数组，就像 &str是如何保证utf-8有效的 &[u8]一样。