dotnet/runtime

Math.Round(value, digits, mode) does not return the correct result

Open

#1 643 ouverte le 18 avr. 2019

Voir sur GitHub
 (13 commentaires) (8 réactions) (1 assigné)C# (5 445 forks)batch import
Cost:Marea-System.Numericsbreaking-changebughelp wanted

Métriques du dépôt

Stars
 (17 886 stars)
Métriques de merge PR
 (Merge moyen 12j 11h) (661 PRs mergées en 30 j)

Description

The Math.Round(value, digits, mode) code returns a close, but not correct result most of the time.

The root problem is that the algorithm tries to follow normal mathematical rules to produce the result. However, due to the variable precision in IEEE floating-point numbers, this ultimately causes it to produce a close, but generally incorrect result most of the time and causes it to not accept inputs above a certain range. For example, you can't round double.MaxValue and the larger the input is, the more inaccurate the rounding will be.

These functions should be rewritten to be IEEE compliant and to accept any valid finite floating-point input.

Guide contributeur

Direction de recherche
Examinez l'implémentation actuelle de Math.Round dans le code source du runtime .NET (probablement dans src/libraries/System.Private.CoreLib/src/System/Math.cs). Comprenez l'algorithme qui tente d'arrondir en utilisant des règles mathématiques et identifiez où la précision en virgule flottante provoque des inexactitudes. Passez en revue les modes d'arrondi IEEE 754 (arrondi au plus proche, départage vers le pair, etc.) et le traitement des entrées finies. Proposez une réécriture qui évite toute perte de précision pour tous les doubles finis, y compris les cas limites comme double.MaxValue. Consultez les discussions existantes dans le ticket pour des solutions proposées.
Stack technique
csharp
Domaine
backendapi
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.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-2 jours
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
.NET internalsIEEE 754 floating point arithmetic
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
50