C#中含多变量初始化的for循环语法是否合法？

问题场景 #

我有一段源自Bcrypt算法的代码，其中for循环的写法如下：

for (int offset = 0, c1, c2; offset < length; )
{
  ...
}

注意初始化区段里的c1和c2变量——它们仅被声明但未初始化。我在微软官方文档中找不到这种语法的相关说明，且这段代码在Visual Studio 17.12.4中可正常编译，但升级到17.13.2版本后，编译报错：

';' expected

我注意到Bcrypt官方已将这段代码重构为while循环，但由于涉及核心网站认证逻辑，不愿贸然进行重构，因此有两个疑问：

1. 这种多变量初始化的for循环语法是否符合C#规范？
2. 新版本的编译报错是Visual Studio的Bug吗？

解答 #

1. 语法合法性分析 #

根据C#官方规范，for循环的初始化区段允许声明多个同类型变量，语法规则为：同一类型的多个变量可以在同一条声明语句中，部分变量初始化、部分仅声明。int offset = 0, c1, c2;本身是合法的局部变量声明——offset被赋值初始化，c1和c2仅声明（局部变量在使用前赋值即可，声明本身无语法错误）。

但问题在于，旧版本的Roslyn编译器（Visual Studio背后的C#编译器）可能对语法进行了宽松处理，接受了存在歧义的写法；而新版本编译器严格执行了规范的细节，导致原本能编译的代码触发报错。

2. 是否为Visual Studio Bug？ #

这不是Visual Studio的Bug，而是编译器对语法规范的执行变得更严格了。旧版本编译器的宽松解析属于兼容性漏洞，新版本修复了这个问题，严格遵循C#语法规则。Bcrypt官方的重构动作也侧面验证了这一点——他们大概率是遇到了相同的编译问题，才选择将代码改为while循环以规避语法歧义。

无需大规模重构的临时修复方案 #

如果暂时不想重构为while循环，可以通过以下两种方式修改代码，使其在新版本编译器中正常编译：

• 方案1：将变量声明移出for循环（推荐，代码可读性更高）

int offset = 0;
int c1, c2;
for (; offset < length; )
{
  // 原有逻辑
}

• 方案2：为未初始化变量显式赋值

for (int offset = 0, c1 = default, c2 = default; offset < length; )
{
  // 原有逻辑
}

内容的提问来源于stack exchange，提问作者JKennedy