dotnet/roslyn

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

Open

#73.259 aperta il 29 apr 2024

Vedi su GitHub
 (6 commenti) (3 reazioni) (0 assegnatari)C# (4257 fork)batch import
Area-IDEBugFeature - IDE0200help wanted

Metriche repository

Star
 (20.414 star)
Metriche merge PR
 (Merge medio 6g 17h) (256 PR mergiate in 30 g)

Descrizione

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

Guida contributor

Direzione di ricerca
Indaga come IDE0200 determina quando un'espressione lambda non è necessaria. Per i membri scrivibili, la semantica differisce perché la variabile catturata può cambiare tra la creazione e l'invocazione della lambda. La correzione non dovrebbe offrire la semplificazione quando il membro catturato è scrivibile e potrebbe essere riassegnato prima che la lambda venga invocata. Studia la correzione esistente per le variabili locali (#69101) ed estendila per gestire campi e proprietà di istanza.
Tech stack
csharp
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-2 giorni
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
C#Git
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70