JuliaLang/julia

unary `+` acts differently for `Array` and `AbstractArray`

Open

#58 295 ouverte le 1 mai 2025

Voir sur GitHub
 (7 commentaires) (2 réactions) (0 assignés)Julia (5 773 forks)batch import
arraysdesigngood first issue

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

(This issue is tangentially related to #58281.)

The return type of unary + with Bool argument is not the same for arrays and views:

julia> v = [true, false]; +v
2-element Vector{Int64}:
 1
 0

julia> w = view(v, :); +w
2-element view(::Vector{Bool}, :) with eltype Bool:
 1
 0

The reason is that unary + for AbstractArray is simply the identity map:

https://github.com/JuliaLang/julia/blob/748775b5689deaa4acac7929e0a31a80d1c564f4/base/abstractarraymath.jl#L285

Hence it misses the convention that + transforms Bool to Int.

Another consequence of this definition is that one doesn't know whether +v is identical to v for mutable v:

julia> v = [1, 2]; +v === v
false

julia> w = view(v, :); +w === w
true

In my opinion, it would be good to have a consistent answer. However, it may be to late for that.

Guide contributeur

Direction de recherche
Examinez la définition de l'opérateur unaire `+` pour AbstractArray dans base/abstractarraymath.jl à la ligne 285. L'implémentation actuelle est `+(x::AbstractArray) = x`, qui ne convertit pas Bool en Int. Envisagez de la modifier en `+(x::AbstractArray) = map(+, x)` ou similaire pour garantir un comportement cohérent, mais soyez prudent quant à la propriété d'identité. Consultez également l'issue connexe #58281 pour le contexte. Discutez dans l'issue avant de mettre en œuvre.
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 programmingAbstractArray concepttype promotion rules
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70