dtolnay/cxx

Permissibility heuristics for signatures involving lifetimes

Aberta

#165 aberto em 28 de abr. de 2020

Ver no GitHub
 (0 comentário) (0 reação) (0 responsável)Rust (253 forks)batch import
help wanted

Métricas do repositório

Stars
 (4.472 estrelas)
Métricas de merge de PR
 (Mesclagem média 8m) (3 fundiu PRs em 30d)

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.

Guia do colaborador

Direção de pesquisa
Investigue o tratamento atual de tempo de vida na análise de assinaturas e geração de código do cxx. O objetivo é adicionar uma heurística que permita uma assinatura de função como `fn(&mut CThing, &str) > &mut CThingChild` mesmo sem anotações explícitas de tempo de vida, verificando que a referência mutável de saída não seja alias de nenhuma referência const de entrada. Veja como o cxx atualmente rejeita tais assinaturas e implemente uma relaxação que permita o padrão seguro.
Pilha de tecnologia
rust
Domain
api
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Antigo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Rust
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
60