c# - 如何警告由于类型转换导致的潜在算术错误？

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

好吧，经过一些尝试之后，我有一个解决方案。我用了this article来到这个解决方案。我使用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 以找到下一个违规。可能有解决办法，但我的果汁用完了，就停在这里了。

尽情享受吧!