`std :: less`如何工作？
指针关系运算符没有定义总的顺序（C ++ 11标准的第5.9节）：
如果相同类型的两个指针p和q指向不是同一对象或同一数组的元素或不同对象的成员的不同对象，或者只有其中一个为null，则p<q ， p>q ， p<=q和p>=q未指定。
std :: less文档说：
对于任何指针类型， std::less的部分特化将产生全部顺序，即使内置operator<不是。
它是如何从部分订单中产生这个总订单的？
我无法通过查看/usr/include/c++/4.9/bits/stl_function.h中的无struct less定义来回答这个问题：
template<typename _Tp = void>
struct less;
template<typename _Tp>
struct less : public binary_function<_Tp, _Tp, bool>
{
bool
operator()(const _Tp& __x, const _Tp& __y) const
{ return __x < __y; }
};
template<>
struct less<void>
{
template <typename _Tp, typename _Up>
auto
operator()(_Tp&& __t, _Up&& __u) const
noexcept(noexcept(std::forward<_Tp>(__t) < std::forward<_Up>(__u)))
-> decltype(std::forward<_Tp>(__t) < std::forward<_Up>(__u))
{ return std::forward<_Tp>(__t) < std::forward<_Up>(__u); }
typedef __is_transparent is_transparent;
};
它是如何从部分订单中产生这个总订单的？
该标准很少说明应该如何实现。 相反，它说明需要什么。 情况正是如此。 该标准要求std::less在§20.9.6/ 14中提供总订单：
对于大于，小于，大于等于和小于等于的模板，即使内置运算符<，>，<=，> =不包含任何指针类型的特化，也会产生全部顺序。
而operator<在这方面的行为根据§5.9/ 4（你在你的问题中的引用）没有说明。
未定义的行为在§1.3.25中定义为：
行为，对于格式良好的程序结构和正确的数据，取决于实现[...]
在你的具体实现中， operator<已经提供了一个总的顺序（可能是因为你的指针类型被实现为32位或64位地址，可以很容易地解释为类似于无符号整数的东西，从而产生全部顺序），因此std::less简单地将其参数转发给该运算符。