考虑有个nan这种奇葩东西。

根据cppreference，比较的类型需满足具名要求“比较”（https://zh.cppreference.com/w/cpp/named_req/Compare）。

(std::less<double>())(nan,a) 在a是任何数字时都为false，即equiv(a, nan)，而他不具有传递性

这样，double不满足比较具名要求，从语言层面讲是ub

实际操作时，在排序含有nan的数据时会ub。