Question

我想让分析器检测所有对setter属性的调用，而不是在实现特定接口的对象的对象初始值设定项中。我有点迷失了如何检测，文档有点薄。我可以得到一个调用表达式，但是如何检查它是否在对象初始值设定项中？

有什么想法吗？

Answer 1

要知道对象初始值设定项中是否有任何特定代码，您只需查找类型为InitializerExpressionSyntax的任何节点的祖先。

var initializer = node.Ancestors().OfType<InitializerExpressionSyntax>.FirstOrDefault();

要知道任何特定代码是否是属性设置器的赋值，您将需要做更多的工作。您需要向SemanticModel询问为AssignmentExpressionSyntax分配的符号。您的分析器应该可以从其参数/上下文访问正确的SemanticModel和SyntaxTree。

SemanticModel model = ...;
AssignmentExpressionSyntax assignment = ...; // find the assignment
var symbol = model.GetSymbolInfo(assignment).Symbol as IMethodSymbol;
if (symbol?.MethodKind == MethodKind.PropertySet) { ... }

要知道对象是否实现了特定的接口，您需要找到该对象的符号。您可以通过查找属性setter符号的包含符号链来找到它。您还可以通过查找应该是您已有的ObjectCreationExpressionSyntax的父级或祖先的InitializerExpressionSyntax来查找该对象的符号。

拥有该创建节点后，您可以再次询问SemanticModel。使用GetTypeInfo方法获取表达式的类型（正在构造的类型/符号），而不是构造函数的符号。

var creation = initializer.Ancestors().OfType<ObjectCreationSyntax>().FirstOrDefault();
var createdType = model.GetTypeInfo(creation).Type as INamedTypeSymbol;

现在，您只需要知道类型是否实现了接口。

首先，您需要一个符号作为接口类型。一种快速的方法是使用其CLR元数据名称查找它。

var interfaceType = model.Compilation.GetTypeByMetadataName("MyNamspace.MyInterfaceType");

这部分通常在分析仪初始化时完成一次，因此您不必一遍又一遍地查找它。

现在，如果正在构造的类型实现了接口，那么您将拥有发现所需的一切。

if (createdType.AllInterfaces.Contains(interfaceType)) { ... }

Roslyn Analyzer对象初始值设定项

1 个答案: