JuliaLang/julia

Document promotion behavior of `div` and `divrem` for `(::Unsigned, ::Signed)`

Open

#57.855 aberto em 21 de mar. de 2025

Ver no GitHub
 (8 comments) (0 reactions) (0 assignees)Julia (5.773 forks)batch import
docshelp wanted

Métricas do repositório

Stars
 (48.709 stars)
Métricas de merge de PR
 (Mesclagem média 23d 11h) (145 fundiu PRs em 30d)

Description

Currently we have

julia> div(UInt(1), -1)
0xffffffffffffffff

This happens because we are returning the promote_type, but violates both common sense, and the documentation which states "Generally equivalent to a mathematical operation x/y without a fractional part".

As such, I propose that we instead make the return type of div(x,y) be ifelse(isa(y, Signed), signed(promote_type(x,y)), promote_type(x,y)). This would obviously be slightly breaking, but I think it qualifies as a bugfix.

We also would want to make similar changes for divrem, fld, cld since they all have the same problem.

Guia do colaborador

Direção de pesquisa
Investigue a implementação de `div` e `divrem` na biblioteca base do Julia, provavelmente em `intfuncs.jl`. Compreenda o comportamento atual de promoção de tipos para argumentos mistos `(Unsigned, Signed)`. Implemente a alteração proposta para retornar um tipo com sinal quando o divisor for com sinal. Considere alterações semelhantes para `fld` e `cld`. Verifique os testes existentes e adicione novos para cobrir o comportamento corrigido. Revise a discussão na issue para quaisquer requisitos adicionais ou preocupações.
Pilha de tecnologia
None
Domain
backend
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
Julia
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
75