为何GCC下create2未触发Copy elision反而调用move constructor？

核心原因是NRVO（具名返回值优化）属于C++标准非强制优化，不同编译器的实现策略存在差异 #

我们先明确C++复制消除的两类规则：

• 强制复制消除：C++17标准强制要求，当返回值是无主临时对象（纯右值）时，必须直接将对象构造在调用方的内存地址上，跳过拷贝/移动构造。你测试用的create3返回的是Person{}临时对象，属于强制消除场景，所以所有符合标准的编译器都不会触发移动构造。
• 可选复制消除（即NRVO）：当函数返回函数内部定义的具名栈变量时，编译器可以选择优化掉拷贝/移动构造，但标准没有强制要求必须实现，不同编译器的触发条件差异很大。

接下来对应你的三个函数分别分析：

1. create1函数全路径只有一个唯一的具名返回对象p1，属于最简单的NRVO场景，GCC和Clang都默认支持优化，所以不会调用移动构造。
2. create2虽然用if constexpr编译期确定只会走第一个分支返回p1，但GCC 12的NRVO判定逻辑比较保守：它在做NRVO可行性判断时，还未完成if constexpr的分支裁剪，识别到函数存在两个不同的具名返回变量p1和p2，直接判定不符合NRVO触发条件，不会做优化。此时按照C++规则，返回局部具名变量时会优先匹配移动构造函数，所以你会看到move输出。
3. Clang 13的NRVO判定是在if constexpr分支裁剪完成之后执行的，此时只会识别到一个有效的具名返回对象p1，所以可以正常触发NRVO，消除移动构造调用。如果你给GCC开启更高优化等级（比如-O2），它也会在完成分支裁剪后重新判定，最终也会触发NRVO消除移动构造。

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