Функции и операторы для битовых строк

В этом разделе описываются функции и операторы для проверки и обработки битовых строк, то есть значений типов bit и bit varying. (Хотя в этих таблицах упоминается только тип bit, вместо них можно использовать значения типа bit varying) Битовые строки поддерживают обычные операторы сравнения, показанные в таблице Операторы сравнения, а также операторы, перечисленные в Таблице 14.

Таблица 14. Операторы для битовых строк

Оператор
	Описание Пример(ы)
bit || bit → bit
	Конкатенация B'10001' || B'011' → 10001011
bit & bit → bit
	Побитовое И (операнды должны быть одинаковой длины) B'10001' & B'01101' → 00001
bit | bit → bit
	Побитовое ИЛИ (операнды должны быть одинаковой длины) B'10001' | B'01101' → 11101
bit # bit → bit
	Побитовое исключающее ИЛИ (операнды должны быть одинаковой длины) B'10001' # B'01101' → 11100
~ bit → bit
	Побитовое НЕ ~ B'10001' → 01110
bit << integer → bit
	Битовый сдвиг влево (с сохранением длины строки) B'10001' << 3 → 01000
bit >> integer → bit
	Битовый сдвиг вправо (с сохранением длины строки) B'10001' >> 2 → 00100

Некоторые из функций, имеющихся для двоичных строк, работают также и с битовыми строками, как показано в Таблице 15.

Таблица 15. Функции для битовых строк

Функция
	Описание Пример(ы)
bit_count ( bit ) → bigint
	Возвращает количество установленных битов (единиц) в битовой строке (эта операция также известна как «popcount»). bit_count(B'10111') → 4
bit_length ( bit ) → integer
	Возвращает количество битов в битовой строке. bit_length(B'10111') → 5
length ( bit ) → integer
	Возвращает количество битов в битовой строке. length(B'10111') → 5
octet_length ( bit ) → integer
	Возвращает количество байтов в битовой строке. octet_length(B'1011111011') → 2
overlay ( битовая_строка bit PLACING новая_подстрока bit FROM начало integer [ FOR число integer ] ) → bit
	Заменяет в битовой_строке подстроку, начинающуюся с бита на позиции начало и длиной в заданное число бит, на новую_подстроку. Если число опущено, по умолчанию количество заменяемых битов определяется длиной новой_подстроки. overlay(B'01010101010101010' placing B'11111' from 2 for 3) → 0111110101010101010
position ( подстрока bit IN битовая_строка bit ) → integer
	Возвращает начальную позицию первого вхождения подстроки в битовой_строке или ноль, если такого вхождения нет. position(B'010' in B'000001101011') → 8
substring ( битовая_строка bit [ FROM начало integer ] [ FOR число integer ] ) → bit
	Извлекает из битовой_строки подстроку, начиная с бита на позиции начало (если таковая указана), и останавливаясь после заданного числа бит, если оно указано. Должен присутствовать хотя бы один из параметров: начало или число. substring(B'110010111111' from 3 for 2) → 00
get_bit ( битовая_строка bit, n integer ) → integer
	Извлекает из битовой строки n-й бит; первый (самый левый) бит имеет номер 0. get_bit(B'101010101010101010', 6) → 1
set_bit ( битовая_строка bit, n integer, новое_значение integer ) → bit
	Устанавливает для n-го бита в битовой строке новое_значение; первый (самый левый) бит имеет номер 0. set_bit(B'101010101010101010', 6, 0) → 101010001010101010

Кроме того, в тип bit и обратно можно преобразовывать целочисленные значения. Приведение целого числа к типу bit(n) копирует в него n самых правых бит. Когда целое число приводится к битовой строке с большей длиной, чем размер самого целого, результат дополняется слева знаком. Некоторые примеры:

44::bit(10)                    0000101100
44::bit(3)                     100
cast(-44 as bit(12))           111111010100
'1110'::bit(4)::integer        14

Обратите внимание, что приведение к типу «bit» без длины означает приведение к bit(1) и выдаст только один младший значащий бит целого.