在 operator= 中使用 std::function 的问题

Problem with using std::function in operator=

我实现了迭代器,我想设置比较函数来设置序列的边界。 所以在构造函数中我接受了这个参数

iterator(std::pair<T, std::function<T(T&)>> rhs, const std::function<bool(T&, T&)> cmp): 
        base(rhs), cmp(cmp), gen(range<T>::gen_function(rhs)) {}

接下来...我尝试在运算符== 中使用 cmp 仿函数:

bool operator==(const iterator& rhs) const { return cmp(**this, *rhs); }
bool operator!=(const iterator& rhs) const { return !cmp(**this, *rhs); }

由 clang++ 编译(v 11.0.0,Ubuntu 18)

clang++ -std=c++2a -stdlib=libc++ coroutins_iterator.cpp -v

编译器给我错误:

./coroutins_iterator.h:52:56: error: no matching function for call to object of type 'const std::function<bool (int &, int &)>'
            bool operator!=(const iterator& rhs) const { return !cmp(**this, *rhs); }
                                                                 ^~~
coroutins_iterator.cpp:31:14: note: in instantiation of member function 'range<int>::iterator::operator!=' requested here
    for (auto a : range<int>(2, 10, [](int &a){ return a * 2; })) {
                ^
/usr/include/c++/v1/functional:2342:9: note: candidate function not viable: expects an l-value for 1st argument
_Rp operator()(_ArgTypes...) const;

如何解决?

或者..我可以用另一种方式制作那个界面吗?

T operator*() const { return gen.current_num(); }

const std::function<bool(T&, T&)> cmp

cmp(**this, *rhs);

有问题。错误消息对此进行了解释:

error: no matching function for call ... candidate function not viable: expects an l-value for 1st argument

cmp 接受非常量左值引用。间接运算符 return 是一个纯右值。非常量左值引用不能绑定到右值。

您可以:

  • 将间接运算符更改为 return 非常量左值引用(它必须是非常量成员函数)。非常量左值引用参数可以绑定到非常量左值。
  • 或者更改函数包装器以接受 const 引用。常量左值引用可以绑定到纯右值。