我正在尝试实现一个优先级队列，它使用一个对象，该对象具有一个常量成员，用于定义队列中对象的优先级。以下是我正在使用的精简版

#include <vector>
#include <queue>

class Event {
public:
    Event(float _time) : time(_time) {};
    const float time;
};

struct EventComp {
public:
    bool operator()(const Event& a, const Event& b) const {
      return a.time < b.time;
    }
};

class EventQueue {
private:
    std::priority_queue<Event, std::vector<Event>, EventComp> events;
};


int main(int argc, char *argv[])
{
    EventQueue q;
}

当我尝试编译(使用 g++ -std=c++11)时，我收到以下错误消息，我不太明白。

g++ -std=c++11 events.cpp -o events
In file included from /usr/include/c++/4.8/queue:62:0,
                 from events.cpp:2:
/usr/include/c++/4.8/bits/stl_heap.h: In instantiation of ‘void std::__adjust_heap(_RandomAccessIterator, _Distance, _Distance, _Tp, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Event*, std::vector<Event> >; _Distance = long int; _Tp = Event; _Compare = EventComp]’:
/usr/include/c++/4.8/bits/stl_heap.h:448:15:   required from ‘void std::make_heap(_RandomAccessIterator, _RandomAccessIterator, _Compare) [with _RandomAccessIterator = __gnu_cxx::__normal_iterator<Event*, std::vector<Event> >; _Compare = EventComp]’
/usr/include/c++/4.8/bits/stl_queue.h:411:48:   required from ‘std::priority_queue<_Tp, _Sequence, _Compare>::priority_queue(const _Compare&, _Sequence&&) [with _Tp = Event; _Sequence = std::vector<Event>; _Compare = EventComp]’
events.cpp:15:7:   required from here
/usr/include/c++/4.8/bits/stl_heap.h:315:29: error: use of deleted function ‘Event& Event::operator=(Event&&)’
    *(__first + __holeIndex) = _GLIBCXX_MOVE(*(__first + __secondChild));
                             ^
events.cpp:4:7: note: ‘Event& Event::operator=(Event&&)’ is implicitly deleted because the default definition would be ill-formed:
 class Event {
       ^
events.cpp:4:7: error: non-static const member ‘const float Event::time’, can’t use default assignment operator
In file included from /usr/include/c++/4.8/queue:62:0,
                 from events.cpp:2:
/usr/include/c++/4.8/bits/stl_heap.h:321:29: error: use of deleted function ‘Event& Event::operator=(Event&&)’
    *(__first + __holeIndex) = _GLIBCXX_MOVE(*(__first
                             ^

我假设 priority_queue 内部结构的某些部分需要移动赋值运算符来插入元素，但是 const 成员似乎阻止了该运算符的定义.我尝试使用五的规则，但似乎没有成功。我需要在类定义中添加什么才能使其正常工作？

编辑:我知道我可以从成员变量中删除 const 限定符，使其成为 private，并添加一个访问成员函数来获取变量，但我宁愿拥有它 public 和 const，所以我对保持示例中的成员变量的解决方案感兴趣(如果它是偶数可能)。

最佳答案

std::priority_queue<Event, ...> 的默认构造函数需要 Event成为MoveAssignable因为它调用 std::make_heap (有这个要求)。 Event不是 MoveAssignable因为 const float time数据成员。如果删除 const来自该数据成员的限定符，您的代码应该可以编译。

I'm aware that I can remove the const qualifier from the member variable, make it private, and add an accessor member function to get the value of the variable, but I would rather have it public and const, so I'm interested in solutions which keep the member variable as it is in the example (if that is even possible).

最终，要使用这个 std::lib 工具，Event将为MoveAssignable .此要求可以通过移动赋值运算符或复制赋值运算符来满足。您或编译器可以提供其中一个或两个。但是当你有一个 const数据成员，编译器提供的特殊成员将被隐式删除。

如果需要，请继续提供您自己的复制和/或移动赋值运算符:

class Event {
public:
    Event(float _time) : time(_time) {};
    const float time;

    Event(Event&&) = default;
    Event& operator=(Event&&);  // Supply this
};

对于您可能希望移动(或复制)赋值运算符做什么，我没有很好的猜测，因为您已经声明一旦构建，您就不需要 time永远改变。这是您必须制定的设计决策(与一般的软件设计有关，而不是 C++ 语法)。

<aside>

在问题的评论中POW请注意，问题中的代码使用 clang 编译(更准确地说，使用 libc++ )。这样做的原因是 libc++ 中的一个几乎符合标准的扩展:

标准规定了这个priority_queue构造函数:

explicit priority_queue(const Compare& x = Compare(),
                        Container&& c = Container());

调用std::make_heap与容器 c .但该标准还为实现者提供了余地，可以使用默认值和等效重载替换成员函数签名。 libc++ 将此单一签名替换为以下三个:

priority_queue();
explicit priority_queue(const Compare& x);
explicit priority_queue(const Compare& x, Container&& c);

只有第 3 个需要调用 std::make_heap .因此，libc++ 中的默认构造函数对 value_type 的要求较少。 .

我说几乎符合要求。不完全符合的部分是未声明默认构造函数explicit .这是实现者有意做出的设计决定 priority_queue更易于使用。

</aside>

关于c++ - 具有 const 成员的对象的优先级队列比较器，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/27670205/