为什么C编译器在行之后给出错误,而不是在它们之上？

更实际的答案是“编译器作者已经继承了不重视错误消息的遗留代码库”,结合轻度剂量的“编译器作者懒惰”,其中“诊断报告不是一个令人兴奋的问题”.大多数编译器编写者将添加一种新的语言特性或3％的代码性能改进,而不是对代码库进行重大重构以允许体面的错误报告.关于“为什么没有将错误正确定位到导致”他们“的行的具体问题就是这样的一个实例.编译器一般不会出现这样的一个技术原因：不见了
,然后告诉你最后一个源的跨度;缺乏声明 – 即使在C的一般空格不变性的存在下.只是存储这些信息(在很大程度上)在历史上被忽略.

也就是说,几十年的旧代码没有阻碍的新编译器做得更好.看看Clang compiler,它对自己的合理错误信息感到自豪. page on diagnostics显示出比GCC好多了.这种情况的一个例子是：

$gcc-4.2 t.c
  t.c: In function 'foo':
  t.c:5: error: expected ';' before '}' token
  $clang t.c
  t.c:4:8: error: expected ';' after expression
    bar()
         ^
         ;

或者更令人印象深刻：

$cat t.cc
  template<class T>
  class a {}
  class temp {};
  a<temp> b;
  struct b {
  }
  $gcc-4.2 t.cc
  t.cc:3: error: multiple types in one declaration
  t.cc:4: error: non-template type 'a' used as a template
  t.cc:4: error: invalid type in declaration before ';' token
  t.cc:6: error: expected unqualified-id at end of input
  $clang t.cc
  t.cc:2:11: error: expected ';' after class
  class a {}
            ^
            ;
  t.cc:6:2: error: expected ';' after struct
  }
   ^
   ;

看,甚至告诉我们什么键入哪里可以解决问题！ < / clang_salespitch>