Question

指针关系运算符未定义总顺序（§ 5.9 of the C++11 standard）：

如果同一类型的两个指针p和q指向不是同一对象的成员或同一数组的元素或不同函数的不同对象，或者只指向其中一个为空，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;
    };

Answer 1

如何从部分订单中产生此总订单？

标准很少说应该如何实现。相反，它说明了所需要的。事实确实如此。该标准要求std::less提供总订单，见§20.9.6/ 14：

对于templates，less，greater_equal和less_equal，任何指针类型的特化都会产生一个总顺序，即使内置运算符＆lt;，＆gt;，＆lt; =，＆gt; =不这样做。

虽然operator<在这方面的行为是未指定的，根据§5.9/ 4（您在问题中的引用）。

未指定的行为在§1.3.25中定义为：

行为，对于格式良好的程序构造和正确的数据，取决于实现[...]

在您的具体实现中，operator<已经提供了一个总顺序（可能是因为您的指针类型实现为32位或64位地址，可以很容易地解释为类似于无符号整数的东西，产生一个总顺序），因此std::less只是将其参数转发给该运算符。

`std :: less`是如何工作的？

1 个答案: