返回std::vector元素引用致崩溃？代码正确性及容器有效性咨询

以下示例代码在MSVC Compiler Version 19.32.31332下无输出，在GCC下输出"def"；实际项目中类似代码在该版本MSVC下崩溃。请问这段代码是否正确？调用find2(v)后，容器v是否仍有效？

#include <string>
#include <vector>
#include <set>
#include <ranges>
#include <iostream>

template <class R, class Value>
concept range_over = std::ranges::range<R> &&
std::same_as<std::ranges::range_value_t<R>, Value>;

const std::string& find1(const std::vector<std::string>& v)
{
    return v[1];
}

template <range_over<std::string> Range>
std::reference_wrapper<std::string> find2(Range range)
{
    return *(range.begin() + 1);
}

int main()
{
    std::vector<std::string> v = { "abc", "def", "ghi" };

    //find1 always prints "def"
    //std::cout << find1(v);

    std::cout << find2(v).get() << std::endl;

    return 0;
}

代码正确性判断 #

这段代码存在未定义行为，不正确。核心问题出在find2的参数传递逻辑：

• 调用find2(v)时，模板参数Range被推导为std::vector<std::string>，而函数参数是按值传递的Range range，这会生成一个原始vector的局部副本。
• find2返回的reference_wrapper绑定的是这个局部副本里的第二个元素，当函数执行完毕，局部副本会被销毁，此时返回的引用包装就变成了悬空引用。后续访问.get()属于访问已销毁对象，触发未定义行为——这也是MSVC下无输出/崩溃、GCC下看似正常的原因（未定义行为的表现是不确定的）。

原始容器v的有效性 #

调用find2(v)后，原始容器v完全有效。find2只是创建了它的副本，原始容器没有被修改、移动或销毁，后续依然可以正常使用。

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