c++ - 使用不同类型的 Compare 实例构造 priority_queue 实例

Question

谁能解释一下为什么我的编译器 (GCC) 接受下面的代码是有效的？

priority_queue<int, deque<int>, less<int>> pq(greater<int>());

我希望此构造函数(对于 less<int> 为 Comparator 的类型的实例，如为 priority_queue 实例 pq 指定的)与 greater<int> 的实例不兼容(作为构造函数参数传递)，与 less<int> 不同的类型.但是 GCC 出于某种原因接受了这一点......

Answer 1

下面的语句:

priority_queue<int, deque<int>, less<int>> pq(greater<int>());

实际上被编译器解析为 pq 的声明返回 priority_queue 实例的函数, 它有一个参数，是一个指向不带参数的函数的指针，并返回 greater<int> 的实例。类型。这被称为 Most-vexing parse .

如果你这样写，你会看到一个错误:

priority_queue<int, deque<int>, less<int> > pq((greater<int>()));
//                                             ^              ^ 

或(在 C++11 中):

priority_queue<int, deque<int>, less<int>> pq(greater<int>{});
//                                                        ^^