c# - 我们如何轻松找到代码中的哪一行导致运行时异常？

Question

考虑以下分析器:

public void AnalyzeNode(SyntaxNode node, SemanticModel semanticModel, Action<Diagnostic> addDiagnostic, CancellationToken cancellationToken)
{
    var throwStatement = node as ThrowStatementSyntax;

    var isObjectCreationExpression = throwStatement.Expression is ObjectCreationExpressionSyntax;
    var obj = throwStatement.Expression as ObjectCreationExpressionSyntax;

    var isCorrectTypeOfExpression = (obj.Type as IdentifierNameSyntax).Identifier.Text == typeof(ArgumentException).Name;
}

以 SyntaxKind.ThrowStatement 作为兴趣种类。

obj 应该是 null 如果抛出的异常没有以 new Exception() 的形式声明，而是呈现为throw e 其中 e 是先前声明的异常。

当紧接着调用 obj.Type 时，这又将抛出一个 NullReferenceException。

有问题的例子:

static void Method1()
{
    throw new ArgumentException();
}

static void Method2(ArgumentException e)
{
    throw e;
}

第一个 throw 将很好地通过分析器，但第二个将导致 obj 为 null 因为它不是类型ObjectCreationExpressionSyntax。

在沙盒 Visual Studio 环境中，这将显示为信息消息:

The User Diagnostic Analyzer 'FormattingFixes.EmptyArgumentException.ArgumentExceptionAnalyzer' threw an exception with message 'Object reference not set to an instance of an object.'.

在这个简短的示例中，很容易看出问题出在哪里，但在一个不那么做作的示例中，将很难发现问题所在。行和列都是1，没有帮助。

在“传统”编程中，您的环境会自动向您显示运行时异常抛出的位置以及该时间点的值。我可以在我的代码中的某处放置一个随机断点，每次命中时查看所有值并尝试从那里推断它，但是一旦节点数量远高于这 2 个，这就无法很好地扩展。

我们如何轻松找到代码中的哪一行导致运行时异常？

Answer 1

所以您应该仍然可以闯入，但如果您没有做一些检查:

转到“调试”菜单下，然后选择“异常”。您会看到“已抛出”或“用户未处理”的列。使用 Find 查找 NullReferenceException，然后选中“抛出”复选框。一旦抛出 NullReferenceException，这将导致 VS 中断。如果你想变得非常激进，你可以告诉它在所有异常时中断。

如果仍然不起作用，请转到“工具”>“选项”、“调试”、“常规”下并清除“仅我的代码”。此处需要注意的是，这将打破所有 异常，包括 VS 部分甚至不是您的错的异常。 (遗憾的是，我们在很多不同的地方抛出了很多异常。)

有需要的可以私信file a bug所以我们可以让我们的消息包含堆栈跟踪和行/列，以便更容易调试。

既然我在这里:你的代码做到了

var isCorrectTypeOfExpression = (obj.Type as IdentifierNameSyntax).Identifier.Text == typeof(ArgumentException).Name;

注意语法检查——如果我写 throw new System.ArgumentException() 会发生什么？正确的方法是获取语义模型并绑定(bind) ObjectCreationExpression 以确定实际类型是什么。 (这也意味着您在别名的情况下工作，如果您关心的话。)