dtolnay/cxx

Permissibility heuristics for signatures involving lifetimes

Offen

#165 geöffnet am 28.04.2020

Auf GitHub ansehen
 (0 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Rust (253 Forks)batch import
help wanted

Repository-Metriken

Stars
 (4.472 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 8m) (3 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide

Research-Richtung
Untersuchen Sie die aktuelle Lebensdauerverwaltung in der Signaturanalyse und Codegenerierung von cxx. Das Ziel ist es, eine Heuristik hinzuzufügen, die eine Funktionssignatur wie `fn(&mut CThing, &str) > &mut CThingChild` auch ohne explizite Lebensdauerannotationen erlaubt, indem überprüft wird, dass die veränderliche Ausgabereferenz keine Eingabekonstantreferenz aliast. Schauen Sie, wie cxx derartige Signaturen derzeit ablehnt, und implementieren Sie eine Lockerung, die das sichere Muster erlaubt.
Tech Stack
rust
Domain
api
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-2 Tage
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Veraltet
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Klar
Voraussetzungen
Rust
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
60