为何std::binary_search在Windows cmd和Linux终端执行结果不一致

问题原因分析 #

• 未初始化的局部数组存在未定义值
  你声明的int arr[5]是栈上的局部变量，C++标准不会对栈局部变量做默认初始化，因此arr[0]、arr[1]、arr[2]三个位置存储的是栈内存上的随机垃圾值，只有arr[3]、arr[4]是你主动赋值的合法值。
• std::binary_search的前置条件未满足
  C++标准明确规定，调用std::binary_search的输入区间必须是按升序严格有序的，否则程序行为是未定义的。你调用时传入的是整个长度为5的数组区间[arr, arr+5)，前三个元素是随机垃圾值，整个序列大概率不满足升序要求，因此搜索结果完全不可预期。

跨平台结果差异的原因 #

两个平台的栈内存初始布局不同：

• WSL的Linux环境下，栈上未初始化的arr[0]、arr[1]、arr[2]的随机值刚好让整个5元素数组符合升序要求，因此binary_search正常执行找到了下标3处的60，返回true。
• Windows的MinGW环境下，前三个位置的垃圾值打乱了数组顺序，binary_search执行过程中匹配失败，返回false。

这两种结果都是未定义行为的正常表现，不存在哪一个是绝对"正确"的，只是刚好Linux下的随机值符合你的预期而已。

修复方案 #

你可以选择两种修改方式：

1. 只在你赋值的合法区间搜索，且保证该区间有序：
   把搜索代码改成binary_search(arr+3, arr+5, 60)，只搜索下标3到4的两个元素，这两个元素是60、90，天然升序，搜索结果一定正确。
2. 初始化整个数组，避免未定义值：
   声明数组时写成int arr[5] = {0};，所有元素默认初始化为0，此时数组前三个元素都是0，后续元素是60、90，整个数组升序，搜索整个区间也能得到正确结果。

内容的提问来源于stack exchange，提问作者Manu Varghese