三 完善程序（单选题，每小题 3 分，共计 30 分） (1)（归并第 k 小） 已知两个长度均为 n 的有序数组 a1 和 a2（均为递增序，但不保证严 格单调递增），并且给定正整数 k（1≤k≤2n），求数组 a1 和 a2 归并排序后的数组里 第 k 小的数值。

试补全程序。

1#include <bits/stdc++.h>2using namespace std;3 4int solve(int *a1, int *a2, int n, int k) {5    int left1 = 0, right1 = n - 1;6    int left2 = 0, right2 = n - 1;7    while (left1 <= right1 && left2 <= right2) {8        int m1 = (left1 + right1) >> 1;9        int m2 = (left2 + right2) >> 1;10        int cnt = ①;11        if (②) {12            if (cnt < k) left1 = m1 + 1;13            else right2 = m2 - 1;14        } else {15            if (cnt < k) left2 = m2 + 1;16            else right1 = m1 - 1;17        }18    }19    if (③) {20        if (left1 == 0) {21            return a2[k - 1];22        } else {23            int x = a1[left1 - 1], ④;24            return std::max(x, y);25        }26    } else {27            if (left2 == 0) {28                return a1[k - 1];29            } else {30                int x = a2[left2 - 1], ⑤;31                return std:: max(x, y);32            }33    }34}