主页 / user-22447657

444RS's questions

Martin Hope
444RS
Asked: 2023-08-26 00:41:38 +0800 CST
  • 5

您好，我知道代码可以完全编写，没有任何不安全的代码，但我正在研究并学习“幕后”的工作原理。

回到主题，我编写了一段不安全的 Rust 代码，在我看来，它应该可以正常工作，没有任何问题。

这是定义：

pub struct Container {
    inner: Pin<Box<String>>,
    half_a: *const str,
    half_b: *const str,
}

impl Container {
    const SEPARATOR: char = '-';

    pub fn new(input: impl AsRef<str>) -> Option<Self> {
        let input = input.as_ref();
        if input.is_empty() {
            return None
        }

        // Making sure the value is never moved in the memory
        let inner = Box::pin(input.to_string());

        let separator_index = inner.find(Container::SEPARATOR)?;
        let inner_ref = &**inner;

        let half_a = &inner_ref[0..separator_index];
        let half_b = &inner_ref[separator_index+1..];

        // Check if the structure definition is met (populated values + only one separator)
        if half_a.is_empty() || half_b.is_empty() || half_b.contains(Container::SEPARATOR) {
            return None;
        }

        Some(Self {
            half_a: half_a as *const str,
            half_b: half_b as *const str,
            inner,
        })
    }
    
    pub fn get_half_a(&self) -> &str {
        unsafe {
            &*self.half_a
        }
    }

    pub fn get_half_b(&self) -> &str {
        unsafe {
            &*self.half_b
        }
    }
}

总之，它接受任何可以表示为 str 引用的输入，在堆上创建输入的固定克隆，获取指向该值的两半的地址并将其作为结构返回。

现在当我做测试时：

let valid = Container::new("first-second").unwrap();
assert_eq!(valid.get_half_a(), "first");
assert_eq!(valid.get_half_b(), "second");

它应该运行而不会出现任何恐慌，事实上这就是 Windows 上发生的情况。它多次编译和运行没有任何问题，但是当它在 Ubuntu 上运行时，我收到一条错误，显示地址不再指向内存中的有效位置：

 thread 'tests::types::container' panicked at 'assertion failed: `(left == right)`
  left: `"�K\u{13}϶"`,
 right: `"first"`', research/src/tests/types.rs:77:5

这里可能有什么问题？我错过了什么？ 我使用以下标志将这段代码作为 GitHub 操作运行runs-on: ubuntu-latest。

以下是 Playground 的 URL，显示此代码运行时没有任何问题： https://play.rust-lang.org/? version=stable&mode=debug&edition=2021&gist=d36b19de4d0fa05340191f5107029d75

我预计在不同的操作系统上运行此代码不会出现任何问题。

windows