Question

给定std::set< T, less >或std::map< T, less >个独特元素的容器。 less是异构比较器。即它可以将某个其他类型U的值与类型T的值进行比较。虽然类型T的所有值都是唯一的，但是（可能）有很多类型T的值，它们比较类型U的某个特定值。是不确定的行为？

说，我想在容器中找到（一个）元素，它具有键，相当于类型U的值。任何一个：如果有一个，那么它们的第一个，最后一个或中间。我知道，容器中有多个元素，它们等同于u类型的值U。我可以使用std::set::find或std::map::find功能吗？是未定义的行为？

示例（这里与公差0.2的比较不精确）：

#include <set>
#include <iostream>

double const eps = 0.2;

struct less
{
    bool operator () (double l, double r) const { return l < r; }
    using is_transparent = void;
    bool operator () (int l, double r) const { return l + eps < r; }
    bool operator () (double l, int r) const { return l + eps < r; }
};

int main()
{
    std::set< double, less > s{0.0, 0.9, 1.0, 1.1, 2.0};
    for (auto it = s.find(1); it != std::end(s); it = s.find(1)) {
        std::cout << *it << ' ';
        s.erase(it);
    }
}

输出（通常未指定的顺序）：

0.9 1 1.1

UB是否使用如上所述的唯一元素的关联有序容器？

我应该使用std::multiset和std::multimap吗？

Answer 1

关联容器需求表之前的说明文字说：

kl是一个值，a [ sic ]被分区（[alg.sorting]）关于c(r, kl)，r的关键值为e和e a; ku是一个值，a是相对于!c(ku, r)进行分区的 ke; a是一个值c(r, ke)被尊重分区的值至!c(ke, r)和c(r, ke)，!c(ke, r)暗示a_tran.{find,count,equal_range}(ke)。

然后介绍a_tran.lower_bound(kl)，a_tran.upper_bound(ku)和find的行为。因此，要求是：

适用于count，equal_range和c(r, ke)：
- 必须根据!c(ke, r)和c(r, ke)
- !c(ke, r)必须暗示lower_bound
对于c(r, kl)，必须根据upper_bound对容器中的元素进行分区。
对于!c(ku, r)，必须根据set对容器中的元素进行分区。

如果您满足这些要求，使用异构查找与容器中的多个键等效的东西没有任何问题。毕竟，the original proposal中的激励示例是关于查找姓氏为＆＃34; Smith＆＃34;以{{1}}名称。

用异构意义上的透明比较器和非独特元素映射或设置

1 个答案: