对数组进行二分查找的过程中，以下哪个条件必须满足？

{{ select(1) }}

• 数组必须是有序的
• 数组必须是无序的
• 数组长度必须是 $2$ 的幂
• 数组中的元素必须是整数