dtolnay/cxx

Permissibility heuristics for signatures involving lifetimes

Aperta

#165 aperta il 28 apr 2020

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Rust (253 fork)batch import
help wanted

Metriche repository

Star
 (4472 stelle)
Metriche merge PR
 (Merge medio 8m) (3 PR mergiate in 30 g)

Descrizione

As motivated in https://github.com/dtolnay/cxx/issues/122#issuecomment-615372359, it may be nice to permit a signature like fn(&mut CThing, &str) -> &mut CThingChild even though we don't support explicit lifetime specifications in full generality. In that signature it's obvious the output mutable reference isn't going to be borrowed from inside the contents of the const &str, and it would be a big red flag in the C++ code if it were, so this is fine to allow.

Guida contributor

Direzione di ricerca
Investiga la gestione corrente della durata nell'analisi delle firme e nella generazione del codice di cxx. L'obiettivo è aggiungere un'euristica che permetta una firma di funzione come `fn(&mut CThing, &str) > &mut CThingChild` anche senza annotazioni esplicite di durata, verificando che il riferimento mutabile di output non sia alias di alcun riferimento const di input. Guarda come cxx attualmente rifiuta tali firme e implementa un allentamento che consenta il pattern sicuro.
Tech stack
rust
Dominio
api
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Datata
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
Rust
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
60