Модуль Printf

fprintf outchan format arg1 ... argN форматирует аргументы arg1 в argN согласно строке формата format, и выводит полученную строку на канал outchan.

Строка формата — это строка символов, которая содержит два типа объектов: обычные символы, которые просто копируются на канал вывода, и спецификации преобразования, каждая из которых вызывает преобразование и вывод аргументов.

Спецификации преобразования имеют следующий вид:

% [flags] [width] [.precision] type

Короче говоря, спецификация преобразования состоит из символа %, за которым следуют необязательные модификаторы и тип, состоящий из одного или двух символов.

Типы и их значения:

• d, i: преобразуют целочисленный аргумент в знаковое десятичное представление. Флаг # добавляет подчеркивания к большим значениям для лучшей читаемости.
• u, n, l, L, или N: преобразуют целочисленный аргумент в беззнаковое десятичное представление. Предупреждение: n, l, L, и N используются для scanf, и не должны использоваться для printf. Флаг # добавляет подчеркивания к большим значениям для лучшей читаемости.
• x: преобразует целочисленный аргумент в беззнаковое шестнадцатеричное представление, используя строчные буквы. Флаг # добавляет префикс 0x к ненулевым значениям.
• X: преобразует целочисленный аргумент в беззнаковое шестнадцатеричное представление, используя заглавные буквы. Флаг # добавляет префикс 0X к ненулевым значениям.
• o: преобразует целочисленный аргумент в беззнаковое восьмеричное представление. Флаг # добавляет префикс 0 к ненулевым значениям.
• s: вставляет строковый аргумент.
• S: преобразует строковый аргумент в синтаксис OCaml (двойные кавычки, экранирование).
• c: вставляет символьный аргумент.
• C: преобразует символьный аргумент в синтаксис OCaml (одинарные кавычки, экранирование).
• f: преобразует аргумент с плавающей точкой в десятичную запись в стиле dddd.ddd.
• F: преобразует аргумент с плавающей точкой в синтаксис OCaml (dddd. или dddd.ddd или d.ddd e+-dd). Преобразует в шестнадцатеричное представление с флагом # (см. h).
• e или E: преобразует аргумент с плавающей точкой в десятичную запись в стиле d.ddd e+-dd (мантисса и экспонента).
• g или G: преобразует аргумент с плавающей точкой в десятичную запись в стиле f или e, E (то, что более компактно). Кроме того, все хвостовые нули удаляются из дробной части результата, и символ десятичной точки удаляется, если дробная часть не осталась.
• h или H: преобразует аргумент с плавающей точкой в шестнадцатеричную запись в стиле 0xh.hhhh p+-dd (шестнадцатеричная мантисса, экспонента в десятичной системе, обозначает степень двойки).
• B: преобразует булевый аргумент в строку true или false
• b: преобразует булевый аргумент (устаревший; не использовать в новых программах).
• ld, li, lu, lx, lX, lo: преобразует аргумент int32 в формат, указанный второй буквой (десятичный, шестнадцатеричный и т. д.).
• nd, ni, nu, nx, nX, no: преобразует аргумент nativeint в формат, указанный второй буквой.
• Ld, Li, Lu, Lx, LX, Lo: преобразует аргумент int64 в формат, указанный второй буквой.
• a: пользовательская функция вывода. Принимает два аргумента и применяет первый к outchan (текущий канал вывода) и ко второму аргументу. Поэтому первый аргумент должен иметь тип out_channel -> 'b -> unit, а второй 'b. Выводимая функцией строка вставляется в вывод fprintf в текущей точке.
• t: то же, что и %a, но принимает только один аргумент (типа out_channel -> unit) и применяет его к outchan.
• { fmt %}: преобразует аргумент строки формата в его дайджест типа. Аргумент должен иметь тот же тип, что и внутренняя строка формата fmt.
• ( fmt %): подстановка строки формата. Принимает аргумент строки формата и подставляет его во внутреннюю строку формата fmt для вывода последующих аргументов. Аргумент должен иметь тот же тип, что и внутренняя строка формата fmt.
• !: не принимает аргументов и очищает вывод.
• %: не принимает аргументов и выводит один символ %.
• @: не принимает аргументов и выводит один символ @.
• ,: не принимает аргументов и ничего не выводит: оператор бездействия для спецификаций преобразования.

Необязательные flags:

• -: выравнивает вывод влево (по умолчанию — выравнивание вправо).
• 0: для числовых преобразований, заполняет нулями вместо пробелов.
• +: для знаковых числовых преобразований, добавляет знак + к положительным числам.
• пробел: для знаковых числовых преобразований, добавляет пробел к положительным числам.
• #: запрашивает альтернативный стиль форматирования для целочисленных типов и типа с плавающей точкой F.

Необязательный width — целое число, указывающее минимальную ширину результата. Например, %6d выводит целое число, дополняя его пробелами до 6 символов.

Необязательный precision — точка ., за которой следует целое число, указывающее количество цифр после десятичной точки в преобразованиях %f, %e, %E, %h, и %H или максимальное количество значащих цифр для преобразований %F, %g и %G . Например, %.4f выводит число с плавающей точкой с 4 дробными цифрами.

Целое число в width или precision также может быть указано как *, в этом случае дополнительный целочисленный аргумент используется для указания соответствующего width или precision. Этот целочисленный аргумент непосредственно предшествует аргументу для вывода. Например, %.*f выводит число с плавающей точкой с количеством дробных цифр, равным значению аргумента, предшествующему числу с плавающей точкой.

Аналогично Printf.fprintf, но вывод на stdout.

Аналогично Printf.fprintf, но вывод на stderr.

Аналогично Printf.fprintf, но вместо вывода на канал вывода возвращает строку, содержащую результат форматирования аргументов.

Аналогично Printf.fprintf, но вместо вывода на канал вывода, добавляет отформатированные аргументы к заданному расширяемому буферу (см. модуль Buffer).

Аналогично Printf.fprintf, но ничего не выводит. Полезно игнорировать некоторый материал при условном выводе.

Аналогично Printf.bprintf, но ничего не выводит. Полезно игнорировать некоторый материал при условном выводе.

Аналогично fprintf, но вместо немедленного возврата передает канал вывода в свой первый аргумент в конце вывода.

Аналогично kfprintf выше, но ничего не выводит. Полезно игнорировать некоторый материал при условном выводе.

Аналогично sprintf выше, но вместо возвращения строки передает ее первому аргументу.

Аналогично bprintf, но вместо немедленного возврата передает буфер своему первому аргументу в конце вывода.

Аналогично kbprintf выше, но ничего не выводит. Полезно игнорировать некоторый материал при условном выводе.

Устаревший синоним для ksprintf.