为什么在空的“while”循环中没有关于可能错误的空语句的警告？

Question

关于compiler warning CS0642: "Possible mistaken empty statement" 的帖子有吨，我了解它的全部内容。例如，FileStream 实例 f 没有被使用，所以这可能是一个错误：

using (var f = File.OpenRead("f.txt")) ; // Possible mistaken empty statement

然而，这个while 语句不会产生警告，即使x 没有机会变得等于或大于3。为什么？

int x = 1;
while (x < 3) ; // why no warning?

这是一个存在警告但 Timer 实例 t 实际上可以做某事的示例，即触发回调：

using (var t = new Timer((x) => Debug.Print("This"), null, 500, 500)) ; // warning

为什么不一致？

Answer 1

没有不一致。 CS0642 并不是要验证您的代码是否有意义，或者是否曾经执行过，它只是为了捕捉一些可能代表错误的句法模式。比较：

int x = 1;
while (x < 3) {}   // no warning
while (x < 3); {}  // CS0642
if (x < 3) ;       // CS0642
using (new object() as IDisposable) ;  // CS0642
using (new object() as IDisposable) {} // no warning
for (; x < 3 ;) ;  // empty statement *and* condition is always true, still no warning

使用单个; 而不是{ } 编写空循环是程序员带来的常见C 习惯用法（无论好坏）；让这些总是触发 CS0642 可能会产生太多误报。然而，using 从来都不是 C 的习惯用法，所以强制空块总是写为{ } 似乎是合理的。它肯定会捕捉到一些你可能会弄错的情况：

TextWriter x = null;
using (x) ;  // CS0642
    x.WriteLine();  // whoops, use of disposed object

诚然，这不是一种可能的模式，将单个语句包装在块中始终是一种好习惯——即使在 C 中也是如此。

顺便说一句，如果由 Eric Lippert 决定，就根本没有;，而是到处都是{ }：

空语句功能是多余的，很少需要，并且 容易出错，并且它为编译器团队创造了工作来实现 警告告诉你不要使用它。该功能可能只是 从 C# 1.0 中删除。 (Source.)

一个后续问题是为什么 C# 编译器没有明显地警告任何非平凡的条件总是 true 或 false，这是 C 编译器的一个相当常见的特性。对于始终为true 或false 的表达式，编译器有一些 警告（如CS0464，“与'type' 类型的null 比较总是产生'false'”）但不是一般的警告。这背后可能有一个设计决定，我什至可能曾经看过 Eric Lippert 的博客——或者我只是想象那个。无论如何，没有收到警告与 CS0642 无关。