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

Question

我正在使用C#编写一个计算模块,我碰到了这个:

double v = 4 / 100;

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

c#规则说我必须确保至少有一个成员是双重的,如下所示:

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

但是,我有很多涉及整数变量操作的初始化,我觉得懒得逐行浏览我的代码来检测这样的错误.

相反,是否有可能被编译器警告这个？

Answer 1

好吧，在玩了一段时间之后，我有一个解决方案。我使用这篇文章来解决这个问题。我使用StyleCop，因此您需要获取并安装它。然后，您可以下载我的 C# 项目MathematicsAnalyzer。

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

基本上，我检查该行是否包含“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 以找到下一个违规。可能有办法解决这个问题，但我的果汁用完了，停在这里。

享受！