bisect_left的key参数为何不作用于搜索值？与insort_left存在不一致

在使用带key参数的bisect_left函数时，会发现key函数仅作用于序列中的元素，不会处理待搜索的值。比如要在已排序的区间列表中找到第一个起始值大于给定数字的区间，会出现如下现象：

>>> from bisect import bisect_left
>>> ranges = [[1, 3], [4, 10], [11, 20]]
>>> num = 5
>>> bisect_left(ranges, [num+1, num+2], key=lambda range: range[0] > num)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: '<' not supported between instances of 'bool' and 'list'
>>> bisect_left(ranges, True, key=lambda range: range[0] > num)  # 此写法生效
2

官方文档对此的说明是：

key指定一个单参数的键函数，用于从数组的每个元素中提取比较键。为支持搜索复杂记录，键函数不会作用于x值。
如果key为None，则直接比较元素，不调用任何中间函数。

具体原因解析 #

• 搜索逻辑的核心需求：bisect_left的核心是基于已按key排序的序列进行二分查找。如果让key作用于待搜索值x，会破坏二分查找的前提逻辑——因为序列的排序依据是元素的key值，而非原始元素。让用户直接传入与序列key匹配的值（比如例子中的True），可以更精准地定位到目标位置，同时避免自动应用key带来的类型错误或逻辑偏差。

• 与insort_left的行为差异根源：insort_left的目标是将新元素插入后保持序列的key排序，因此必须对插入值应用key，才能找到正确的插入位置。而bisect_left是查找已有序列中的位置，用户的需求可能是基于key值定位，也可能是基于原始元素匹配，不对x应用key，给了用户更灵活的控制权——既可以传入key值来定位，也可以传入原始元素（当key=None时）进行匹配。

• 避免歧义与逻辑混淆：如果自动对x应用key，会产生歧义：用户到底是想找「元素的key等于key(x)」的位置，还是「元素等于x」的位置？分开处理后，两种场景的边界清晰：需要基于key查找时传入key值，需要匹配原始元素时传入元素本身，完全由用户决定逻辑。

内容的提问来源于stack exchange，提问作者Eugene Yarmash