为什么 g++和 clang++不能在这里避免字符串构造？

问题描述

如果我们写：

std::string foo(const bool b) {
    if (b) {
        return "Hello";
    }
    else {
        return "World";
    }
}

g++ 和 clang++ 不会调用字符串构造函数，而是就地操作返回字符串。另一方面，如果我们使用这种风格：

std::string bar(const bool b) {
    std::string ret;
    if (b) {
        ret = "Hello";
    }
    else {
        ret = "World";
    }
    return ret;
}

字符串类构造函数被调用，即使在以最大优化 (-O3) 编译时也是如此，这是一个“简单”的函数。赋值之后的下一条 C++ 指令是无条件返回。

（参见 GodBolt 上的两个示例）

这只是在 clang++ 和 g++ 中错过的优化机会，还是迫使他们调用构造函数的原因？

_{这个问题的灵感来自于this C++ Weekly episode。}

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）