"unused"对象可以优化吗？

Can an "unused" object be optimized away?

本文关键字：优化 unused 对象      更新时间：2023-10-16

在这样的代码中：

void foo() {
  SomeObject obj;
}

有人可能会说obj是"未使用的"，因此可以优化掉，就像未使用的本地int一样。不过，这对我来说似乎是个错误，因为与int不同，SomeObject构造函数可能会有重要的副作用。所以，我想知道，该语言是否明确要求不优化这些局部变量？或者程序员必须采取预防措施来防止这种优化？

如果编译器有SomeObject::SomeObject()构造函数和SomeObject析构函数的定义可用（即，如果它们是内联定义的），并且可以看到没有副作用，那么是的，这是可以优化的（前提是你对obj不做任何其他需要完全构建的事情。）

否则，如果构造函数是在另一个翻译单元中定义的，那么编译器就不知道是否有副作用，所以会进行调用（如果不是内联的话，还会调用析构函数）。

一般来说，编译器可以自由地执行任何不会改变程序语义的优化。在这种情况下，删除一个构造函数和析构函数不涉及任何其他代码的未使用的局部变量不会改变程序的含义，因此这样做是完全安全的

首先，让我们更正示例：

void foo() {
  SomeObject obj; // not obj()
}

其次，"好像"规则适用于优化器。因此，它可能会优化整个对象，但是，构造函数/析构函数的所有副作用，包括基类，都必须显示出来。这意味着您最终可能不使用额外的内存（只要您不使用obj的地址），但构造函数/析构函数仍将运行。

是。现代编译器非常擅长删除死代码（假设您在构建时启用了优化）。这包括未使用的对象——如果构造函数和析构函数没有副作用，并且编译器可以看到（如中所示；它没有隐藏在库中）。

相关文章：