如何警告类型转换导致的潜在算术错误？

Posted 2023-02-14

【中文标题】如何警告类型转换导致的潜在算术错误？

【英文标题】：How to be warned about potential arithmetic errors due to type conversion?

【发布时间】：2012-11-30 04:43:11

【问题描述】：

我正在使用 C# 开发一个计算模块，但遇到了这个问题：

double v = 4 / 100;

我知道这是一个错误的初始化，它返回 v = 0.0 而不是 v = 0.04

c# 规则说我必须确保至少有一个成员是双重的，像这样：

double v = (double) 4 / 100;
double v = 4.0 / 100;

但是，我有很多很多涉及整数变量操作的初始化，我懒得逐行浏览我的代码以检测此类错误。

相反，编译器是否有可能对此发出警告？

【问题讨论】：

这取决于您使用的编译器。错误消息和警告不是该语言的内置功能，而是编译器添加的内容。如果您使用的编译器不支持它，那么不，这是不可能的。

有一个uservoice ticket要求这个功能。

我使用的是 .NET 4.0 和 Visual Studio 2010 提供的 C# 编译器。

【参考方案1】：

本文介绍了如何设置自定义代码分析规则，当您运行代码分析时，这些规则可以显示警告和不显示的内容。

http://blog.tatham.oddie.com.au/2010/01/06/custom-code-analysis-rules-in-vs2010-and-how-to-make-them-run-in-fxcop-and-vs2008-too/

【讨论】：

非常感谢您提供这些信息。不幸的是，要实现一个自定义规则来解析我的类型转换不匹配的代码并不容易。

我完全理解。我想过这一点，但这是我在研究中能找到的唯一方法。

【参考方案2】：

好吧，在玩了一些之后，我有一个解决方案。我使用this article 来解决这个问题。我使用StyleCop，所以你需要获取并安装它。然后，你可以下载我的C#项目MathematicsAnalyzer。

首先，我没有考虑所有类型转换不匹配的问题。事实上，我只容纳一部分。

基本上，我检查该行是否包含“double”后跟一个空格。我知道这可能会导致错误的警告，因为类的结尾可能是 double 或任何其他的东西，但我会留给你弄清楚如何正确隔离类型。

如果找到匹配项，我会检查它是否匹配此正则表达式：

double[ ][A-Za-z0-9]*[ ]?=(([ ]?[0-9]*d[ ]?/[ ]?[0-9]*;)|[ ]?[0-9]*[ ]?/[ ]?[0-9]*d;)

如果它不匹配这个正则表达式，那么我添加一个违规。此正则表达式将匹配以下任何内容：

双倍 i=4d / 100; 双倍 i = 4d / 100; 双倍 i = 4 / 100d; 双倍 i = 4/ 100d; 双倍 i = 4 /100d; 双倍 i = 4/100d; 双倍 i=4d / 100; 双倍 i=4 / 100d; 双倍 i=4/100d;

以上任何一项都不会造成违规。正如目前所写的那样，几乎如果不使用“d”，它将引发违规。您需要添加额外的逻辑来说明显式转换操作数的其他可能方式。在我写这篇文章时，我刚刚意识到在两个操作数上都有一个 'd' 很可能会引发异常。哎呀。

最后，我无法让 StyleCop 正确显示我的违规行为。它一直给我一个关于规则不存在的错误，即使有第二双眼睛盯着它，我们也找不到解决方案，所以我破解了它。该错误显示了您尝试查找的规则的名称，因此我只是将规则的名称作为描述性的名称并在其中包含行号。

要安装自定义规则，请构建 MathematicalAnalyzer 项目。关闭 Visual Studio 并将 DLL 复制到 StyleCop 安装目录中。当您打开 Visual Studio 时，您应该会在 StyleCop 设置中看到该规则。我使用的文章的第 5 步和第 6 步显示了在哪里执行此操作。

在整个解决方案中一次只会出现一次违规，因此您必须修复它显示的违规，然后再次运行 StyleCop 以查找下一个违规。可能有办法解决这个问题，但我的果汁用完了，就停在这里了。

享受吧！

【讨论】：

非常感谢。它并不完美，但它有很大帮助。