xref: /freebsd/lib/libc/stdlib/bsearch.3 (revision 345e740a1bd30cd8511dfc0957dc0eaef4353d5c)
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.\"
3258f0484fSRodney W. Grimes.\"     @(#)bsearch.3	8.3 (Berkeley) 4/19/94
337f3dea24SPeter Wemm.\" $FreeBSD$
3458f0484fSRodney W. Grimes.\"
35*345e740aSKonstantin Belousov.Dd July 17, 2019
3658f0484fSRodney W. Grimes.Dt BSEARCH 3
3758f0484fSRodney W. Grimes.Os
3858f0484fSRodney W. Grimes.Sh NAME
3958f0484fSRodney W. Grimes.Nm bsearch
4058f0484fSRodney W. Grimes.Nd binary search of a sorted table
4125bb73e0SAlexey Zelkin.Sh LIBRARY
4225bb73e0SAlexey Zelkin.Lb libc
4358f0484fSRodney W. Grimes.Sh SYNOPSIS
448aefde06SJeroen Ruigrok van der Werven.In stdlib.h
4558f0484fSRodney W. Grimes.Ft void *
4658f0484fSRodney W. Grimes.Fn bsearch "const void *key" "const void *base" "size_t nmemb" "size_t size" "int (*compar) (const void *, const void *)"
4758f0484fSRodney W. Grimes.Sh DESCRIPTION
4858f0484fSRodney W. GrimesThe
4958f0484fSRodney W. Grimes.Fn bsearch
5058f0484fSRodney W. Grimesfunction searches an array of
5158f0484fSRodney W. Grimes.Fa nmemb
5258f0484fSRodney W. Grimesobjects, the initial member of which is
5358f0484fSRodney W. Grimespointed to by
5458f0484fSRodney W. Grimes.Fa base ,
5558f0484fSRodney W. Grimesfor a member that matches the object pointed to by
5658f0484fSRodney W. Grimes.Fa key .
5758f0484fSRodney W. GrimesThe size of each member of the array is specified by
5858f0484fSRodney W. Grimes.Fa size .
5958f0484fSRodney W. Grimes.Pp
6058f0484fSRodney W. GrimesThe contents of the array should be in ascending sorted order according
6158f0484fSRodney W. Grimesto the comparison function referenced by
6258f0484fSRodney W. Grimes.Fa compar .
6358f0484fSRodney W. GrimesThe
6458f0484fSRodney W. Grimes.Fa compar
6558f0484fSRodney W. Grimesroutine
6658f0484fSRodney W. Grimesis expected to have
6758f0484fSRodney W. Grimestwo arguments which point to the
6858f0484fSRodney W. Grimes.Fa key
6958f0484fSRodney W. Grimesobject and to an array member, in that order, and should return an integer
7058f0484fSRodney W. Grimesless than, equal to, or greater than zero if the
7158f0484fSRodney W. Grimes.Fa key
7258f0484fSRodney W. Grimesobject is found, respectively, to be less than, to match, or be
7358f0484fSRodney W. Grimesgreater than the array member.
74b3d4294fSGiorgos KeramidasSee the
75b3d4294fSGiorgos Keramidas.Fa int_compare
76b3d4294fSGiorgos Keramidassample function in
77b3d4294fSGiorgos Keramidas.Xr qsort 3
78b3d4294fSGiorgos Keramidasfor a comparison function that is also compatible with
79b3d4294fSGiorgos Keramidas.Fn bsearch .
8058f0484fSRodney W. Grimes.Sh RETURN VALUES
8158f0484fSRodney W. GrimesThe
8258f0484fSRodney W. Grimes.Fn bsearch
8358f0484fSRodney W. Grimesfunction returns a pointer to a matching member of the array, or a null
8458f0484fSRodney W. Grimespointer if no match is found.
8558f0484fSRodney W. GrimesIf two members compare as equal, which member is matched is unspecified.
8615c9c06eSBenedict Reuschling.Sh EXAMPLES
8715c9c06eSBenedict ReuschlingA sample program that searches people by age in a sorted array:
8815c9c06eSBenedict Reuschling.Bd -literal
8915c9c06eSBenedict Reuschling#include <assert.h>
9015c9c06eSBenedict Reuschling#include <stdint.h>
9115c9c06eSBenedict Reuschling#include <stdio.h>
9215c9c06eSBenedict Reuschling#include <stdlib.h>
9315c9c06eSBenedict Reuschling#include <string.h>
9415c9c06eSBenedict Reuschling
9515c9c06eSBenedict Reuschlingstruct person {
96*345e740aSKonstantin Belousov	const char 	*name;
9715c9c06eSBenedict Reuschling	int 		age;
9815c9c06eSBenedict Reuschling};
9915c9c06eSBenedict Reuschling
100*345e740aSKonstantin Belousovstatic int
101*345e740aSKonstantin Belousovcompare(const void *a, const void *b)
10215c9c06eSBenedict Reuschling{
103*345e740aSKonstantin Belousov	const int *age;
104*345e740aSKonstantin Belousov	const struct person *person;
10515c9c06eSBenedict Reuschling
106*345e740aSKonstantin Belousov	age = a;
107*345e740aSKonstantin Belousov	person = b;
108*345e740aSKonstantin Belousov
109*345e740aSKonstantin Belousov	return (*age - person->age);
11015c9c06eSBenedict Reuschling}
11115c9c06eSBenedict Reuschling
11215c9c06eSBenedict Reuschlingint
113*345e740aSKonstantin Belousovmain(void)
11415c9c06eSBenedict Reuschling{
11515c9c06eSBenedict Reuschling	struct person *friend;
116*345e740aSKonstantin Belousov	int age;
11715c9c06eSBenedict Reuschling	/* Sorted array */
118*345e740aSKonstantin Belousov	const struct person friends[] = {
11915c9c06eSBenedict Reuschling		{ "paul", 22 },
12015c9c06eSBenedict Reuschling		{ "anne", 25 },
12115c9c06eSBenedict Reuschling		{ "fred", 25 },
12215c9c06eSBenedict Reuschling		{ "mary", 27 },
12315c9c06eSBenedict Reuschling		{ "mark", 35 },
12415c9c06eSBenedict Reuschling		{ "bill", 50 }
12515c9c06eSBenedict Reuschling	};
126*345e740aSKonstantin Belousov	const size_t len = sizeof(friends) / sizeof(friends[0]);
12715c9c06eSBenedict Reuschling
128*345e740aSKonstantin Belousov	age = 22;
129*345e740aSKonstantin Belousov	friend = bsearch(&age, friends, len, sizeof(friends[0]), compare);
13015c9c06eSBenedict Reuschling	assert(strcmp(friend->name, "paul") == 0);
13115c9c06eSBenedict Reuschling	printf("name: %s\enage: %d\en", friend->name, friend->age);
13215c9c06eSBenedict Reuschling
133*345e740aSKonstantin Belousov	age = 25;
134*345e740aSKonstantin Belousov	friend = bsearch(&age, friends, len, sizeof(friends[0]), compare);
135*345e740aSKonstantin Belousov
136*345e740aSKonstantin Belousov	/*
137*345e740aSKonstantin Belousov	 * For multiple elements with the same key, it is implementation
138*345e740aSKonstantin Belousov	 * defined which will be returned
139*345e740aSKonstantin Belousov	 */
140*345e740aSKonstantin Belousov	assert(strcmp(friend->name, "fred") == 0 ||
141*345e740aSKonstantin Belousov	    strcmp(friend->name, "anne") == 0);
14215c9c06eSBenedict Reuschling	printf("name: %s\enage: %d\en", friend->name, friend->age);
14315c9c06eSBenedict Reuschling
144*345e740aSKonstantin Belousov	age = 30;
145*345e740aSKonstantin Belousov	friend = bsearch(&age, friends, len, sizeof(friends[0]), compare);
14615c9c06eSBenedict Reuschling	assert(friend == NULL);
14715c9c06eSBenedict Reuschling	printf("friend aged 30 not found\en");
14815c9c06eSBenedict Reuschling}
14915c9c06eSBenedict Reuschling.Ed
15058f0484fSRodney W. Grimes.Sh SEE ALSO
15158f0484fSRodney W. Grimes.Xr db 3 ,
15258f0484fSRodney W. Grimes.Xr lsearch 3 ,
15375141cc9SWolfram Schneider.Xr qsort 3
15458f0484fSRodney W. Grimes.\" .Xr tsearch 3
15558f0484fSRodney W. Grimes.Sh STANDARDS
15658f0484fSRodney W. GrimesThe
15758f0484fSRodney W. Grimes.Fn bsearch
15858f0484fSRodney W. Grimesfunction conforms to
159588a200cSRuslan Ermilov.St -isoC .
160