我们怎样才能轻松地找到代码中哪一行导致了运行时异常呢？

考虑以下分析器：

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;
}

With SyntaxKind.ThrowStatement作为兴趣类型。

obj应该null如果抛出的异常尚未在表单中声明new Exception()但更确切地说是呈现为throw e where e是先前声明的异常。

这反过来会抛出一个NullReferenceException when obj.Type之后立即调用。

有问题的示例：

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

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

首先throw会很好地通过分析仪，但第二个会导致obj to be null因为它不是类型ObjectCreationExpressionSyntax.

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

用户诊断分析器“FormattingFixes.EmptyArgumentException.ArgumentExceptionAnalyzer”引发异常，并显示消息“对象引用未设置到对象的实例。”。

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

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

我们怎样才能轻松地找到代码中哪一行导致了运行时异常呢？

所以你应该仍然可以闯入，但如果你没有检查一些事情：

转到“调试”菜单下，然后选择“异常”。您将看到“已抛出”或“用户未处理”列。使用 Find 查找 NullReferenceException，然后选中“抛出”复选框。一旦抛出 NullReferenceException，这将导致 VS 中断。如果你想真正具有侵略性，你可以告诉它在所有异常情况下中断。

如果仍然不起作用，请转到“工具”>“选项”、“调试”、“常规”并清除“仅我的代码”。这里需要注意的是这将会继续all例外情况，包括 VS 中那些甚至不是你的错的部分。 （遗憾的是，我们在很多不同的地方抛出了很多异常。）

如果您愿意，请随时提交错误 http://roslyn.codeplex.com/因此我们可以使消息包含堆栈跟踪和行/列，以便更容易调试。

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

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

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