这在减少冗余性的路上已经跨进了一大步，但仍然不是很抽象，因为它还是会要求用户以命令方式来计算比较函数。
This is a big step forward in reducing verbosity but is still not any more abstract - it still forces the user to calculate the comparison function imperatively.
然而，当库允许任意的函数对象隐式地变成插槽时，这里出现了问题，因为插槽不再具有比较性。
However, this presents problems when the library allows arbitrary function objects to implicitly become slots, because slots are no longer comparable.
本文建立了非负函数无穷积分敛散性的几个新判别法，讨论了这些判别法所对应的比较对象，说明了它们的精细程度。
As well, the decision method of nonnegativity of function are given, and be used in the proof of function inequality in this paper.
应用推荐