有关小于操作符的重载

[xjtudaniel]

自定义了一个类Test,定义了如下函数
bool operator<(const Test& other){};
然后定义一个vector<Test> test;
调用sort(test.begin(),test.begin()+5),编译的时候报错

但是将重载操作符声明为const就可以成功编译
bool operator<(const Test& other) const {};

请问sort()函数对于底层对象重载小于操作符必须要求是const的吗?查文档没发现哪里描述了这个啊..

[arong1234]

从合理性上讲，没有任何理由不把他设置为const，因此报错是一种比较好的行为
不过报错不报错可能和编译器有关，虽然我的想法是不应该强制要求，但是比较聪明的编译器可能会给你一个警告

[iu_81]

bool operator <(const Test& other) const {};
上面的const是必须的,因为other 是const的,如果函数不在形式上声明const，显然，编译器会认为该函数可能修改了这个引用的对象，将会报错。
因此，如果函数是非const的，操作符重载的参数不要写成const。当然，这在某种程度上可能破坏完整性。

[IanFang]

没有理由不把operator<实现为const的。

[IanFang]

你编译不过去的原因是因为某些STL版本对sort的实现使用了一些辅助函数，其参数是const的引用类型，如sgi STL是这个函数阻止了你;
template<typename _Tp>
inline const _Tp&
__median(const _Tp& __a, const _Tp& __b, const _Tp& __c)
{
// concept requirements
__glibcxx_function_requires(_LessThanComparableConcept<_Tp>)
if (__a < __b)
if (__b < __c)
return __b;
else if (__a < __c)
return __c;
else
return __a;
else if (__a < __c)
return __a;
else if (__b < __c)
return __c;
else
return __b;
}

如果抛开效率此函数也可以实现为传值调用，这样就不会有问题了。

operator<不定义为const其实是你的违例。

[wjb_yd]

如果不定义成const，你能比较3和5的大小么？

[xkyx_cn]

sort里是对象的常引用对比较函数发起调用的，所以比较函数也要为const成员函数

[Gob00st]

[Quote=引用 6 楼 xkyx_cn 的回复:]
sort里是对象的常引用对比较函数发起调用的，所以比较函数也要为const成员函数
[/Quote]

[IanFang]

sort的实现比较复杂，它用的些辅助函数如上面的__median(const _Tp& __a, const _Tp& __b, const _Tp& __c) 里面的比较
动作：if (__a < __b)显然要求你的operator<为const的，没说要你改operator<为传值调用，我是说假如，仅仅是假如，那些辅助函数也不专业的使用递值调用而不使用常引用的话， 你的operator<不用const也就能通过编译了。这只是给你解释你问的问题，没有文档要求<为const而实际上却需要const.

[xjtudaniel]

[Quote=引用 2 楼 iu_81 的回复:]
bool operator <(const Test& other) const {};
上面的const是必须的,因为other 是const的,如果函数不在形式上声明const，显然，编译器会认为该函数可能修改了这个引用的对象，将会报错。
因此，如果函数是非const的，操作符重载的参数不要写成const。当然，这在某种程度上可能破坏完整性。
[/Quote]

即使将参数声明为非const的,也不能编译通过,的确,这个错误与不同的编译器的实现有关系,在g++下有错误,但是在vs 2008下就可以正常运行

对于任何不修改类成员和不调用非const的成员函数的函数,都应该定义成const的是没错,从合理性上的确如一楼所说应该如此...

我只是想问一下这个编译出错的具体原因,是什么标准中定义了吗?

[xjtudaniel]

[Quote=引用 4 楼 IanFang 的回复:]
你编译不过去的原因是因为某些STL版本对sort的实现使用了一些辅助函数，其参数是const的引用类型，如sgi STL是这个函数阻止了你;
template <typename _Tp>
inline const _Tp&
__median(const _Tp& __a, const _Tp& __b, const _Tp& __c)
{
// concept requirements
__glibcxx_function_requires(_LessThanComparableConcept <_Tp>)
if (__a < __b)
if (__b < __c)
return __…
[/Quote]

我从编译提示的错误看出来是sgi STL的要求问题,只是没看懂提示的那块,另外,你举的例子也并没有反映sort底层对象的<要求是const的

另外，将函数参数改变为传值调用仍然报编译错误

[ronliu]

const

[elegant87]

学习一下！很好！