如何安全使用std::string_view作为unordered_map的键？

结论 #

你给出的插入代码在当前单次插入的场景下是合法且安全的，但后续使用这个unordered_map时有严格的限制，稍有不慎就会触发未定义行为。 #

为什么当前插入操作是安全的 #

插入语句的执行顺序保证了合法性：

1. 先执行std::string_view(valptr->thekey)构造键：此时valptr还没有被移动，指向的Val实例完全有效，string_view会正确指向thekey内部的字符缓冲区。
2. 再执行std::move(valptr)把Val实例的所有权转移到map的value中：移动后Val实例的生命周期完全和map里对应的unique_ptr绑定，只要Val实例不被销毁、thekey不被修改，string_view指向的内存就始终有效。

必须注意的风险点 #

后续操作如果触发以下任意一种情况，都会导致野指针、程序崩溃等未定义行为：

• 不要修改map中存储的Val实例的thekey成员：std::string修改时可能触发内部缓冲区重分配，原string_view指向的内存会直接失效。

  建议优化：把Val结构体的thekey声明为const std::string，从编译层面禁止修改thekey，从根源规避这个风险。

• 不要单独把map中存储的unique_ptr<Val>移出、或者提前销毁Val实例：如果Val实例先被释放，map中对应的string_view键就会变成悬空指针，后续遍历、查找该键时都会触发非法内存访问。
• 不要在map之外单独保存指向这个thekey的string_view：避免map元素被删除后，外部留存的string_view变成悬空指针。

额外说明 #

unordered_map本身的rehash操作不会影响安全性：rehash只会重新调整哈希桶的索引，不会修改键值对本身的内存地址，string_view指向的thekey缓冲区地址不会发生变化。 #

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