预测性调试器在ReSharper 2023.2版本中的引入

2023年8月初，JetBrains在ReSharper 2023.2版本中引入了预测性调试器，这是其针对Microsoft Visual Studio的开发效率扩展工具。预测性调试器能够在不实际执行代码的情况下，预测代码执行的未来状态，并通过视觉提示帮助开发者理解代码行为。

预测性调试器的工作原理

在常规调试中，当断点触发时，开发者只能查看程序在该时间点的状态。要检查后续语句的值，开发者需要逐步执行代码并手动评估表达式。而预测性调试器则会在触发断点后，自动运行方法的剩余部分，并评估所有代码行。ReSharper会高亮表达式，并显示内联提示，以指示未来的值和状态。

功能示例

在示例中，return "Not a number"; 语句被“灰显”，表示该代码路径不会执行。result > 0 表达式被高亮为绿色，表示其评估结果为真；而 result < 0 被高亮为红色，表示其评估结果为假。蓝色的内联值显示预测值，黄色提示则表示预测结束，通常是由于返回语句或异常。

与“编辑并继续”功能的集成

预测性调试器与Visual Studio的“编辑并继续”功能集成，能够根据代码的修改实时更新高亮和提示。

实时修改变量值

开发者可以实时修改变量值，预测性调试器会立即反映这些变化。

副作用函数的处理

预测性调试器在运行时不会评估可能产生副作用的函数，以确保系统状态不发生变化。例如，开发者需要确认 int.TryParse 方法的评估。

PureAttribute的应用

为了避免手动确认评估，开发者可以使用 PureAttribute，该属性表示方法没有副作用，并且不会引起任何可观察的状态变化。预测性调试器会考虑该属性，并在无需手动确认的情况下评估纯方法。

当前限制与未来计划

在Beta版本中，注解只能应用于当前项目的源代码。JetBrains计划支持外部注解，以便将其他库中的代码标记为纯函数。此外，目前不支持异步/等待功能，因为调试器不允许多线程评估。

可用性与未来支持

预测性调试器目前处于Beta阶段，仅在ReSharper中可用，未来将支持Rider。用户可以通过ReSharper选项页面启用该功能。

其他新功能

ReSharper 2023.2版本还引入了多项新功能，包括对原始字符串字面量的增强支持、对本地函数的新检查以及对可释放对象的新检查。此外，还包含性能改进和解决常见Entity Framework问题的方案。值得一提的是，新版还引入了AI助手，这是一个AI驱动的聊天工具，能够解释代码片段、识别潜在问题，并生成代码片段和文档。

社区反响

.NET社区对预测性调试器的发布反响积极。在X（前Twitter）上，相关推文获得了超过70个赞，读者在Hacker News讨论和Reddit帖子中也留下了积极的评论。

开发者反馈

JetBrains团队呼吁开发者测试新功能，并通过JetBrains问题跟踪器报告错误或提出建议。