Jak wykrywać zamknięcia w kodzie z Roslyn?

Question

Czy mogę wykryć (używając roslyn), że referencja x w ciele lambda jest zamknięta w stosunku do zmiennej zewnętrznej x, a nie jakieś zmienne lokalne względem samej lambda?

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

Answer 1

Yup. Możesz użyć interfejsu 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) Get model semantyczny

(2) Sprawdź AnonymousMethodExpressionSyntax/SimpleLambdaExpressionSyntax/ParenthesizedLambdaExpressionSyntax

(3) zdać ten węzeł do AnalyzeDataFlow metoda rozszerzenia na SemanticMode l

(4) iteracyjnego właściwości .Captured