make_heap 不创建堆

Question

我有一个程序，可以对向量中另一个向量的子集进行堆排序，作为对索引的引用。

std::vector<foo> knowledgeBase;
std::vector<int> workingSet;

这个比较类有效吗？

class Compare
{
    bool operator()(int lft, int rgt)
    {
        return knowledgeBase[lft].bar() > knowledgeBase[rgt].bar();
    }
};

Compare 是包含knowledgeBase 的类中的嵌套类，因此我可以访问变量，但workingSet.front() 永远不会返回引用最小值的索引；

我做错了什么？如果需要，我可以发布更多代码（其中有更多不相关的错误，我无法测试这些错误，因为这不起作用），但我确信我的 make_heap 没有创建我想要的堆。

如果我做了一些非常愚蠢的事情，我的 make_heap 调用如下：

std::make_heap(workingSet.begin(), workingSet.end(), Compare());

编辑： bar 是 foo 内部的 std::set 的 size() 。该集合不是空的，也不是未定义的，因为我可以输出其内容（并验证它们是否正确）。虽然这是使用迭代器......这还不够吗？

Edit2：经过进一步研究，我发现 bar() 总是返回 1。我添加了一个 int，并在每次添加变量时递增它，就像这样...

foo::foo()
{
    siz = 0;
}

void foo::addLiteral(std::string var, bool truth)
{
    literals.insert(Literal(var,truth)); 
    ++siz;
}

class foo()
{
public:
    foo();
    void addLiteral(std::string var, bool truth);
    bool bar(){return siz;}
private:
    int siz;
    std::set<Literal, LiteralComp> literals;
}

foo 的初始化如下：

...
   foo newClause;
    ss.str(input);
    ss >> variable;
    while(!ss.fail())
    {
        if(variable[0] == '~')
        {
            variable = variable.substr(1);
            truth = false;
        }
        else truth = true;
        newClause.addLiteral(variable, truth);
        ss >> variable;
    }
    knowledgeBase.push_back(newClause);
workingSet.push_back(count++);
...

和 foo.size () 仍然总是返回 1。

这是怎么回事？

我意识到这远远超出了我的主要问题的范围，并且我给出的代码中没有定义一些部分，但我已经在这个问题上工作了六个小时左右，但仍然不知道发生了什么在。

Answer 1

......我现在感觉很愚蠢。

class foo()
{
public:
    foo();
    void addLiteral(std::string var, bool truth);
    bool bar(){return siz;} <==== returns a bool
private:
    int siz;
    std::set<Literal, LiteralComp> literals;
}

很抱歉浪费了任何人的时间。

Answer 2

您没有忘记调整工作集的大小吧？例如，先使用 Reserve，然后使用 operator[] 不会增加向量的实际大小，因此 make_heap 将无操作。