Converts elements from a specified range into a heap in which the first element is the largest and for which a sorting criterion may be specified with a binary predicate.

• 把最大的元素放在首位,并且按者标准排序,可二元断言。