JuliaLang/julia

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

Open

#57 855 ouverte le 21 mars 2025

Voir sur GitHub
 (8 commentaires) (0 réactions) (0 assignés)Julia (5 773 forks)batch import
docshelp wanted

Métriques du dépôt

Stars
 (48 709 stars)
Métriques de merge PR
 (Merge moyen 23j 11h) (145 PRs mergées en 30 j)

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.

Guide contributeur

Direction de recherche
Étudiez l'implémentation de `div` et `divrem` dans la bibliothèque de base de Julia, probablement dans `intfuncs.jl`. Comprenez le comportement actuel de promotion de type pour les arguments mixtes `(Unsigned, Signed)`. Implémentez le changement proposé pour retourner un type signé lorsque le diviseur est signé. Envisagez des changements similaires pour `fld` et `cld`. Vérifiez les tests existants et ajoutez en de nouveaux pour couvrir le comportement corrigé. Examinez la discussion dans l'issue pour toute exigence ou préoccupation supplémentaire.
Stack technique
Aucun
Domaine
backend
Type d'issue
Bug
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
2
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Claire
Prérequis
Julia
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
75