VS2015新加入的编译选项/Zc:throwingNew

[原文发表地址] New in VS 2015: /Zc:throwingNew

[原文发表时间] 2015/08/06 7:05AM

C++标准定义了操作符new分配内存失败时不会返回null值， 只会抛出异常. 在近期发布的VS产品的VC++编译器中的操作符new分配内存失败后也是同标准定义一样抛出异。

但是，编译器的这种行为并不是一直是这样的，追溯到VS6.0, 编译器在new操作内存分配失败时却只会返回null值。 操作失败抛出异常标准的行为直到VS2002才开始沿用， 但是较老版本操作失败返回null值的行为仍然保留，可以通过提供的nothrownew.obj机制达到这一目的。

这对现在的编译器有什么影响？从VS2002起， 编译器防止潜在的操作符new会返回空值的情况， 因此，如果你在VS2013写出了下面的代码:

void foo() {
A* a = new A();
// ...
}

理论上编译器会生成这样的代码:

void foo() {
A* a = malloc(sizeof(A));
if (a) {
new(a) A();
}
// ...
}

也就是说，这里会检查分配内存操作返回null值的情况， 反之， 会在已经分配的内存上进行运行构造操作。

null值检查的缺陷之处是， 它们膨胀了代码量，同时也抑制了一些有用的编译器优化行为，（如：虚拟化，使用常量传播对象替代通用初始化对象). 编译器会花费很多精力去生成这些不必要的代码段来尽力支持使用nothrownew.obj机制或者客户定制的new操作行为。

VS2015中， 我很欣慰的说我们针对这个问题的纠正已经迈出了第一步， 使用/Zc:throwingNew. 当你在编译命令行指定了/Zc:throwingNew开关时， 它会通知编译器假定程序将会链接到一个标准的操作符new行为，这个标准行为将会忽略检查null值带来的额外开销。

最好的是， 与链接选项LTCG一起编译时， 编译器会检测是否使用默认的操作符new实现方法，即使不适用/Zc:throwingNew开关，也会自动忽略检查null值。

/Zc:throwingNew 可能会成为未来编译器的默认行为， 目前我还是推荐大家指定/Zc:throwingNew开关(尤其是不使用LTCG链接开关的情况)，如果你使用默认操作符new行为， 你只需与用户的分配操作行为保持一致。 指定/Zc:throwingNew开关可以通过点击项目中的属性页面，从配置下拉框中选择所有配置，打开配置属性页面，C/C++， 命令行(Command line)，在附加编译选项中添加/Zc:throwingNew， 点击Ok。