C++20代码在-O3优化下崩溃，是否因函数参数求值顺序导致？

你的猜想完全正确，这种优化完全符合C++标准，编译器的行为是合法的，具体原因如下：

1. 核心原因：复制消除+未指定的参数求值顺序 #

你的原始代码中，局部变量id仅用于传递给do_something的第一个参数，在-O3的激进优化下，编译器会触发复制消除（Copy Elision）——直接将std::format(L"foo_{0}", data)的计算结果作为do_something的第一个参数传递，省略id的中间存储。

优化后逻辑等价于：

do_something(std::format(L"foo_{0}", data), std::move(data));

根据C++标准，函数参数的求值顺序是未指定的——编译器可以选择先计算第二个参数std::move(data)，再计算第一个参数std::format。一旦std::move(data)执行，原data会进入「有效但未指定的状态」，此时std::format读取data的内容属于未定义行为，直接导致程序崩溃或异常输出。

2. 为什么-O2下正常？ #

不同优化等级的策略不同：-O2的优化强度较低，编译器可能没有触发这个复制消除，因此id的初始化（即std::format的执行）会在do_something的参数求值前完成，确保data在被移动前已经被正确读取。

3. 解决方法 #

要避免这个问题，必须强制std::format的执行在std::move(data)之前完成，以下是几种可靠方案：

方案一：显式确保序列点 #

通过插入无副作用的操作强制序列点，阻止编译器重排求值顺序：

for (std::wstring& data : datas)
{
    auto id = std::format(L"foo_{0}", data);
    // 插入序列点，确保id已完全初始化
    [[maybe_unused]] const auto& dummy = id;
    do_something(id, std::move(data));
}

方案二：先复制再移动 #

最直观的方式，先复制data用于格式化，再移动原对象：

for (std::wstring& data : datas)
{
    std::wstring data_copy = data;
    auto id = std::format(L"foo_{0}", data_copy);
    do_something(id, std::move(data));
}

方案三：调整函数参数顺序（若允许修改签名） #

将移动参数放在第一个位置，确保id的初始化先于移动操作：

// 修改do_something签名
void do_something(std::wstring, const std::wstring&);

// 调用时交换参数顺序
for (std::wstring& data : datas)
{
    auto id = std::format(L"foo_{0}", data);
    do_something(std::move(data), id);
}

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