Combines the elements from two consecutive sorted ranges into a single sorted range, where the ordering criterion may be specified by a binary predicate.

• 把两组元素合并成一组元素,新组成的元素将以指定的断言排序。