История изменений

https://quuxplusone.github.io/blog/2019/01/20/std-less-nightmare/:

Tim Song points out that the Standard does not require std::equal_to to participate in the strict total order, so, if two pointers are equal, then it is absolutely possible for … equal_to … to be false

После «so» чушь (явно не от Tim Song), ибо (std::equal_to<T ≠ void>::operator()(const T& x, const T& y))

1 Returns: x == y

Что касается == для указателей, там есть unspecified behavior, но в весьма угловом случае.

https://quuxplusone.github.io/blog/2019/01/20/std-less-nightmare/:

Tim Song points out that the Standard does not require std::equal_to to participate in the strict total order, so, if two pointers are equal, then it is absolutely possible for … equal_to … to be false

После «so» чушь (явно не от Tim Song), ибо (std::equal_to<T ≠ void>::operator()(const T& x, const T& y))

1 Returns: x == y

Что касается == для указателей, там есть unspecified behavior, но в весьма угловом чемодане.