JuliaLang/julia
在 GitHub 查看Document promotion behavior of `div` and `divrem` for `(::Unsigned, ::Signed)`
Open
#57,855 创建于 2025年3月21日
docshelp wanted
仓库指标
- Star
- (48,709 star)
- PR 合并指标
- (平均合并 20天 6小时) (30 天内合并 157 个 PR)
描述
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.