std::map 键类型的严格弱排序概念

【问题标题】：Strict weak ordering concept for std::map's key typestd::map 键类型的严格弱排序概念
【发布时间】：2020-05-26 11:19:21
【问题描述】：

我希望这个类模板需要一个概念，以便 Key 类型支持严格的弱排序比较。

template <typename Key>
class Map {
    std::map<Key, int> map;
}

有没有优雅的解决方案？

【问题讨论】：

【解决方案1】：

这取决于您是想使用< 作为比较原语还是需要<=>。

如果是前者：

template <typename Key>
    requires std::strict_weak_order<std::less<Key>, Key const&, Key const&>
class Map;

如果是后者：

template <std::three_way_comparable<std::weak_ordering> Key>
class Map;

这两个都将在编译时进行语法检查，但也会强制进行语义检查，即所讨论的排序是严格的弱顺序（实际上我认为weak_ordering 措辞在技术上缺少这一点，但它应该在那里.. .)

【讨论】：