func upper_bound的参数?

时间:2017-10-09 11:21:51

标签: c++ function debugging gcc const

代码:

#include "inc.h"  
#include <string>  
#include <vector>
#include <algorithm>
#include <iostream>
using namespace std;


class tt{
    public:
        tt(int i): i(i) {}
        int i;
        bool operator < (const tt &r) 
        {
            return i < r.i;
        }

};



int test_lower_bound()
{
    vector<tt> a;
    a.push_back(tt(1));
    a.push_back(tt(2));
    a.push_back(tt(3));
    a.push_back(tt(4));
    a.push_back(tt(5));

    vector<tt>::iterator result = lower_bound(a.begin(), a.end(), tt(3));
    cout << result->i << endl;
    return 0;
}

int test_upper_bound()
{
    vector<tt> a;
    a.push_back(tt(1));
    a.push_back(tt(2));
    a.push_back(tt(3));
    a.push_back(tt(4));
    a.push_back(tt(5));

    vector<tt>::iterator result = upper_bound(a.begin(), a.end(), tt(3));
    cout << result->i << endl;
    return 0;
}

int main(int argc, char** argv)  
{  
    test_lower_bound();
    return 0;  
}  

编译时会产生此错误:

In file included from /usr/lib/gcc/x86_64-redhat-linux/4.4.6/../../../../include/c++/4.4.6/algorithm:62,
                 from main.cc:4:
/usr/lib/gcc/x86_64-redhat-linux/4.4.6/../../../../include/c++/4.4.6/bits/stl_algo.h: In function ‘_FIter std::upper_bound(_FIter, _FIter, const _Tp&) [with _FIter = __gnu_cxx::__normal_iterator<tt*, std::vector<tt, std::allocator<tt> > >, _Tp = tt]’:
main.cc:45:   instantiated from here
/usr/lib/gcc/x86_64-redhat-linux/4.4.6/../../../../include/c++/4.4.6/bits/stl_algo.h:2542: error: passing ‘const tt’ as ‘this’ argument of ‘bool tt::operator<(const tt&)’ discards qualifiers

从结果中,我们可以看到upper_bound有错误但lower_bound没有,为什么?

1 个答案:

答案 0 :(得分:0)

改变这个:

bool operator < (const tt &r) { return i < r.i; }

到此:

bool operator < (const tt &r) const { return i < r.i; }

因为您需要将运算符标记为const,以便能够对const操作数进行操作。

&#34;为什么错误出现在upper_bound但不出现在lower_bound?&#34;

如果您检查upper_bound的标准,则说:

  

upper_bound返回i中最远的迭代器[first, last),以便j中的每个迭代器[first, i), comp(value, *j)都为false

现在,lower_bound另一方面提到:

  

lower_bound返回i中最远的迭代器[first, last),以便j中的每个迭代器[first, i), comp(*j, value)都为true

因此,这两个函数都将使用您的operator <(如果您更仔细地检查标准,它们在任何情况下都只会使用该运算符)。那会有什么变化?

参数的顺序!

问题在于tt &rconst,在upper_bound的情况下,它被称为:

comp(value, *j)

在这里,*j将是你的const论证。

lower_bound的情况下,例如:

comp(*j, value)

在这里,value将是你的const参数。这就是编译错误的原因。