xref: /freebsd/lib/libc/stdlib/bsearch.3 (revision dc36d6f9bb1753f3808552f3afd30eda9a7b206a)
158f0484fSRodney W. Grimes.\" Copyright (c) 1990, 1991, 1993, 1994
258f0484fSRodney W. Grimes.\"	The Regents of the University of California.  All rights reserved.
358f0484fSRodney W. Grimes.\"
458f0484fSRodney W. Grimes.\" This code is derived from software contributed to Berkeley by
558f0484fSRodney W. Grimes.\" the American National Standards Committee X3, on Information
658f0484fSRodney W. Grimes.\" Processing Systems.
758f0484fSRodney W. Grimes.\"
858f0484fSRodney W. Grimes.\" Redistribution and use in source and binary forms, with or without
958f0484fSRodney W. Grimes.\" modification, are permitted provided that the following conditions
1058f0484fSRodney W. Grimes.\" are met:
1158f0484fSRodney W. Grimes.\" 1. Redistributions of source code must retain the above copyright
1258f0484fSRodney W. Grimes.\"    notice, this list of conditions and the following disclaimer.
1358f0484fSRodney W. Grimes.\" 2. Redistributions in binary form must reproduce the above copyright
1458f0484fSRodney W. Grimes.\"    notice, this list of conditions and the following disclaimer in the
1558f0484fSRodney W. Grimes.\"    documentation and/or other materials provided with the distribution.
163fb3b97cSEd Maste.\" 3. Neither the name of the University nor the names of its contributors
1758f0484fSRodney W. Grimes.\"    may be used to endorse or promote products derived from this software
1858f0484fSRodney W. Grimes.\"    without specific prior written permission.
1958f0484fSRodney W. Grimes.\"
2058f0484fSRodney W. Grimes.\" THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
2158f0484fSRodney W. Grimes.\" ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
2258f0484fSRodney W. Grimes.\" IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
2358f0484fSRodney W. Grimes.\" ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
2458f0484fSRodney W. Grimes.\" FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
2558f0484fSRodney W. Grimes.\" DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
2658f0484fSRodney W. Grimes.\" OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
2758f0484fSRodney W. Grimes.\" HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
2858f0484fSRodney W. Grimes.\" LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
2958f0484fSRodney W. Grimes.\" OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
3058f0484fSRodney W. Grimes.\" SUCH DAMAGE.
3158f0484fSRodney W. Grimes.\"
32*345e740aSKonstantin Belousov.Dd July 17, 2019
3358f0484fSRodney W. Grimes.Dt BSEARCH 3
3458f0484fSRodney W. Grimes.Os
3558f0484fSRodney W. Grimes.Sh NAME
3658f0484fSRodney W. Grimes.Nm bsearch
3758f0484fSRodney W. Grimes.Nd binary search of a sorted table
3825bb73e0SAlexey Zelkin.Sh LIBRARY
3925bb73e0SAlexey Zelkin.Lb libc
4058f0484fSRodney W. Grimes.Sh SYNOPSIS
418aefde06SJeroen Ruigrok van der Werven.In stdlib.h
4258f0484fSRodney W. Grimes.Ft void *
4358f0484fSRodney W. Grimes.Fn bsearch "const void *key" "const void *base" "size_t nmemb" "size_t size" "int (*compar) (const void *, const void *)"
4458f0484fSRodney W. Grimes.Sh DESCRIPTION
4558f0484fSRodney W. GrimesThe
4658f0484fSRodney W. Grimes.Fn bsearch
4758f0484fSRodney W. Grimesfunction searches an array of
4858f0484fSRodney W. Grimes.Fa nmemb
4958f0484fSRodney W. Grimesobjects, the initial member of which is
5058f0484fSRodney W. Grimespointed to by
5158f0484fSRodney W. Grimes.Fa base ,
5258f0484fSRodney W. Grimesfor a member that matches the object pointed to by
5358f0484fSRodney W. Grimes.Fa key .
5458f0484fSRodney W. GrimesThe size of each member of the array is specified by
5558f0484fSRodney W. Grimes.Fa size .
5658f0484fSRodney W. Grimes.Pp
5758f0484fSRodney W. GrimesThe contents of the array should be in ascending sorted order according
5858f0484fSRodney W. Grimesto the comparison function referenced by
5958f0484fSRodney W. Grimes.Fa compar .
6058f0484fSRodney W. GrimesThe
6158f0484fSRodney W. Grimes.Fa compar
6258f0484fSRodney W. Grimesroutine
6358f0484fSRodney W. Grimesis expected to have
6458f0484fSRodney W. Grimestwo arguments which point to the
6558f0484fSRodney W. Grimes.Fa key
6658f0484fSRodney W. Grimesobject and to an array member, in that order, and should return an integer
6758f0484fSRodney W. Grimesless than, equal to, or greater than zero if the
6858f0484fSRodney W. Grimes.Fa key
6958f0484fSRodney W. Grimesobject is found, respectively, to be less than, to match, or be
7058f0484fSRodney W. Grimesgreater than the array member.
71b3d4294fSGiorgos KeramidasSee the
72b3d4294fSGiorgos Keramidas.Fa int_compare
73b3d4294fSGiorgos Keramidassample function in
74b3d4294fSGiorgos Keramidas.Xr qsort 3
75b3d4294fSGiorgos Keramidasfor a comparison function that is also compatible with
76b3d4294fSGiorgos Keramidas.Fn bsearch .
7758f0484fSRodney W. Grimes.Sh RETURN VALUES
7858f0484fSRodney W. GrimesThe
7958f0484fSRodney W. Grimes.Fn bsearch
8058f0484fSRodney W. Grimesfunction returns a pointer to a matching member of the array, or a null
8158f0484fSRodney W. Grimespointer if no match is found.
8258f0484fSRodney W. GrimesIf two members compare as equal, which member is matched is unspecified.
8315c9c06eSBenedict Reuschling.Sh EXAMPLES
8415c9c06eSBenedict ReuschlingA sample program that searches people by age in a sorted array:
8515c9c06eSBenedict Reuschling.Bd -literal
8615c9c06eSBenedict Reuschling#include <assert.h>
8715c9c06eSBenedict Reuschling#include <stdint.h>
8815c9c06eSBenedict Reuschling#include <stdio.h>
8915c9c06eSBenedict Reuschling#include <stdlib.h>
9015c9c06eSBenedict Reuschling#include <string.h>
9115c9c06eSBenedict Reuschling
9215c9c06eSBenedict Reuschlingstruct person {
93*345e740aSKonstantin Belousov	const char 	*name;
9415c9c06eSBenedict Reuschling	int 		age;
9515c9c06eSBenedict Reuschling};
9615c9c06eSBenedict Reuschling
97*345e740aSKonstantin Belousovstatic int
98*345e740aSKonstantin Belousovcompare(const void *a, const void *b)
9915c9c06eSBenedict Reuschling{
100*345e740aSKonstantin Belousov	const int *age;
101*345e740aSKonstantin Belousov	const struct person *person;
10215c9c06eSBenedict Reuschling
103*345e740aSKonstantin Belousov	age = a;
104*345e740aSKonstantin Belousov	person = b;
105*345e740aSKonstantin Belousov
106*345e740aSKonstantin Belousov	return (*age - person->age);
10715c9c06eSBenedict Reuschling}
10815c9c06eSBenedict Reuschling
10915c9c06eSBenedict Reuschlingint
110*345e740aSKonstantin Belousovmain(void)
11115c9c06eSBenedict Reuschling{
11215c9c06eSBenedict Reuschling	struct person *friend;
113*345e740aSKonstantin Belousov	int age;
11415c9c06eSBenedict Reuschling	/* Sorted array */
115*345e740aSKonstantin Belousov	const struct person friends[] = {
11615c9c06eSBenedict Reuschling		{ "paul", 22 },
11715c9c06eSBenedict Reuschling		{ "anne", 25 },
11815c9c06eSBenedict Reuschling		{ "fred", 25 },
11915c9c06eSBenedict Reuschling		{ "mary", 27 },
12015c9c06eSBenedict Reuschling		{ "mark", 35 },
12115c9c06eSBenedict Reuschling		{ "bill", 50 }
12215c9c06eSBenedict Reuschling	};
123*345e740aSKonstantin Belousov	const size_t len = sizeof(friends) / sizeof(friends[0]);
12415c9c06eSBenedict Reuschling
125*345e740aSKonstantin Belousov	age = 22;
126*345e740aSKonstantin Belousov	friend = bsearch(&age, friends, len, sizeof(friends[0]), compare);
12715c9c06eSBenedict Reuschling	assert(strcmp(friend->name, "paul") == 0);
12815c9c06eSBenedict Reuschling	printf("name: %s\enage: %d\en", friend->name, friend->age);
12915c9c06eSBenedict Reuschling
130*345e740aSKonstantin Belousov	age = 25;
131*345e740aSKonstantin Belousov	friend = bsearch(&age, friends, len, sizeof(friends[0]), compare);
132*345e740aSKonstantin Belousov
133*345e740aSKonstantin Belousov	/*
134*345e740aSKonstantin Belousov	 * For multiple elements with the same key, it is implementation
135*345e740aSKonstantin Belousov	 * defined which will be returned
136*345e740aSKonstantin Belousov	 */
137*345e740aSKonstantin Belousov	assert(strcmp(friend->name, "fred") == 0 ||
138*345e740aSKonstantin Belousov	    strcmp(friend->name, "anne") == 0);
13915c9c06eSBenedict Reuschling	printf("name: %s\enage: %d\en", friend->name, friend->age);
14015c9c06eSBenedict Reuschling
141*345e740aSKonstantin Belousov	age = 30;
142*345e740aSKonstantin Belousov	friend = bsearch(&age, friends, len, sizeof(friends[0]), compare);
14315c9c06eSBenedict Reuschling	assert(friend == NULL);
14415c9c06eSBenedict Reuschling	printf("friend aged 30 not found\en");
14515c9c06eSBenedict Reuschling}
14615c9c06eSBenedict Reuschling.Ed
14758f0484fSRodney W. Grimes.Sh SEE ALSO
14858f0484fSRodney W. Grimes.Xr db 3 ,
14958f0484fSRodney W. Grimes.Xr lsearch 3 ,
15075141cc9SWolfram Schneider.Xr qsort 3
15158f0484fSRodney W. Grimes.\" .Xr tsearch 3
15258f0484fSRodney W. Grimes.Sh STANDARDS
15358f0484fSRodney W. GrimesThe
15458f0484fSRodney W. Grimes.Fn bsearch
15558f0484fSRodney W. Grimesfunction conforms to
156588a200cSRuslan Ermilov.St -isoC .
157