C++ bool std::operator < 带有键 std::unordered_set<int,std::hash<int>> 的映射出错

Question

当我尝试在此地图中插入时：

std::map<std::unordered_set<int >, std::pair<float, std::pair<float, float >> >

我收到了这个错误

错误 C2784: 'bool std::operator &,const std::_Tree<_traits> &)' : 无法推断出模板参数 'const std::_Tree<_traits> &' 来自 'const std::unordered_set,std::equal_to<_kty>,std::allocator<_kty>>'

我的数据定义如下：

    struct Trans {
    int Item;
    float Prob;
    float W;
};
bool operator<(const Trans &a, const Trans &b)
    {
        return a.Item < b.Item;
    }
    bool operator==( Trans c,  Trans d) { return c.Item == d.Item; }


    struct MyHash {
        size_t operator()(const Trans& x) const { return std::hash<int>()(x.Item);  }
    };


std::vector<std::vector<Trans>> data;
std::map<std::unordered_set<int>, float> S1;
std::map<std::unordered_set<int >, std::pair<float, std::pair<float, float >> > S2;
std::map<std::unordered_set<int >, std::pair<float, std::pair<float, float >> > S3;

有问题的部分：

    do
        {

std::unordered_set<Trans, MyHash> KS(data[i].begin(), data[i].begin() + k);
std::unordered_set<int > elem;

float esupp = 1;
float Weight = 0;
float Wesupp = 1;
    for (auto const &iter : KS)
        {
          elem.insert(iter.Item);
           esupp *= iter.Prob;
          Weight += iter.W;
        }
        Weight = Weight / k;


        /*
        some code, and until here I didn't get any problem
        */

            **// This the area that has the problem** 

    S1[elem] = std::move(S1[elem] + esupp);
    Wesupp = Weight * S1[elem];
    S2[elem].first = std::move(S2[elem].first + esupp);
    S2[elem].second = std::make_pair(elem, Wesupp);
  } while (next_combination(data[i].begin(), data[i].begin() + k, data[i].end()));

Answer 1

除非提供了比较器，否则 std::map 期望其密钥实现运算符 <。

您的密钥类型std::unordered_set 没有实现“小于”。

作为@T.C.提到，您可以使用std::set 而不是std::unordered_set。

Answer 2

正如 Drew Dormann 指出的那样，您当前的错误是由 std::unordered_set 缺少 operator < 引起的。

不过，std::set 确实有一个重载的operator <，所以你可以使用它。

不过，您的代码的问题比这更严重。例如：

S1[elem] = std::move(S1[elem] + esupp);

您正在分配一个float。使用std::move 绝对没有意义，尤其是S1[elem] + esupp 已经是一个右值。写这行的通常方式是S1[elem] += esupp;

S2[elem].first = std::move(S2[elem].first + esupp);

同样的问题。

S2[elem].second = std::make_pair(elem, Wesupp);

作业的 LHS 是 std::pair<float, float>； RHS 创建一个std::pair<std::unordered_set<int>, float>。

正如我在 cmets 中提到的，std::pair<float, std::pair<float, float>> 只是糟糕的设计。它至少应该是std::tuple，或者更好的是std::array<float, 3>，或者更好的是一个简单的结构，可以清楚地说明三个浮点数中的每一个的实际含义。

此外，在地图中使用set<int>（无序或无序）作为键是一种相当奇怪的设计。您是否只想维护一个可以迭代的set<int>-3xfloat 配对列表，或者您真的希望能够使用set<int> 有效地索引？如果您不需要高效的索引，只需使用成对的向量而不是地图。