dtolnay/cxx

Permissibility heuristics for signatures involving lifetimes

Ouverte

#165 ouverte le 28 avr. 2020

Voir sur GitHub
 (0 commentaire) (0 réaction) (0 personne assignée)Rust (253 forks)batch import
help wanted

Métriques du dépôt

Stars
 (4 472 étoiles)
Métriques de merge PR
 (Merge moyen 8m) (3 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Examinez la gestion actuelle de la durée de vie dans l'analyse des signatures et la génération de code de cxx. L'objectif est d'ajouter une heuristique qui permette une signature de fonction comme `fn(&mut CThing, &str) > &mut CThingChild` même sans annotations explicites de durée de vie, en vérifiant que la référence mutable de sortie n'est pas un alias d'une référence const d'entrée. Regardez comment cxx rejette actuellement ces signatures et implémentez un assouplissement qui permet le modèle sécurisé.
Stack technique
rust
Domaine
api
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Ancienne
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Rust
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
60