STL lower_bound 不符合规范

Question

当宏 _HAS_ITERATOR_DEBUGGING 等于 1 时，以下代码无法在 C++Builder 2009 或 Visual C++ 2005 中进行编译，但如果将其注释掉，则会编译。看来 lower_bound 函数不符合规范。库正在交换参数。这是规范的摘录。 value 应该始终是第二个参数。我错了吗？

注意：测试代码并不是为了运行而设计的。它旨在说明库错误。

C++ 规范摘录

template<class ForwardIterator, class T, class Compare>
ForwardIterator
lower_bound(ForwardIterator first, 
            ForwardIterator last, 
            const T& value, 
            Compare comp);

25.3.3.1.3

返回： [first, last] 范围内最远的迭代器 i，对于 [first, i) 范围内的任何迭代器 j，满足以下相应条件： *j <值或 comp(*j, 值) != false

Visual Studio 错误消息

消息：错误 C2664：“double mike::operator ()(const double,const char *) const”：无法将参数 1 从“const char [1]”转换为“const double”

文件：c:\program files\microsoft Visual Studio 8\vc\include\xutility

行号：314

测试代码

#define _HAS_ITERATOR_DEBUGGING 1  // needs to be in the stdafx.h file for Visual Studio
#include "stdafx.h"
#include <algorithm>
#include <functional>

struct mike : public std::binary_function<double, char*, double> {
   double operator() (const double i, const char*) const {
      return i;
   }
};

int main()
{
   double r[] = {0};
   std::lower_bound(r, r, "", mike());
   return 0;
}

Answer 1

这是 Visual C++ 2005 C++ 标准库实现中的一个已知问题（请参阅 " 二进制谓词lower_bound 的参数假定在 Microsoft Connect 上以调试模式进行编译时两个参数的类型相同”）。

该错误已在 Visual C++ 2008 中修复。