整数与有序列表比较：高效查找前一个匹配或相等的值

问题背景与挑战

在实际编程中，我们经常需要在一个已排序的数值列表中查找与给定目标值相关的特定元素。一个常见的需求是：给定一个整数 val 和一个有序整数列表 val_list，我们需要找到一个 output 值，满足以下条件：

1. 如果 val 等于 val_list 中的某个元素 E，则 output 为 E。
2. 如果 val 大于 val_list 中的某个元素 E_i，但小于其后一个元素 E_{i+1}，则 output 为 E_i。
3. 如果 val 大于 val_list 中的所有元素，则 output 为 val_list 中的最大元素。
4. 如果 val 小于 val_list 中的所有元素，则 output 为一个预设的默认值（例如 0）。

例如，对于 q_list = [1, 10, 25, 50, 100, 300, 500]：

• 当 quantity = 5 时，期望 output = 1 (因为 5 > 1 且 5 < 10)。
• 当 quantity = 11 时，期望 output = 10 (因为 11 > 10 且 11 < 25)。
• 当 quantity = 1 或 quantity = 10 时，期望 output 分别为 1 或 10 (精确匹配)。
• 当 quantity = 505 时，期望 output = 500 (因为 505 > 500 且 500 是最大值)。

初次尝试的解决方案往往容易遇到问题，例如在循环中未能及时中断，导致 output 被后续不满足条件的值覆盖；或者在处理列表边界（如 i-1 或 i+1 索引越界）时出现错误。一个常见的错误尝试可能如下所示：

Otter.ai

一个自动的会议记录和笔记工具，会议内容生成和实时转录

下载

quantity = 13
output = None
q_list = [1, 10, 25, 50, 100, 300, 500]

for i in range(len(q_list)):
    if quantity > q_list[i]:
        if i > 0:
            output = q_list[i-1] # 问题：这里会不断更新 output，且不考虑 quantity < q_list[i+1]
    elif quantity == q_list[i]:
        output = quantity # 问题：即使找到相等值，循环也不会立即停止

上述代码的问题在于，当 quantity = 13 时，它会遍历到 q_list[1]=10，将 output 设置为 q_list[0]=1。但由于没有 break 语句，循环会继续，并且在 quantity > q_list[i] 的条件不再满足时，output 仍保持为 1，而非期望的 10。这表明需要一个更精确的逻辑来处理各种情况并及时中断循环。

解决方案实现

为了解决上述挑战，我们需要一个能够清晰处理精确匹配、区间查找以及列表边界条件的函数。以下是一个鲁棒的 Python 实现：

def get_nearest_highest_quantity(val, val_list):
    """
    在有序整数列表中查找一个给定整数的“前一个匹配值”或“相等值”。

    参数:
    val (int): 目标整数。
    val_list (list): 一个已排序的整数列表。

    返回:
    int: 匹配到的值。如果 val 小于 val_list 中所有元素，则返回 0。
    """
    output = None # 初始化输出结果

    for i in range(len(val_list)):
        current_list_val = int(val_list[i]) # 确保列表元素为整数进行比较