Wie erkennt man Verschlüsse im Code mit Roslyn?

Question

Kann ich (mit Roslyn) erkennen, dass x Bezug in der Lambda-Körper ist Schließung über äußere Variable x, nicht eine Variable lokal zu Lambda selbst?

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

Answer 1

Yup. Sie können die API DataFlowAnalysis verwenden.

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) Erhalten semantisches Modell

(2) prüfen AnonymousMethodExpressionSyntax/SimpleLambdaExpressionSyntax/ParenthesizedLambdaExpressionSyntax

(3) übergeben, die Knoten zu AnalyzeDataFlow Erweiterungsmethode für den SemanticMode l

(4) Iterieren über die .Captured Eigenschaft