NRVO for C++ std::string

Question

我尝试查找有关 std::string 命名返回值优化 (NVRO) 的一些信息。 我什至不确定这是否适用，但我想知道从可读性和性能 POV 来看哪个会更好。

std::string first(const bool condition)
{
    std::string info = "This";
    info += condition 
        ? " is" 
        : " irrelevant";  //.append()

    info += " info.";

    return info; // nrvo here?
}

std::string second(const bool condition)
{
    const auto firstPart = "First part";
    const auto anotherPart = condition 
        ? " second part" 
        : " irrelevant ";  //.append()

    return std::string{}.append(firstPart).append(anotherPart);
}

std::string third(const bool condition)
{
    //would avoid due to poor readability if strings are long
    return std::string{}
        .append("First part")
        .append(condition ? " second" : "irrelevant");
}

int main()
{
    // printf("Hello World");
    const auto irrelevant {true};

    std::cout<<first(irrelevant)<<std::endl;
    std::cout<<second(irrelevant)<<std::endl;
    std::cout<<third(irrelevant)<<std::endl;

    return 0;
}

在 cmets 中：

1. nvro 会在“frist”中执行吗？

2. 有没有更好（更清洁/性能）的方法来解决这个问题？

我的目的是创建一个辅助函数，它将根据给定的参数连接正确的字符串

Answer 1

1. 在 C++11 和 14 中，copy elision 在这种情况下是允许的。从 C++17 开始，返回值优化是强制性的（不再被视为复制省略）。

2. 不是我可以通过查看三个候选函数@godbolt 看到的，但我不会做太多的汇编程序。不过，这可能看起来更干净一些：

    std::string fourth(const bool condition) {
        return std::string{"First part "} += (condition ? "second" : "irrelevant");
    }

Answer 2

@Ted_Lyngmo 已回答您的第一个问题

如果您真的关心性能（并且测量证明此功能是您的热点）std::string 在这种情况下有点太重了。它不允许所有编译时优化，例如constexpr

我建议使用std::string_view

#include <string_view>

constexpr std::string_view print(const bool condition) {
    if (condition){
        return "This is relevant info";
    } else {
        return "This is irrelevant info";
    }
}

int main() {
    std::string_view info = print(false);
    return info.size();
}

这个program 将被完全优化为

main:
        mov     eax, 23
        ret

如果你使用print(true)，它会变成

main:
        mov     eax, 21
        ret

因此，如果您以后再使用该句子，编译器将对其进行最佳优化。

注意：如果您有 C++17 编译器，则只能使用 string_view。