c++ - 通过引用传递 std::optional 是否实际上节省了复制？

Question

我知道标准不支持 std::optional<T&> 。这个问题是关于传递std::optional<T>&是否有任何性能优势
示例代码 ( https://godbolt.org/z/h56Pj6d6z ) 转载在这里

#include <ctime>
#include <iomanip>
#include <iostream>
#include <optional>

void DoStuff(std::optional<std::string> str) {
    if (str) std::cout << "cop: " << *str << std::endl;
}

void DoStuffRef(const std::optional<std::string>& str) {
    if (str) std::cout << "ref: " << *str << std::endl;
}

int main() {
    std::optional<std::string> str = {};
    DoStuff(str);
    DoStuffRef(str);
    str = "0123456789012345678901234567890123456789";
    DoStuff(str);
    DoStuffRef(str);
}

(我的实际用例对于复杂的用户定义类型是可选的，但我希望长字符串在编译器方面也能做到这一点)
在这种情况下，与 DoStuffRef 相比， DoStuff 实际上是否节省了任何复制工作？
我试着看一下 Godbolt 的输出，但我不知道足够的组装来确定。我确实看到在 DoStuff 的情况下，似乎创建了一个临时 std::optional<T> ，它不存在于 DoStuffRef 中，所以我怀疑是的，通过引用传递 optional 节省了一些复制
感谢帮助!

Answer 1

如果您通过实际 std::optional<std::string>那么是的，就没有拷贝。但如果你通过 std::string然后必须首先构造临时可选，从而生成字符串的拷贝。