c++ - c++ 编译器优化可以在作用域结束之前清除未使用的数据结构吗？

Question

考虑以下代码:

#include <set>
template <int n>
std::set<int> utility_function(std::set<int> const & input){
    // ...
}

void f(std::set<int> && set1){
    std::set<int> set2 = utility_function<1>(set1);
    // set1.clear();
    std::set<int> set3 = utility_function<2>(set2);
    // set2.clear();
    std::set<int> set4 = utility_function<3>(set3);
    // set3.clear();

    // ... use set4, without refering to set1, set2, set3
}

我知道这可能被认为是不好的做法，并且有更好的方法来编写这段代码，但假设这是一个 WIP，我只是想在浪费时间重构之前让它工作:

编译器理论上是否可以清除未使用的数据结构 set1 , set2 , set3正如评论中所建议的(或者只是释放底层内存)？

编译器真的会这样做吗？

Answer 1

在 as-if 规则下，如果编译器可以推断出删除它们不会改变程序的语义，那么理论上编译器可以删除未使用的数据结构。为此，编译器必须证明 utility_function不要将任何集合作为内部状态的一部分。它还必须证明重新排序构造和破坏不会产生明显的影响。

编译器是否会提前删除数据取决于所涉及的函数，即 f , utility_function ，以及 set 的构造函数和析构函数.

作为对仅含蓄陈述的问题的回答，我强烈建议不要依赖特定的优化来确保程序的正确性。如果您需要清除数据集的集合以适合内存，则应明确执行此操作。