std::bsearch
来自cppreference.com
| 定义于头文件 <cstdlib>
|
||
| void* bsearch( const void* key, const void* ptr, std::size_t count, std::size_t size, /*compare-pred*/* comp ); |
(1) | |
| extern "C++" using /*compare-pred*/ = int(const void*, const void*); // 仅用于阐释 extern "C" using /*c-compare-pred*/ = int(const void*, const void*); // 仅用于阐释 |
(2) | |
在 ptr 所指向的数组中寻找等于 key 所指向的元素的元素。数组含有 count 个 size 字节的元素，且必须相对于 key 所指向的对象划分，即所有比较小于它的元素必须先出现于比较等于它的元素，而比较等于它者必须先出现于所有比较大于该关键对象的元素。完全排序的数组满足这些要求。用 comp 所指的函数比较数组元素。
若数组未以按照 comp 所用的相同原则相对于 key 升序划分则行为未定义。
若数组含有数个 comp 会指示等于被搜索元素的元素，则函数返回哪个元素是未指定的。
参数
| key | - | 指向要搜索的元素的指针 |
| ptr | - | 指向要检验的数组的指针 |
| count | - | 数组中元素的数量 |
| size | - | 数组中每个元素的大小，以字节表示 |
| comp | - | 比较函数。若首个参数小于第二个，则返回负整数值，若首个参数大于第二个，则返回正整数值，若两参数等价，则返回零。作为首参数传递 key ，作为第二参数传递来自数组的元素。比较函数的签名应等价于如下形式： int cmp(const void *a, const void *b); 该函数必须不修改传递给它的对象，而且在调用比较相同对象时必须返回一致的结果，无关乎它们在数组中的位置。 |
返回值
指向找到的元素的指针，或若找不到元素则为空指针。
注解
无关乎名称， C 或 POSIX 标准都不要求此函数用二分查找实现，或进行任何复杂度保证。
C++ 标准库提供的二个重载不同，因为参数 comp 类型有别（语言链接是类型的一部分）。
示例
运行此代码
#include <iostream> #include <cstdlib> #include <array> template <typename T> int compare(const void *a, const void *b) { const auto &arg1 = *(static_cast<const T*>(a)); const auto &arg2 = *(static_cast<const T*>(b)); const auto cmp = arg1 <=> arg2; return cmp < 0 ? -1 : cmp > 0 ? +1 : 0; } int main() { std::array arr { 1, 2, 3, 4, 5, 6, 7, 8 }; for (const int key : { 4, 8, 9 }) { const int* p = static_cast<int*>( std::bsearch(&key, arr.data(), arr.size(), sizeof(decltype(arr)::value_type), compare<int>)); std::cout << "value " << key; (p) ? std::cout << " found at position " << (p - arr.data()) << '\n' : std::cout << " not found\n"; } }
输出：
value 4 found at position 3 value 8 found at position 7 value 9 not found
参阅
| 对未指定类型的元素的一个范围进行排序 (函数) | |
| 返回匹配特定键值的元素范围 (函数模板) |