dotnet/roslyn

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

Open

#73.259 aberto em 29 de abr. de 2024

Ver no GitHub
 (6 comments) (3 reactions) (0 assignees)C# (4.257 forks)batch import
Area-IDEBugFeature - IDE0200help wanted

Métricas do repositório

Stars
 (20.414 stars)
Métricas de merge de PR
 (Mesclagem média 6d 17h) (256 fundiu PRs em 30d)

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

Guia do colaborador

Direção de pesquisa
Investigue como o IDE0200 determina quando uma expressão lambda é desnecessária. Para membros graváveis, a semântica difere porque a variável capturada pode mudar entre a criação e a invocação da lambda. A correção não deve oferecer a simplificação quando o membro capturado for gravável e puder ser reatribuído antes da lambda ser invocada. Estude a correção existente para variáveis locais (#69101) e estenda a para lidar com campos e propriedades de instância.
Pilha de tecnologia
csharp
Domain
tooling
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-2 dias
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
C#Git
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70