Come rilevare le chiusure nel codice con Roslyn?

Question

Posso rilevare (usando roslyn) che il riferimento x nel corpo lambda è la chiusura sulla variabile esterna x, non qualche variabile locale su lambda stessa?

var x = "foo"; 
var a = string[0]; 
a.Any(i => i == x); 

Answer 1

Yup. Puoi utilizzare l'API DataFlowAnalysis.

var tree = CSharpSyntaxTree.ParseText(
    @" 
class C{ 
void M(){ 
    var x = ""foo""; 
    var a = new string[0]; 
    var testing = a.Any(i => i == x); 
} 
} 
"); 
var Mscorlib = PortableExecutableReference.CreateFromAssembly(typeof(object).Assembly); 
var compilation = CSharpCompilation.Create("MyCompilation", 
    syntaxTrees: new[] { tree }, references: new[] { Mscorlib }); 
var model = compilation.GetSemanticModel(tree); 

var lambda = tree.GetRoot().DescendantNodes().OfType<LocalDeclarationStatementSyntax>().Last(); 

var dataFlowAnalysis = model.AnalyzeDataFlow(lambda); 
var capturedVariables = dataFlowAnalysis.Captured; 

foreach(var variable in capturedVariables) 
{ 
    //Do something 
} 

Answer 2

https://github.com/mjsabby/RoslynClrHeapAllocationAnalyzer/blob/master/ClrHeapAllocationsAnalyzer/DisplayClassAllocationAnalyzer.cs#L58

(1) Ottenere modello semantico

(2) Verificare la presenza di AnonymousMethodExpressionSyntax/SimpleLambdaExpressionSyntax/ParenthesizedLambdaExpressionSyntax

(3) Far passare quel nodo alla AnalyzeDataFlow metodo di estensione su SemanticMode l

(4) iterare proprietà .Captured