由sort算法学到的配接与判断式法则的知识

今天在看《C++标准程序库》时，第399页的sort算法的一个例子引起了我的兴趣，主要代码如下：
bool lessLength (const string& s1, const string& s2) { return s1.length() < s2.length(); } int main() { vector<string> coll1; // fill both collections with the same elements coll1.push_back ("1xxx"); coll1.push_back ("2x"); coll1.push_back ("3x"); coll1.push_back ("4x"); coll1.push_back ("5xx"); coll1.push_back ("6xxxx"); coll1.push_back ("7xx"); coll1.push_back ("8xxx"); coll1.push_back ("9xx"); coll1.push_back ("10xxx"); coll1.push_back ("11"); coll1.push_back ("12"); coll1.push_back ("13"); coll1.push_back ("14xx"); coll1.push_back ("15"); coll1.push_back ("16"); coll1.push_back ("17"); PRINT_ELEMENTS(coll1,"on entry:/n "); // sort (according to the length of the strings) stable_sort (coll1.begin(), coll1.end(), // range lessLength); // criterion PRINT_ELEMENTS(coll1,"/nwith stable_sort():/n "); }

很简单，按字符串长度升序排列。我想改为按字符串长度降序排列。于是我试验了以下的方法：
①改return s1.length() < s2.length() 为 return s1.length() > s2.length(); 实验成功。但这样为不同情况就得写两个判断式，不符合复用代码的标准。

②对其配接，not2(ptr_fun(lessLength))); 实验不成功（VC8），因为VC8的实现中not2的参数使用的是引用：
bool operator()(const typename _Fn2::first_argument_type& _Left, const typename _Fn2::second_argument_type& _Right) const { // apply functor to operands return (!_Functor(_Left, _Right)); }

这样会造成引用的引用，这是当前的C++标准所不允许的，好像C++0x会允许。

 

但如果去掉lessLength参数的引用标记，在语法上没有问题了，但运行时会出错。因为a<b的not是a>=b，而这是不满足严格弱序化关系的。

 

所以到目前为止，我的结论就是：不要试图用配接来反转排序。