dotnet/roslyn

IDE0200 (remove unnecessary lambda expression) can change semantics when capturing writable members

Open

#73 259 ouverte le 29 avr. 2024

Voir sur GitHub
 (6 commentaires) (3 réactions) (0 assignés)C# (4 257 forks)batch import
Area-IDEBugFeature - IDE0200help wanted

Métriques du dépôt

Stars
 (20 414 stars)
Métriques de merge PR
 (Merge moyen 6j 17h) (256 PRs mergées en 30 j)

Description

Version Used:

Steps to Reproduce:

public class Test {
  private List<int> _list = [1];

  public bool N() {
    var func = M();
    _list = [2];
    return func(2);
  }

  private Func<int, bool> M() {
    return x => _list.Contains(x); // IDE0200
  }
}

Diagnostic Id: IDE0200

Expected Behavior: The code fix should not be offered. It changes the semantics.

Actual Behavior: After applying the code fix, N returns false instead of true

I saw that this was fixed when capturing locals in #69101

Guide contributeur

Direction de recherche
Enquêtez sur la façon dont IDE0200 détermine quand une expression lambda est inutile. Pour les membres accessibles en écriture, la sémantique diffère car la variable capturée peut changer entre la création et l'invocation du lambda. Le correctif ne doit pas proposer la simplification lorsque le membre capturé est accessible en écriture et pourrait être réaffecté avant que le lambda soit invoqué. Étudiez le correctif existant pour les variables locales (#69101) et étendez le pour gérer les champs et propriétés d'instance.
Stack technique
csharp
Domaine
tooling
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
C#Git
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70