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

• 合成两组有序元素范围到出口,可二元断言。