Início / coding / Perguntas / 77590488
Accepted
Aracthor
Asked: 2023-12-02 21:12:43 +0800 CST

Posso implementar uma característica From<> genérica para um tipo genérico para qualquer outra implementação que não seja ele mesmo?

  • 772

Fiz uma estrutura Vector genérica, usada com diferentes tipos de T:

struct Vector<T> {
    data: [T; 3],
}

Já implementei algumas características genéricas para operandos matemáticos ( Eq, Index, std::ops::Add...) e funciona bem.

Mas agora estou lutando para implementar uma Fromcaracterística para poder converter facilmente, por exemplo, um vetor em um vetor.

impl<T, U> From<Vector<U>> for Vector<T> {
    fn from(item: Vector<U>) -> Self {
        // [...]
    }
}

Independentemente da fromimplementação desta função, recebo o seguinte erro:

error[E0119]: conflicting implementations of trait `From<Vector<_>>` for type `Vector<_>`
 --> <source>:5:1
  |
5 | impl<T, U> From<Vector<U>> for Vector<T> {
  | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  |
  = note: conflicting implementation in crate `core`:
          - impl<T> From<T> for T;

Se bem entendi é porque por padrão, para qualquer tipo, From<Vector<T>> for Vector<T>já está declarado. E minha implementação entra em conflito com ela se Te Uforem tipos idênticos.

Então, existe uma maneira de usar minha implementação para tipos diferentesT and U, mas não usá-la para tipos idênticosT and U?

templates

1 respostas

  1. Best Answer

    Você não pode escrever esta implementação.

    Mesmo se você fosse o proprietário de Fromvocê não poderia escrever esse limite, pois entra em conflito com impl<T> From<T> for Twhere T == U. Na verdade, algumas pessoas querem que a biblioteca padrão escreva este impl para coleções (por exemplo, Option<T>), e apesar da biblioteca padrão ser a proprietária dela, Fromnão pode fornecer este impl.

    Você pode fornecer um método para fazer isso, em vez de uma implementação de característica.

    • 1

relate perguntas