C++条件式栈对象创建是否会被优化？是否为最佳实践？

首先看你定义的Test类：

class Test {
public:
    Test(int x) {
        _num = x;
    }

    Test() {
        _num = 0;
    }

private:
    int _num;
};

以及你计划使用的初始化代码：

Test test;
if (someCondition() == 23) {
    test = Test(42);
}

针对你的三个问题逐一解答：

1. 是否会产生两次构造函数调用的开销 #

从代码语义上来说，是的：

• 第一行Test test;会调用无参构造函数创建一个默认对象。
• 如果条件成立，Test(42)会调用带参构造函数创建一个临时对象，接着执行赋值操作把临时对象的值赋给test，最后临时对象被销毁（调用默认析构函数）。

所以不管条件是否触发，至少会有一次默认构造；条件触发时，额外多一次带参构造+临时对象析构的开销。

2. 编译器是否会优化这类操作 #

取决于编译器版本、编译优化等级（比如-O2/-O3）以及类的复杂度：

• 对于像Test这种简单类（只有一个int成员，构造逻辑只是赋值），编译器大概率会做深度内联优化：直接把默认构造的_num=0和条件成立时的_num=42直接写入内存，完全消除构造函数调用和临时对象的开销——这也是你在Compiler Explorer里看不到明显构造调用的原因。
• 如果编译器能在编译期确定someCondition()的结果（比如它是一个常量表达式），会直接把分支优化掉，只保留对应条件的构造逻辑。
• 但如果类的构造/析构涉及复杂操作（比如动态内存分配、文件IO），编译器无法做激进优化，两次构造的开销就会真实存在。

3. 该写法是否属于良好实践 #

不算最优的良好实践，主要问题有：

• 无条件的默认构造可能造成浪费：如果默认构造需要初始化大内存、打开资源，而条件大概率不触发，这部分开销完全没必要。
• 代码语义不够直观：先创建一个默认对象再可能覆盖，不如直接根据条件构造目标对象清晰。

推荐几种更优的替代方案：

• 条件表达式初始化：如果逻辑简单，直接用一行完成初始化，只会调用一次构造函数：

  Test test = (someCondition() == 23) ? Test(42) : Test();
  

• 分支内延迟构造：如果需要在分支外使用对象，可以用std::optional（C++17及以上）避免默认构造的开销：

  #include <optional>
  
  std::optional<Test> test;
  if (someCondition() == 23) {
      test.emplace(42);
  } else {
      test.emplace();
  }
  // 使用时直接解引用：*test
  

• 传统if-else分支构造：如果不需要在分支外复用对象，直接在各自分支里构造：

  if (someCondition() == 23) {
      Test test(42);
      // 处理test
  } else {
      Test test;
      // 处理test
  }
  

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