Question

我试图通过交换使用https://stackoverflow.com/a/709161/837451中的示例清除std :: queue。但是，由于“删除功能”错误，它似乎不适用于lambda比较器。

最小的工作失败的例子：

#include <queue>
#include <vector>
using namespace std;
int main(){
    typedef pair<int,float> ifpair;
    auto comp = []( ifpair a,  ifpair b ) { return a.second > b.second; };
    typedef priority_queue< ifpair , vector<ifpair>, decltype( comp ) > t_npq;
    t_npq npq( comp );
    //do something with npq. finish using it (without emptying it) and clear for next round
    t_npq empty( comp );
    swap(npq , empty);
}

使用

进行编译

g++ -std=c++11 /tmp/test.cpp -o /tmp/o

我收到以下错误：

/usr/include/c++/4.8/bits/move.h:176:11: error: use of deleted function ‘main()::__lambda0& main()::__lambda0::operator=(const main()::__lambda0&)’
   __a = _GLIBCXX_MOVE(__b);
       ^
/tmp/test.cpp:6:18: note: a lambda closure type has a deleted copy assignment operator

g ++ -v

Using built-in specs.
COLLECT_GCC=g++
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-linux-gnu/4.8/lto-wrapper
Target: x86_64-linux-gnu
Configured with: ../src/configure -v --with-pkgversion='Ubuntu/Linaro 4.8.1-10ubuntu9' --with-bugurl=file:///usr/share/doc/gcc-4.8/README.Bugs --enable-languages=c,c++,java,go,d,fortran,objc,obj-c++ --prefix=/usr --program-suffix=-4.8 --enable-shared --enable-linker-build-id --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --with-gxx-include-dir=/usr/include/c++/4.8 --libdir=/usr/lib --enable-nls --with-sysroot=/ --enable-clocale=gnu --enable-libstdcxx-debug --enable-libstdcxx-time=yes --enable-gnu-unique-object --enable-plugin --with-system-zlib --disable-browser-plugin --enable-java-awt=gtk --enable-gtk-cairo --with-java-home=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64/jre --enable-java-home --with-jvm-root-dir=/usr/lib/jvm/java-1.5.0-gcj-4.8-amd64 --with-jvm-jar-dir=/usr/lib/jvm-exports/java-1.5.0-gcj-4.8-amd64 --with-arch-directory=amd64 --with-ecj-jar=/usr/share/java/eclipse-ecj.jar --enable-objc-gc --enable-multiarch --disable-werror --with-arch-32=i686 --with-abi=m64 --with-multilib-list=m32,m64,mx32 --with-tune=generic --enable-checking=release --build=x86_64-linux-gnu --host=x86_64-linux-gnu --target=x86_64-linux-gnu
Thread model: posix
gcc version 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu9)

我有点好奇这里到底发生了什么，但更重要的是我真的想知道如何使这项工作。

Answer 1

虽然lambda表达式的结果是可构造的，但它不一定是可移动的，当然也不是可复制的。我只是通过对比较器对象使用std::reference_wrapper<decltype(comp)>来绕过这个问题：

typedef pair<int,float> ifpair;
auto comp = []( ifpair a,  ifpair b ) { return a.second > b.second; };
typedef priority_queue< ifpair , vector<ifpair>,
                        std::reference_wrapper<decltype( comp ) >> t_npq;
t_npq npq( std::ref(comp) );
t_npq empty( std::ref(comp) );
swap(npq , empty);

由于lambda表达式的完整类型信息由引用包装器保留，因此即使闭包不为空也应该有效，并且在可行的情况下，应该可以内联函数。

Answer 2

您是否尝试过使用std::function？

#include <queue>
#include <vector>
#include <functional>
using namespace std;
int main(){
    typedef pair<int,float> ifpair;
    std::function< bool ( ifpair, ifpair )> comp = []( ifpair a,  ifpair b ) { return a.second > b.second; };
    typedef priority_queue< ifpair , vector<ifpair>, decltype( comp ) > t_npq;
    t_npq npq( comp );
    //do something with npq. finish using it (without emptying it) and clear for next round
    t_npq empty( comp );
    swap(npq , empty);
}

Answer 3

Lambda不可转让 - 5.1.2 / 19：

与lambda表达式关联的闭包类型具有已删除的默认构造函数和已删除的复制赋值运算符。

容器的交换也想分配比较器，因此不起作用。

但是，您可以通过首先将无状态lambda转换为函数指针来轻松实现它：

bool (*p)(ifpair, ifpair) = [](ifpair a, ifpair b) { return a.second > b.second; };

现在使用：

priority_queue<ifpair, vector<ifpair>, bool(*)(ifpair, ifpair)>

（您可能希望为函数类型引入typedef：using comp_type = bool(iftype, iftype)，然后在任何地方使用comp_type *。）

Answer 4

如编译错误所示，lambda对象不可分配。您可以为队列使用不同类型的仿函数，但仍将其写为labmda：

使用std::function<bool(ifpair,ifpair)>：http://ideone.com/HZywoV

但由于std::function的实现有一些更多的间接性，这增加了（可能是显着的）开销，但我想这很大程度上取决于标准库的实现和编译器的优化。关于代码的外观，可能是最好的解决方案。
使用函数指针bool(*)(ifpair,ifpair)：http://ideone.com/ZhFq3C

与std::function相比，这不应该受到任何开销，但是对于当前的解决方案，因为可能会对您的lambda代码进行一些编译器优化，这是不可能的（即将其内联到其余的{ {1}}代码，例如消除复制两对的代码）。使用函数指针看起来相当老派。
使用自定义仿函数类，可以这么简单：http://ideone.com/9pcQFc
```
std::queue
```
这应该消除上面讨论的所有开销。如果表现很重要，我更喜欢这个。

你可以用一个lambda比较器交换std :: queue吗？

4 个答案: