GCC 7.1 发布,完全支持 C++17

  • Sergio De Simone
  • Rays

2017 年 5 月 11 日

话题:开源语言 & 开发

据 GCC 的维护者 Jakub Jelinek所写,在 GNU 编译器套件集 GCC 的最新主版本(Majoir Release)GCC 7.1 中,提供了丰富的新特性,包括:对当前C++17 草案的实验性支持、更好的诊断能力以及新的优化技术。

总所周知,GCC 的稳定版(Stable Release)是从 x.1 开始编号的,而版本号 x.0 是为候选版(Release Candidate)预留的。因此,GCC 7.1 是 GCC 7 的首个稳定版。

正如前面所提到的,GCC 7.1 中的 C++ Front End 提供了对当前 C++17 草案的支持,所支持的特性包括 constexpr、类模板参数推导(template argument deduction)、自动模板参数和结构化绑定等。GCC 7.1 同时支持-std=c++1z-std=gnu++1z编译器标识。在C++ 的状态页面中,列出了 C++ Front End 中的所有新特性。正如 InfoQ在前期所报道的,ISO C++ 委员会已于近期完成了对 C++17 的定义工作,只待得到组织中各国家机构的批准。

GCC 7 还对优化器进行了改进,其中包括一些新的过程内和过程间优化,例如:

  • 循环切分(Loop splitting),编译器选项为 -fsplit-loops。在一些循环中,包含对一部分代码永真而对其余代码永假的条件,该优化选项适用于这样的循环。
  • 值范围(Value range)和按位常量传播(Constant Propagation),编译器选项分别为 -fipa-vrp 和 -fipa-bit-cp。它们分别用于在调用关系图中传播变量所属范围的知识,以及变量中值为零的比特位的位置信息。
  • 代码提升(Code hoisting),编译器选项为 -fcode-hoisting。一个函数可能存在多个尽早退出的执行路径,该选项通过在所有这些路径上对表达式求值,改进了部分冗余消除(partial redundancy elimination)过程。
  • 域外地址纠错(Out-of-scope address sanitization),编译器选项为 -fsanitize-address-use-after-scope。用于纠错在定义范围之外的地址上使用的变量。例如:
int main (int argc, char **argv) {
  char *ptr;
  {
      char my_char;
      ptr = &my_char;
  }
  *ptr = 123;  // 这里,变量 my_char 的地址无效。
  return *ptr;
}
  • 通用向量操作的算术溢出,编译器选项为 -fsanitize=signed-integer-overflow。

在诊断方面,GCC 7.1 改进了错误定位、错误定位范围、对错误拼写的标识符提出建议、选项名称和修复性(fix-it)提示,并给出了新的告警信息。

最后应注意的是,GCC 7.1 中的一些改进可导致使用以前版本正常编译的 C++ 代码出现编译不通过的问题。涉及的改进包括:更严格的模板规则、对操作符名字修饰(name mangling)转换的改进等。

GCC 7.1 的全部改进列出于更新日志中。GCC 7.1 可以从GNU FTP 服务器下载。

查看英文原文: GCC 7.1 Released With Full C++17 Support

开源语言 & 开发