Как работает `std :: less`?

Операторы указателя не определяют общий порядок (§ 5.9 стандарта C ++ 11):

Если два указателя p а также q одного и того же типа указывают на разные объекты, которые не являются членами одного и того же объекта или элементов одного и того же массива или на разные функции, или, если только один из них равен нулю, результаты p<q, p>q, p<=q, а также p>=q не определены.

станд :: меньше Документация гласит:

Частичная специализация 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;
};