algorithm 12 partial_sort_copy

拷贝[first,last)到[result_first,result_last),长度为后者的长度

并把[result_first,result_last)排序。原来的[first,last)不变