请确认我实现的字符串驻留（string interner）逻辑是否安全合理
我自己写了一段用于字符串驻留、并操作其&'static引用的代码，我感觉逻辑是安全的，但还是想请各位大佬帮忙确认一下。
我的核心思路是这样的：
- 用于存储的
HashSet是静态分配的，不会导致其中的String值本身发生重新分配（虽然HashSet的内部存储结构可能会扩容重分配，但存储的String实例本身不会被移动或重新分配）。 - 所有向集合中插入字符串的操作都由
Mutex做了线程安全保护。 - （注：原提问内容此处未完成，推测可能是想补充关于
&'static引用有效性的其他依据）
作为经常处理这类内存安全问题的开发者，我来帮你分析下这个实现的安全性：
首先得说你的思路大方向是对的，但有几个关键细节需要严格把控，不然容易踩坑：
String内存稳定性的验证：你提到的HashSet扩容不会影响String本身地址，这一点是正确的。因为String的字符数据存在堆上，HashSet里存的只是指向堆数据的指针和长度、容量这些元数据。就算HashSet内部扩容重新排列元素，String实例的移动不会改变堆上字符数据的地址，这是&'static引用能生效的基础。Mutex的保护范围要全覆盖：用Mutex保护插入操作是必须的，但要注意所有对这个静态HashSet的访问——包括查询、甚至只是读取元素——都必须通过Mutex同步。HashSet本身不是线程安全的，哪怕是并发读取，也可能因为内部结构的并发修改（比如别的线程在插入扩容）导致你拿到无效的引用或者数据结构损坏。&'static引用的生命周期必须绝对保证：一旦字符串被插入到这个静态HashSet里，就绝对不能被移除、销毁或者修改。&'static引用要求指向的数据必须存活到程序结束，要是有删除逻辑，那之前返回的&'static引用就会变成悬垂引用，直接触发未定义行为；另外，要是你修改了String的内容（比如push_str），可能会导致堆上数据重新分配，同样会让&'static引用失效。内存占用的潜在问题：这种静态驻留的方式会让所有插入的字符串一直占着内存直到程序退出，如果你的场景里会插入大量临时字符串，可能会导致内存占用过高，这一点得结合你的实际使用场景评估是否能接受。
如果你的代码能严格遵守以上几点：所有访问都通过Mutex保护、字符串一旦插入就永不删除或修改，那这个实现应该是安全的。要是能贴出完整的代码片段，还能帮你更精准地排查潜在问题哦~
备注：内容来源于stack exchange，提问作者ereOn
