AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • Início
  • system&network
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • Início
  • system&network
    • Recentes
    • Highest score
    • tags
  • Ubuntu
    • Recentes
    • Highest score
    • tags
  • Unix
    • Recentes
    • tags
  • DBA
    • Recentes
    • tags
  • Computer
    • Recentes
    • tags
  • Coding
    • Recentes
    • tags
Início / user-26747139

Tudor Pagu's questions

Martin Hope
Tudor
Asked: 2025-04-03 19:19:49 +0800 CST

Por que uma célula de referência emprestada dentro de uma expressão dura mais do que o pretendido (enquanto o empréstimo para uma variável funciona)

  • 7

Eu me deparei com um erro surpreendente (para mim) ao usar RefCell e quero entender melhor por que isso está acontecendo. Eu tinha algo parecido com este código abaixo, onde eu tenho um bloco while let consumindo uma função mutável em um RefCell emprestado:

struct Foo {
    val: i32,
}
impl Foo {
    fn increment(&mut self) -> Option<i32> {
        if self.val >= 10 {
            return None;
        }
        self.val += 1;
        Some(self.val)
    }
}
fn main() {
    let r = RefCell::new(Foo { val: 0 });
    while let Some(v) = r.borrow_mut().increment() {
        println!("iteration: {}", v);
        println!("borrow: {}", r.borrow().val); // panic!: BorrowError, already mutably borrowed
    }
}

Mas claramente eu não uso a referência mutável r depois que ela é criada, então por que ela ainda está viva? A maneira que eu encontrei para consertar isso é:

    while let Some(v) = {
        let mut borrowed = r.borrow_mut();
        borrowed.increment()
    } {
        println!("iteration: {}", v);
        println!("borrow: {}", r.borrow().val); // now this works fine
    }


Mas se eu tentar remover o temporário, mesmo dentro do escopo, ele ainda quebra.

    while let Some(v) = { r.borrow_mut().increment() } {
        println!("iteration: {}", v);
        println!("borrow: {}", r.borrow().val); // panic! BorrowError
    }

Além disso, esses erros me parecem ser específicos de while let, porque não me deparei com esse erro ao verificar alguma propriedade diretamente sem while let. Então, qual é exatamente o mecanismo/regra aqui que governa como o RefCell atualiza seu contador de empréstimo?

rust
  • 1 respostas
  • 42 Views
Martin Hope
Tudor Pagu
Asked: 2025-03-06 23:27:45 +0800 CST

É seguro converter um ponteiro struct para um ponteiro struct diferente que tenha um prefixo de elementos?

  • 7

Eu tenho esta estrutura:

typedef struct {
    int *array;
    int first;
    int last;
} arguments;

e eu estaria interessado em ter uma estrutura diferente com alguns argumentos adicionados:

typedef struct {
    int *array;
    int first;
    int last;
    // only used in children
    int read_fd;
    int write_fd;
} child_arguments;

mas tenho algumas funções que esperamarguments

void do_something(arguments* args) { ... }

É seguro fazer esse tipo de gesso:

void do_something_in_child(child_arguments* child_args) {
    do_something( (arguments*) child_args );
}

Imagino que, como C não reordena membros em uma struct, e elementos adicionados depois não devem afetar o preenchimento de elementos antigos, isso pode ser seguro. Mas é? E se for, é compatível com C ou é um comportamento tecnicamente indefinido, mas seguro na maioria dos compiladores?

c
  • 2 respostas
  • 55 Views

Sidebar

Stats

  • Perguntas 205573
  • respostas 270741
  • best respostas 135370
  • utilizador 68524
  • Highest score
  • respostas
  • Marko Smith

    Reformatar números, inserindo separadores em posições fixas

    • 6 respostas
  • Marko Smith

    Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não?

    • 2 respostas
  • Marko Smith

    Problema com extensão desinstalada automaticamente do VScode (tema Material)

    • 2 respostas
  • Marko Smith

    Vue 3: Erro na criação "Identificador esperado, mas encontrado 'import'" [duplicado]

    • 1 respostas
  • Marko Smith

    Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores?

    • 1 respostas
  • Marko Smith

    Como faço para corrigir um erro MODULE_NOT_FOUND para um módulo que não importei manualmente?

    • 6 respostas
  • Marko Smith

    `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso?

    • 3 respostas
  • Marko Smith

    Um programa vazio que não faz nada em C++ precisa de um heap de 204 KB, mas não em C

    • 1 respostas
  • Marko Smith

    PowerBI atualmente quebrado com BigQuery: problema de driver Simba com atualização do Windows

    • 2 respostas
  • Marko Smith

    AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos

    • 1 respostas
  • Martin Hope
    Fantastic Mr Fox Somente o tipo copiável não é aceito na implementação std::vector do MSVC 2025-04-23 06:40:49 +0800 CST
  • Martin Hope
    Howard Hinnant Encontre o próximo dia da semana usando o cronógrafo 2025-04-21 08:30:25 +0800 CST
  • Martin Hope
    Fedor O inicializador de membro do construtor pode incluir a inicialização de outro membro? 2025-04-15 01:01:44 +0800 CST
  • Martin Hope
    Petr Filipský Por que os conceitos do C++20 causam erros de restrição cíclica, enquanto o SFINAE antigo não? 2025-03-23 21:39:40 +0800 CST
  • Martin Hope
    Catskul O C++20 mudou para permitir a conversão de `type(&)[N]` de matriz de limites conhecidos para `type(&)[]` de matriz de limites desconhecidos? 2025-03-04 06:57:53 +0800 CST
  • Martin Hope
    Stefan Pochmann Como/por que {2,3,10} e {x,3,10} com x=2 são ordenados de forma diferente? 2025-01-13 23:24:07 +0800 CST
  • Martin Hope
    Chad Feller O ponto e vírgula agora é opcional em condicionais bash com [[ .. ]] na versão 5.2? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench Por que um traço duplo (--) faz com que esta cláusula MariaDB seja avaliada como verdadeira? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng Por que `dict(id=1, **{'id': 2})` às vezes gera `KeyError: 'id'` em vez de um TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob: MobileAds.initialize() - "java.lang.Integer não pode ser convertido em java.lang.String" para alguns dispositivos 2024-03-20 03:12:31 +0800 CST

Hot tag

python javascript c++ c# java typescript sql reactjs html

Explore

  • Início
  • Perguntas
    • Recentes
    • Highest score
  • tag
  • help

Footer

AskOverflow.Dev

About Us

  • About Us
  • Contact Us

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve