赋值返回值何时产生副本？C++代码场景疑问与分析

问题 #

1. 下方int main中有6行变量创建并初始化的代码，哪些场景下赋值操作会产生副本？
2. 对于sixthMap，使用带&的自动类型推导，但调用的函数也返回引用，是否/可能出现异常情况？

std::unordered_map<std::string, std::vector<std::string>>
createStdObject()
{
    std::unordered_map<std::string, std::vector<std::string>> newUnorderedMap
    {
        {"A", {"first", "vector", "in", "map"}}, 
        {"B", {"second", "vector", "in", "map"}}
    };

    return newUnorderedMap;
}

std::unordered_map<std::string, std::vector<std::string>>&
createStdObjectWithReference()
{
    std::unordered_map<std::string, std::vector<std::string>> newUnorderedMap
    {
        {"A", {"first", "vector", "in", "map"}}, 
        {"B", {"second", "vector", "in", "map"}}
    };

    return newUnorderedMap;
}

int main()
{
    std::unordered_map<std::string, std::vector<std::string>> firstMap = createStdObject();
    std::unordered_map<std::string, std::vector<std::string>> secondMap = createStdObjectWithReference();
    
    const auto thirdMap = createStdObject();
    const auto& fourthMap = createStdObject();

    const auto fifthMap = createStdObjectWithReference();
    const auto& sixthMap = createStdObjectWithReference();
    
}

（注：修正了原代码中模板参数缺失、括号未闭合、函数调用名笔误的语法问题，不影响核心问题讨论）

个人猜测（基于有限知识） #

• firstMap和thirdMap可能是createStdObject()返回值的副本；
• 其他场景不会产生副本，而是执行移动/交换操作；
• sixthMap的auto声明中的&会被忽略，类型和行为与fifthMap一致。

但编译时可见所有返回值无需复制，理应都执行移动赋值。

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