not2 stl 否定器

Question

在学习STL时，我试图用 not2 来否定函子，但遇到了问题。 示例如下：

#include <iostream>
#include <vector>
#include <functional>
#include <algorithm>
using namespace std;
struct  mystruct : binary_function<int,int,bool> {
 bool operator() (int i,int j) { return i<j; }
};

template <class T>
class generatore 
{
public:
 generatore (T  start = 0, T  stp = 1) : current(start), step(stp)
 { }
 T  operator() () { return current+=step; }
private:
 T  current;
 T  step;
};


int main () {
 vector<int> first(10);

generate(first.begin(), first.end(), generatore<int>(10,10) ); 
cout << "Smallest element " << *min_element(first.begin(), first.end(),mystruct() ) << endl;
 cout << "Smallest element:  " << *max_element(first.begin(), first.end(),not2(mystruct())) << endl;

}

最后一行代码将无法使用 g++ 进行编译。可能是一个愚蠢的错误，但在哪里？

Answer 1

struct  mystruct : binary_function<int,int,bool> {
        bool operator() (int i,int j) const // add a const here
            { return i<j; }
};

原因：

在这一行中：

cout << "Smallest element:  " << *max_element(first.begin(), first.end(),not2(mystruct())) << endl

not2(mystruct()) 将返回一个 std::binary_negate：

template<class AdaptableBinaryPredicate>
binary_negate<AdaptableBinaryPredicate> not2( P const& pred ) {
        return binary_negate<AdaptableBinaryPredicate>(pred);
}

在 std::binary_negate 中，调用运算符是 const 非静态成员函数

template <class AdaptableBinaryPredicate>
class binary_negate
        : public binary_function
                     <typename AdaptableBinaryPredicate::first_argument_type
                     ,typename AdaptableBinaryPredicate::second_argument_type
                     ,bool>
{
        AdaptableBinaryPredicate pred_;
public:
        explicit binary_negate ( const AdaptableBinaryPredicate& pred )
                : pred_ (pred) {} // holds the original predication

         bool operator() (const typename Predicate::first_argument_type& x,
                          const typename Predicate::second_argument_type& y
                         ) const  // the calling operator is const
         { return !pred_(x,y);    // call original predication and negate it!

           // the calling operator of binary_negate is const 
           //   so pred_ in this member has const qualify
           //   and the calling operator of pred_ must be const
         }
};

Answer 2

更改：

bool operator() (int i,int j) { return i<j; }

太：

bool operator() (int i,int j) const { return i<j; }

评论中关于您的问题有两个隐含的问题：

1）为什么我应该向方法添加 const：

您应该使用 const，因为对象的成员没有更改。
创建正确的方法 const 很容易。随着 const 越来越深入地传播到类层次结构中，事后向方法添加 const 正确性可能会成为真正的噩梦。

2）为什么在方法中添加const才能编译。

not2() 返回的对象的构造函数将对象的 const 引用作为参数。这是一种相对常见的技术，但确实要求您使用的任何方法也是 const。

Answer 3

mystruct operator() 应该如下所示：

bool operator() (int i, int j) const // note the const

Answer 4

bool operator()  (int i,int j) const{ return i<j; }

你的函子中缺少 const