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 / 79560766
Accepted
Nikhil Nathanael
Nikhil Nathanael
Asked: 2025-04-08 04:52:52 +0800 CST2025-04-08 04:52:52 +0800 CST 2025-04-08 04:52:52 +0800 CST

Por que essas duas implementações de características não são conflitantes?

  • 772

Tenho uma situação na minha base de código em que uma função possui um objeto de característica em caixa chamando uma função que espera um implementador dessa característica, e recebi a mensagem de erro mostrada abaixo. Por algum motivo, a Box não implementa Trait por padrão.

use std::any::Any;

trait SubTrait: DynClone {}

trait DynClone: Any {
    fn dyn_clone(&self) -> Box<dyn DynClone>;
}

impl<T: Any + Clone + 'static> DynClone for T {
    fn dyn_clone(&self) -> Box<dyn DynClone> {
        Box::new(Clone::clone(self))
    }
}

fn test_outer() {
    test::<Box<dyn SubTrait>>();
}

fn test<L: SubTrait>() {}
error[E0277]: the trait bound `Box<(dyn SubTrait + 'static)>: SubTrait` is not satisfied
   --> src\ecs\schedule.rs:124:9
    |
124 |     test::<Box<dyn SubTrait>>();
    |            ^^^^^^^^^^^^^^^^^ the trait `SubTrait` is not implemented for `Box<(dyn SubTrait + 'static)>`
    |

Não entendo completamente por que isso acontece, mas estou mais perplexo com uma correção que funcionou

impl DynClone for Box<dyn SubTrait> {
    fn dyn_clone(&self) -> Box<dyn DynClone> {
        (self as &dyn DynClone).dyn_clone()
    }
}

impl SubTrait for Box<dyn SubTrait> {}

Tentei fazer isso esperando que fosse rejeitado devido a uma implementação conflitante, mas foi aceito por algum motivo.

Por que essas implementações não são conflitantes?


impl DynClone for Box<dyn SubTrait> {
    fn dyn_clone(&self) -> Box<dyn DynClone> {
        (self as &dyn DynClone).dyn_clone()
    }
}

impl<T: Any + Clone + 'static> DynClone for T {
    fn dyn_clone(&self) -> Box<dyn DynClone> {
        Box::new(Clone::clone(self))
    }
}

Eu sei que não é por causa dos limites de características em T, porque Rust não considera limites de características ou cláusulas where ao verificar conflitos.

Eu até verifiquei que os limites de características em T não são a correção com outro tipo que não é clone, o que leva a essa mensagem de erro.

use std::sync::mpsc::Receiver;
impl DynClone for Receiver<()> {
    fn dyn_clone(&self) -> Box<dyn DynClone> {
        Box::new(25_i32)
    }
}
error[E0119]: conflicting implementations of trait `schedule::test::DynClone` for type `std::sync::mpsc::Receiver<()>`
   --> src\ecs\schedule.rs:138:1
    |
117 | impl<T: Any + Clone + 'static> DynClone for T {
    | --------------------------------------------- first implementation here
...
138 | impl DynClone for Receiver<()> {
    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ conflicting implementation for `std::sync::mpsc::Receiver<()>`
    |
    = note: upstream crates may add a new impl of trait `std::clone::Clone` for type `std::sync::mpsc::Receiver<()>` in future versions

Alguém pode explicar o que está acontecendo aqui?

rust
  • 1 1 respostas
  • 47 Views

1 respostas

  • Voted
  1. Best Answer
    kmdreko
    2025-04-08T08:05:09+08:002025-04-08T08:05:09+08:00

    As restrições Tsão absolutamente consideradas. Estas implementações não entram em conflito:

    trait MyTrait {}
    
    struct MyStruct; // not Clone
    
    impl<T> MyTrait for T where T: Clone {}
    impl MyTrait for MyStruct {}
    

    Você pode estar confuso ao perceber que a ausência de uma implementação de característica em um tipo não pode ser considerada confiável, a menos que a caixa atual possua o tipo ou característica (consulte a regra dos órfãos). No caso acima, a inferência negativa é necessária para que MyStruct: !Clone, mas isso é verificado porque MyStructé local e não implementa Clone. No seu exemplo com Receiver<()>, nem Receiverou Clonesão locais e, portanto, a ausência dessa implementação não pode ser considerada confiável.

    A outra nuance aqui é que Boxse trata (mais uma vez) de um caso especial. Normalmente, nãoForeignType<LocalType> é considerado local, mas ( referência ):

    Observe que, para fins de coerência, os tipos fundamentais são especiais. O Tin Box<T>não é considerado coberto e Box<LocalType>é considerado local.

    Portanto, no seu caso, Box<dyn SubTrait>sabe-se que não é implementado Clonee é considerado local, portanto, sabe-se que não entra em conflito com a implementação geral.

    • 3

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

    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