Início / user-22447657

444RS's questions

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

Olá, sei que o código poderia ser totalmente escrito sem nenhum código inseguro, mas estou pesquisando e aprendendo como as coisas funcionam "nos bastidores".

Voltando ao assunto , escrevi um código Rust inseguro que, na minha opinião, deve funcionar sem problemas.

Esta é a definição:

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
        }
    }
}

Em resumo, ele aceita qualquer entrada que possa ser representada como uma referência str, cria um clone fixado da entrada no heap, obtém endereços que apontam para ambas as metades desse valor e retorna isso como uma estrutura.

Agora, quando faço testes:

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

Deve funcionar sem pânico e é isso que acontece no Windows. Ele compila e roda sem problemas várias vezes, mas quando é executado no Ubuntu recebo um erro mostrando que os endereços não apontam mais para um local válido na memória:

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

Qual poderia ser o problema aqui? Perdi algo? Estou executando este código como ação do GitHub com o seguinte sinalizador runs-on: ubuntu-latest.

Aqui está um URL para o playground mostrando que este código é executado sem problemas: https://play.rust-lang.org/?version=stable&mode=debug&edition=2021&gist=d36b19de4d0fa05340191f5107029d75

Não esperava problemas ao executar este código em um sistema operacional diferente.

windows