rust-lang/rust-clippy

Catch transmuting Option<&T> to Option<&mut T>

Open

#372 aperta il 8 ott 2015

Vedi su GitHub
 (3 commenti) (0 reazioni) (1 assegnatario)Rust (1391 fork)batch import
C-enhancementE-mediumT-middlegood first issue

Metriche repository

Star
 (10.406 star)
Metriche merge PR
 (Merge medio 19g 22h) (113 PR mergiate in 30 g)

Descrizione

Rustc already has a lint (mutable_transmutes) that catches transmutes from &T to &mut T, which can cause undefined behaviour. However, it doesn't catch minor variations of this problem, like Option<&T> -> Option<&mut T>, which are presumably just as dangerous. I've seen this particular example in real code. It would be nice to have a lint that catches this case (and ideally, other instances of the same problem, although this could get quite complex in the fully general case).

Guida contributor

Direzione di ricerca
Studia il lint `mutable transmutes` esistente nel codice sorgente di Clippy per capire come rileva le transmute da `&T` a `&mut T`. Quindi estendi la logica per gestire `Option<&T>` a `Option<&mut T>` e potenzialmente altri tipi wrapper. Considera l'uso di risoluzione dei tipi e pattern matching sul tipo di destinazione della transmute.
Tech stack
rust
Dominio
tooling
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RustTransmute semanticsClippy internals
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60