c# - 在 Roslyn 诊断分析器中检测隐式转换

Question

我想创建一个 Roslyn 诊断分析器来查找隐式转换，特别是如下构造:

DateTimeOffset v = new DateTime();

这意味着我要么必须检测隐式转换，要么找到对 DateTimeOffset.op_Implicit(DateTime) 的引用。

但问题是 Roslyn 诊断分析器在语法上工作，而不是在语义模型上工作。因此，我能想到的唯一方法是找出所有可能具有隐式转换的语法结构，并对它们进行语义分析。然而，这非常棘手，因为即使我能够创建可生成隐式强制转换的语法结构的详尽列表，对语言的更改也很容易引入新的语法结构。

我的问题是是否有替代上述方法的方法。 具体来说，是否可以编写针对语义模型运行的 Roslyn 诊断分析器？或者我是否遗漏了一些东西，是否有比我上面描述的更好的替代方案？

Answer 1

我相信你在这里是不正确的:

The problem though is that Roslyn diagnostic analyzers work on syntax, not the semantic model.

您可以注册诊断分析器来处理语法、语义模型或​​更高级别的“操作”类型。例如，Kasey Uhlenhuth 有一个 example检测零长度数组的创建。

您可以调用 AnalysisContext.RegisterSemanticModelAction 或 AnalysisContext.RegisterOperationAction。您可能希望注册操作类型为 Conversion 的操作 - 这可能会减少很多工作。