为何std::ranges::binary_search与std::binary_search同一输入结果不同？

首先明确：正常情况下，你提供的代码中两个函数的输出应该一致，都返回0——因为28不在升序排列的vector中。你遇到的差异大概率是编译器对C++20 ranges的实现存在bug。

两者的默认行为逻辑 #

• std::binary_search：默认用operator<比较，要求序列按operator<升序排列，判断依据是是否存在元素与目标值等价（即!(*it < value) && !(value < *it)）。
• std::ranges::binary_search：默认使用std::ranges::less（等价于operator<），结合默认的identity投影，判断逻辑和普通版本完全一致，同样要求序列按对应规则有序，仅当存在等价元素时返回true。

差异原因分析 #

你的测试结果不符合预期，说明所用编译器的std::ranges::binary_search实现存在错误。这类问题常见于较早的C20编译器版本（比如GCC 9或更早、部分旧版Clang）——这些版本对C20 ranges标准库的支持还不完善，存在实现缺陷。

解决建议 #

升级到较新的编译器版本（比如GCC 11+、Clang 13+）后重新测试，此时两个函数的输出应该一致，均返回0。

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