Модуль 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.