据 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 服务器下载。
评论