std :: unordered_set中的std :: string_view和std :: string

我没有一个很好的解决方案，但一个可能的解决方法用最少的自定义代码，以提高内存的使用费用，将取代你std::unordered_set<std::string>与一个std::unordered_map有观点的钥匙，和字符串值（背视图）。

不幸的是，由于进行了小的字符串优化，我们不能依靠std::move保留基础string数据的原始地址，因此类似：

std::string to_insert(...);
mymap.try_emplace(to_insert, std::move(to_insert));

无法正常工作。

相反，它必须是a，std::unordered_map<std::string_view, std::unique_ptr<std::string>>这样我们才能保留字符串字符的唯一地址，使代码更像：

auto to_insert = std::make_unique<std::string>(...);
mymap.try_emplace(*to_insert, std::move(to_insert));

尽管插入有点麻烦，但是简单的成员资格测试将保持简单，因为std::string 定义了一个隐式operator std::string_view，并且std::string_view具有的隐式构造函数char*，所以成员资格测试仍然很简单：

if (mymap.count(some_string)) { ... }

是否some_string是一个char*，std::string_view或std::string。

注意：我不会发誓基于两行try_emplace代码的插入代码是合法的，因为我在C ++上有些实践，并且对于unique_ptr在move从中使用相同的表达式中使用a持谨慎态度；在g++7.2上似乎有效，我认为try_emplace立即构造关键参数，而转发构造值的参数这一事实很安全，但我会承认我对C ++评估顺序的理解（或缺乏理解） ）并不完美。如果我在做非法的事情，而不仅仅是丑陋的话，那么修复它将需要稍微丑陋（但肯定是有序的）：

auto to_insert = std::make_unique<std::string>(...);
std::string_view key{*to_insert};
mymap.try_emplace(std::move(key), std::move(to_insert));

附加说明：只有在emplace/ emplace_hint/try_emplace功能，可以安全地用于更新条目mymap中这样的设计。如果在构建地图时两次遇到相同的键，则使用mymap[key] = std::move(to_insert);或insert_or_assign中断，因为将保留原始键string_view（引用原始string数据），同时将值替换为new string，从而使string_view的指针无效。虽然insert不替换值，但我相信使用它将需要更像具有3衬线的设计try_emplace，因为std::pair如果您尝试同时构造视图和构造的unique_ptr一部分，则使插入插入的顺序将是无序的pair。