《码出高效》学习笔记与书中错误记录
今天在阅读《码出高效》的时候看到了一个问题，我也是第一次知道，而且有点颠覆我的认知。所以做了一些测试，并记录下来。 然而测试的结果发现，好像事实并不如书中说的那么简单。 问题是这样的： if (true) int x; for (; ; ) int y; while (true) int z; 这三句话，能通过编译吗，如果能，会给出 Warning 吗，如果不能，那么错误信息是什么。 书中给出的答案是，不能通过编译，会给出 Declaration not allowed here 编译错误信息，并对此，书中解释为： 单语句在没有加大括号的情况下，声明的变量不可能再被使用，编译器认为没有任何意义。 Every declaration that introduces a name has a scope, in which they can be used. 我做了一些测试，发现事情好像并不是那么简单。 我一开始也是这样认为的。我本来以为，至少应该通过编译，最多是给一个 Warning 说 variable is never used。 我比较好奇，除了 Java，其他语言会不会有同样的编译错误。 首先是是测试 C、C++、Java 是不是都对这句话有相同的结果。 先来看 C，测试环境是 CentOS 7.3 x64，GCC 版本是 gcc version 4.8.5 20150623 (Red Hat 4.8.5-28) (GCC)。 C，不管是 ANSI C 还是 C99，都无法通过编译，直接给出 Error。 error: expected expression before ‘int’ 如果加上大括号，那么能够通过编译，遇到大家常见的 Warning。 warning: unused variable ‘x’ [-Wunused-variable] 同样的结果在环境中（我测试环境是 CodeBlocks，Windows）得到了相同的结果。 我相信，CLion 等 IDE 也有一样的结果，如果没有，那么可能是 IDE 帮忙优化了，毕竟有些时候，写 C 代码漏 include 一些头文件，编译和运行的结果也是正确的（IDE 帮你自动补上了）。 原因稍后分析，下面继续测试。 C++。 结果是，编译通过，给出 Warning。 事实上与代码无关，即使是对刚才的 .c 文件，只要使用 g++ 编译器，也是通过的。 再来看 Java。 public class Main { public static void main(String args[]) { if (true) int jxtxzzw; } } 如果是 Eclipse，直接给出错误。 强行运行，编译失败，无法运行。 Unresolved compilation problem: Syntax error on token “)”, Statement expected after this token at … 如果是 IDEA，会给出编译错误信息。 Declaration not allowed here 至于为什么 C 就不行呢？难道 C 的语法什么地方说了这是不合法的吗？闻所未闻啊？ 但是既然 C 的编译器说不行，那肯定是 C 的哪个标准说了这是不合法的，如果这是真的，那么就不是作用域的问题，而是语法、文法的问题。 换句话说，如果 if (true) {int x;} 是合法的，那为什么 if (true) int x; 就不符合语法呢？ 我查阅了很多资料（链接见文末），最后找到一个比较信服的答案——确实，根据 C 标准，这就是错的，彻底的语法错误。 首先来澄清一个概念，if 条件句后面，必须跟一个语句。 int x 是一个声明，Declaration。 int x = 10; 是一个定义，Definition。 {int x;} 或者 {int x = 10;} 由于有了 {}，是一条语句，Statement。 这是 3 个完全不同的概念，也是绝大多数程序员从一开始就分不清的，而且也始终分不清，从来分不清。 所以，现在的问题的答案就很显然了，C 要求 if 后面是一条语句，然而文章一开始那种写法，是 Declaration，不是 Statement，所以语法就是错的。 这也印证了那句 Error：expected expression，我需要一个表达式。 表达式 Expression，显然是一句语句 Statement。 同时，这与 Eclipse 的报错信息是一致的——if 后面需要一个 Statement。( Statement expected after this token at … ) 如果从这个角度考虑，那么，IDEA 的错误提示，Declaration not allowed 就不应该从变量作用域的角度考虑这里的变量声明不合法，而是应该理解成，这是一个 Declaration，而我需要一个 Statement，所以 Declaration 在这里是不被允许的。 这是一个 Declaration，而我需要一个 Statement，所以 Declaration 在这里是不被允许的 至于为什么 g++ 就可以，我想这个问题，可能和 为什么有些 IDE 这么写就可以通过编译，我猜想的是（是的，只是猜想，没有验证过），恐怕是这个编译器，包括绝大多数的 IDE，都自动优化了这个地方，把所有的 if 等语句后面，默认当作套上了大括号在处理，即使是单语句，也假装有了一个大括号作用域，然后再编译的。 所以，有些 gcc 的编译器，也有可能可以，但是从我的测试情况来看，MinGW、Cygwin、Windows、Window 的 Ubuntu 子系统、CentOS 下，gcc 都会给出 error。 I guess the counter-intuitive part of the question is: if this is correct C:if (a == 1) { int b = 10;}then why is this not also correct C?if (a == 1) int b = 10;I mean, a one-line conditional if statement should be fine either with or without braces, right?The answer lies in the grammar of the if statement, as defined by the C standard. The relevant parts of the grammar I’ve quoted below. > Succinctly: the int b = 10 line is a declaration, not a statement, and the grammar for the if statement requires a statement after the conditional that it’s testing. But if you enclose the declaration in braces, it becomes a statement and everything’s well.见： http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf 以及 https://www.quora.com/What-does-error-expected-expression-before-int-mean-in-C
