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 / coding / Perguntas / 78248460
Accepted
Archsx
Archsx
Asked: 2024-03-30 23:23:40 +0800 CST2024-03-30 23:23:40 +0800 CST 2024-03-30 23:23:40 +0800 CST

por que podemos mover String do campo struct, mas não podemos mover via referência struct e não podemos mover String de vec em Rust?

  • 772

Sou novo no Rust e acho que alguns comportamentos do Rust não são intuitivos

digamos que temos o código abaixo:

struct User {
    name: String,
    email:String
}


fn main() {
    let some_vec = vec![String::from("value1"),String::from("value2")];
    
    let _v = some_vec[0];
    
    let user = User {
        name:String::from("name"),
        email:String::from("email")
    };
    
    let user_ref = &user;
    
    let _name = user_ref.name;
    
    let _email = user.email;
}

e o compilador reclama que:

error[E0507]: cannot move out of index of `Vec<String>`
  --> src/main.rs:19:14
   |
19 |     let _v = some_vec[0];
   |              ^^^^^^^^^^^ move occurs because value has type `String`, which does not implement the `Copy` trait
   |
help: consider borrowing here
   |
19 |     let _v = &some_vec[0];
   |              +

error[E0507]: cannot move out of `user_ref.name` which is behind a shared reference
  --> src/main.rs:28:17
   |
28 |     let _name = user_ref.name;
   |                 ^^^^^^^^^^^^^ move occurs because `user_ref.name` has type `String`, which does not implement the `Copy` trait
   |
help: consider borrowing here
   |
28 |     let _name = &user_ref.name;
   |                 +
  1. Eu penso Vece Structsou semelhante em agrupar valores. então pensei que se não podemos mover String de vec via índice, também não podemos mover String do campo struct. mas não há erro em let _email = user.email;
  2. Eu sei que não podemos sair de uma referência, assim:
    let v = vec![1, 2, 3];
    let v_ref: &Vec<i32> = &v;
    let v2 = *v_ref;// move occurs because `*v_ref` has type `Vec<i32>`, which does not implement the `Copy` trait

então o código let _name = user_ref.nameé, na verdade, let _name = (*user_ref).nameapós a desreferência do compilador automaticamente? É uma maneira semelhante de sair de uma referência como o código acima?

rust
  • 1 1 respostas
  • 36 Views

1 respostas

  • Voted
  1. Best Answer
    Masklinn
    2024-03-30T23:40:09+08:002024-03-30T23:40:09+08:00

    Acho que Vec e Struct são semelhantes no agrupamento de valores.

    Não são, porque uma "estrutura" é "transparente" para o compilador, já que o compilador é capaz de detectar diferentes campos de uma estrutura, o que não é o caso da indexação vec, que é uma operação opaca. É por isso que você pode emprestar exclusivamente diferentes campos de uma estrutura, mas não diferentes índices de um vec.

    não há erro em let _email = user.email;

    Isso ocorre porque ele está realizando um movimento parcial para fora da estrutura, depois você não pode passar por usersi mesmo como uma unidade (por exemplo, como parâmetro para uma função):

    erro[E0382]: utilização de valor parcialmente movido:user

    nem acesso user.email:

    erro[E0382]: utilização de valor movido:user.email

    você só pode acessar os outros campos da estrutura.

    Portanto, o código let _name = user_ref.name é, na verdade, let _name = (*user_ref).nameapós a desreferência do compilador automaticamente?

    Isso é o que significa desreferência automática , sim. Ele desreferencia automaticamente.

    • 2

relate perguntas

  • os braços de correspondência têm tipos incompatíveis esperados ao reutilizar a função dentro da correspondência

  • Conversão de tipo de ferrugem em uma instrução de correspondência

  • Como forçar o tipo de retorno de uma correspondência para ()?

  • enums de ferrugem em representações primitivas

  • Existe uma maneira de simplificar a correspondência diretamente para Ok("VAL") em Result<String, VarError>

Sidebar

Stats

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

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

    • 1 respostas
  • Marko Smith

    Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle?

    • 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

    Quando devo usar um std::inplace_vector em vez de um std::vector?

    • 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
  • Marko Smith

    Estou tentando fazer o jogo pacman usando apenas o módulo Turtle Random e Math

    • 1 respostas
  • Martin Hope
    Aleksandr Dubinsky Por que a correspondência de padrões com o switch no InetAddress falha com 'não cobre todos os valores de entrada possíveis'? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge Por que esse código Java simples e pequeno roda 30x mais rápido em todas as JVMs Graal, mas não em nenhuma JVM Oracle? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini Qual é o propósito de `enum class` com um tipo subjacente especificado, mas sem enumeradores? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(expression, lvalue) = rvalue` é uma atribuição válida em C ou C++? Por que alguns compiladores aceitam/rejeitam isso? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer Quando devo usar um std::inplace_vector em vez de um std::vector? 2024-10-29 23:01:00 +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
  • Martin Hope
    MarkB Por que o GCC gera código que executa condicionalmente uma implementação SIMD? 2024-02-17 06:17:14 +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