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 / 78993800
Accepted
Matteo Monti
Matteo Monti
Asked: 2024-09-17 19:20:03 +0800 CST2024-09-17 19:20:03 +0800 CST 2024-09-17 19:20:03 +0800 CST

Problemas de visibilidade intrigantes com estruturas semelhantes a tuplas Rust

  • 772

Estou encontrando um erro intrigante ao criar uma estrutura semelhante a uma tupla em algum lugar no meu projeto Rust.

O erro

Resumi minha questão no seguinte trecho:

mod parent {
    pub struct X(u32);

    mod child {
        use crate::X;

        fn f() {
            let x = X(42);
        }
    }
}

use parent::X;

Na minha cabeça, esse snippet deve compilar perfeitamente. Xé público, e seu campo é visível dentro de parent, então todos os seus filhos (incluindo child::f) devem ser capazes de acessá-lo. No entanto, quando vou e compilo esse snippet, recebo

error[E0423]: expected function, tuple struct or tuple variant, found struct `X`
 --> src/main.rs:8:21
  |
8 |             let x = X(42);
  |                     ^

For more information about this error, try `rustc --explain E0423`.
error: could not compile `playground` (bin "playground" test) due to 1 previous error

Estranhamente, a mensagem de erro menciona que o compilador esperava uma "variante de tupla", mas encontrou Xem vez disso. Mas, X é uma variante de tupla!

Dependência do caminho

O problema desaparece quando eu use super::Xem vez de crate::X.

mod parent {
    pub struct X(u32);

    mod child {
        use super::X;

        fn f() {
            let x = X(42);
        }
    }
}

use parent::X;

Isso é ainda mais intrigante para mim. Por que a correção do meu snippet dependeria do caminho específico que eu uso para use X? Na minha mente, Xé X, de onde quer que eu o importe.

Com estruturas não-tuplas

O problema também desaparece quando dou Xcampos nomeados:

mod parent {
    pub struct X {
        x: u32,
    }

    mod child {
        use crate::X;

        fn f() {
            let x = X { x: 42 };
        }
    }
}

use parent::X;

Note que estou usando use crate::Xneste snippet, assim como no primeiro! Por que esse erro apareceria apenas com structs do tipo tupla? Estou muito confuso. Normalmente não sou alguém que duvida da correção do compilador Rust, mas tenho que admitir que hoje minha fé está sendo testada.

Alguma ideia do que posso estar perdendo?

rust
  • 1 1 respostas
  • 60 Views

1 respostas

  • Voted
  1. Best Answer
    cafce25
    2024-09-17T19:47:27+08:002024-09-17T19:47:27+08:00

    Este é o mesmo problema do #74139 .

    Importações filtram nomes que são privados no ponto de importação, essa é uma regra bem fundamental. O Fooconstrutor de é privado para mod a, então ele é filtrado.

    Então isso não é um bug, mas o erro provavelmente deveria ter uma nota mencionando o construtor privado. Tal nota é emitida em alguns outros casos, mas não neste.

    – petrochenkov comentou em 8 de julho de 2020

    Somente a função privada X(cada tupla struct define implicitamente uma função construtora além da própria struct) é filtrada, portanto, usar a sintaxe regular da struct funciona (para ambos os tipos de struct):

    mod parent {
        pub struct X(u32);
    
        mod child {
            use crate::X;
    
            fn f() {
                let x = X{ 0: 42 };
            }
        }
    }
    
    use parent::X;
    

    Parque infantil

    • 5

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