C++中如何让if条件内的临时对象在代码块结束后析构？

问题背景 #

我有一个重载了bool运算符的Table类：

class Table {
public:
  Table(const char *id) { mOpen = true; std::cout << "Opened\n"; }
  ~Table() {
    if (mOpen) {
      std::cout << "Closed\n";
    }
  }

  inline operator bool() const { return mOpen; }

private:
  bool mOpen = false;
};

使用不同写法时，对象析构时机存在差异：

• 采用if (auto table = Table("TestTable"))写法时，对象会在代码块结束后析构，执行顺序为：Opened→Inside the table→Closed，符合预期。
• 直接使用if (Table("TestTable"))时，临时对象会在条件判断完成后立即析构，执行顺序变为：Opened→Closed→Inside the table，不符合预期。

目前我通过if (auto _ = Table("TestTable"))的方式解决，但想知道C++中是否存在无需赋值，就能让临时对象在if代码块结束后再析构的方法？

解决方案 #

在C++17及以后的标准中，支持if语句的初始化子句扩展用法，你可以直接在if的条件部分声明对象，无需额外赋值给临时变量，写法如下：

if (Table table("TestTable"); table) {
    // 代码块逻辑，输出"Inside the table"
}

这种写法下，table对象的生命周期会延续到整个if代码块结束，析构时机和auto table = ...的写法完全一致，执行顺序符合预期。

如果需要兼容C17之前的标准（如C11/C++14），则只能继续使用auto _ = ...的方式，因为旧标准不支持if的初始化子句语法。

内容的提问来源于stack exchange，提问作者Gasim