imported>Alex NB OT: замена имён и значений устаревшего неподдерживаемого InternetArchiveBot формата параметров доступности ссылок (1)

2025-07-16T10:13:21Z

замена имён и значений устаревшего неподдерживаемого InternetArchiveBot формата параметров доступности ссылок (1)

Новая страница

{{значения|Процессор (значения)}}
'''Препроцессор''' — [[компьютерная программа]], принимающая данные на входе и выдающая данные, предназначенные для входа другой программы (например, [[компилятор]]а). О данных на выходе препроцессора говорят, что они находятся в '''препроцессированной''' форме, пригодной для обработки последующими программами (компилятор). Результат и вид обработки зависят от вида препроцессора; так, некоторые препроцессоры могут только выполнить простую текстовую подстановку, другие способны по возможностям сравниться с языками программирования. Наиболее частый случай использования препроцессора — обработка [[исходный код|исходного кода]] перед передачей его на следующий шаг компиляции. [[Язык программирования|Языки программирования]] [[Си (язык программирования)|C]]/[[C++]] и система [[компьютер]]ной [[вёрстка|вёрстки]] [[TeX]] используют препроцессоры, значительно расширяющие их возможности.

В некоторых языках программирования этап [[Компиляция (программирование)|компиляции]] и [[Транслятор|трансляции]] получили название «препроцессинга».

== Лексические препроцессоры ==
Лексическими препроцессорами называют низкоуровневые препроцессоры, потому что они требуют только [[лексический анализ|лексического анализа]], то есть они обрабатывают только исходный текст перед [[парсер|парсингом]], выполняя простую замену [[Лексема (информатика)|лексем]] и специальных символов заданными последовательностями символов, в соответствии с правилами, установленными пользователями. Обычно они выполняют замену [[макрос]]ов, текстовые вставки из других файлов, а также [[условная компиляция|условную компиляцию]] или подключение файлов.

=== Препроцессинг в C/C++ ===
{{main|Препроцессор Си}}
Наиболее широкое распространение среди лексических препроцессоров получил препроцессор языка Си, используемый в языках программирования [[Си (язык программирования)|Си]] и его потомке — [[C++]]. Препроцессор удаляет из кода [[Комментарии (программирование)|комментарии]], преобразует код в соответствии с макросами и выполняет иные директивы, начинающиеся с символа «#» (такие как #include, #define, разнообразные директивы типа #pragma).

== Язык программирования PHP ==
[[PHP]] чаще всего используется при обработке [[веб-страница|веб-страниц]]. Текст страницы считывается и выдаётся в неизменном виде. Единственным исключением является наличие в тексте страницы инструкций PHP, ограниченных <code><?php</code> в начале и <code>?></code> в конце.

Пример текста страницы, содержащей текущее время:
<source lang="html4strict">
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>Текущее время</title>
</head>
<body>
<h1>Текущее время</h1>
<?php
print strftime('Сейчас %H часов, %M минут %S секунд');
?>
</body>
</html>
</source>
Препроцессор PHP заменит выделенную строку на:
<source lang="html4strict">
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>Текущее время</title>
</head>
<body>
<h1>Текущее время</h1>
Сейчас 10 часов, 15 минут 20 секунд
</body>
</html>
</source>

=== Прочие лексические препроцессоры ===
Прочие лексические препроцессоры поддерживают универсальный язык [[Макропроцессор m4|m4]], обычно применяемый в кросс-платформенных системах сборки, таких как [[autoconf]], и [[Универсальный макропроцессор|GEMA]] — обработчик макросов с открытым исходным кодом, работа которого основана на [[контекстный шаблон|контекстных шаблонах]].

== Синтаксические препроцессоры ==
Синтаксические препроцессоры впервые были представлены в семействе языков [[Лисп]]. Их роль заключалась в обработке синтаксических деревьев согласно набору правил, определённых пользователем. Для некоторых языков программирования, правила писались на том же самом языке, что и сама программа (симметрия компиляции). Примерами могут служить Лисп и [[OCaml]]. В некоторых языках используется полностью независимый язык для описания преобразований, например, [[XSLT]] препроцессор для [[XML]] или его аналог со статическими типами [[CDuce]].

Синтаксические препроцессоры обычно используются для уточнения синтаксиса языка, расширения языка путём добавления новых примитивов, или встраиванием [[Предметно-ориентированный язык программирования|предметно-ориентированного языка программирования]] в основной язык.

=== Модификация синтаксиса ===

Хороший пример модификации синтаксиса — существование двух различных вариантов синтаксиса<ref>{{Cite web |url=http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html |title=The revised syntax |access-date=2008-07-13 |archive-date=2015-09-24 |archive-url=https://wayback.archive-it.org/all/20150924210556/http://caml.inria.fr/pub/docs/manual-camlp4/manual007.html |url-status=live }}</ref> в языке программирования [[OCaml|Objective Caml]]. Программы можно писать используя ''обычный синтаксис'' или ''исправленный синтаксис'', при этом выбор зависит от желания программиста.

Аналогично, набор программ, написанных на OCaml, имеет возможность настройки синтаксиса языка путём добавления новых операторов.

=== Расширение языка ===

Отличными примерами расширения языка при помощи макросов может служить их использование в семействе языков программирования [[Лисп]]. В то время как эти языки сами по себе имеют простые ядра, ориентированные на динамические типы, стандартные поставки [[Схема (язык программирования)|Схема]], императивы [[Common Lisp]], объектно-ориентированное программирование ориентированы на статические типы. Почти все эти свойства реализованы синтаксическими препроцессорами, хотя это несёт в себе отпечаток этапа компиляции «расширения макросами», управляемой компилятором Лисп. Это всё ещё может считаться формой препроцессорной обработки, так как это происходит перед остальными этапами компиляции.

Аналогично, типобезопасные [[регулярные выражения]] или [[Кодогенерация|генерация кода]] могут быть добавлены в синтаксис и семантику [[OCaml]] при помощи макросов, например, микронити (также известные как [[Сопрограмма|сопрограммы]] или [[Волокно (информатика)|волокна]]), [[Монада (программирование)|монады]] или прозрачная обработка XML.

=== Специализированный язык ===

Одной из необычных особенностей семейства языков [[Лисп]] является возможность использования макросов для создания встроенного [[Предметно-ориентированный язык программирования|предметно-ориентированного языка программирования]]. Обычно, в большом количестве проектов, написанных на языке Лисп, модуль может быть написан на множестве подобных миниязыков, то есть, один может использовать [[SQL]]-диалект языка Лисп, а другой может быть написан на диалекте, ориентированном на графический интерфейс пользователя или вывод на принтер и так далее. Стандартная библиотека [[Common Lisp]] содержит пример такого уровня синтаксической абстракции в виде макроса LOOP, который реализует миниязыки, подобные языку Алгол, для описания комплексной итерации, при сохранении возможности использовать стандартные операторы Лисп.

Препроцессор/язык [[MetaOCaml]] обеспечивает схожие возможности и для внешнего [[Предметно-ориентированный язык программирования|предметно-ориентированного языка программирования]]. Этот препроцессор, получая описание семантики языка (так называемая «интерпретация») и комбинируя интерпретацию во время компиляции и генерации кода, передаёт это определение компилятору языка [[OCaml]], а тот на основе этого языка создаёт байт-код или естественный код.

== Макропроцессор общего назначения ==
Препроцессоры, выполняя только один из этапов трансляции, ориентированы на задачу фрагментарной обработки данных (например, [[компилятор|компиляция]] языка [[Си (язык программирования)|Си]]). Сходные с ними программы, называемые в таком случае [[макропроцессор]]ами, также могут предназначаться для общих целей, то есть перед ними не ставится цель реализации специфического использования или языка программирования, а они разрабатываются для использования широкого круга задач обработки данных.

[[Макропроцессор m4]] вероятно наиболее известный пример подобного макропроцессора общего назначения.

== Примеры ==

* Применение [[Препроцессор Си|препроцессора Си]] для препроцессинга [[JavaScript]]-кода<ref>T. Snyder. [http://blog.inetoffice.com/?p=12 JavaScript is Not Industrial Strength] {{Wayback|url=http://blog.inetoffice.com/?p=12 |date=20080116034428 }} Как использовать [[препроцессор Си]] для JavaScript-кода</ref>.
* Применение [[Макропроцессор m4|M4]] <small>(см. пример в статье)</small> или [[Препроцессор Си|препроцессора Си]] в качестве [[движка шаблонов]] для генерации [[HTML]].<ref>J. Korpela. [http://www.cs.tut.fi/~jkorpela/html/cpre.html Using a C preprocessor as an HTML authoring tool] {{Wayback|url=http://www.cs.tut.fi/~jkorpela/html/cpre.html |date=20151208142426 }} 2000.</ref>
* [[imake]] (от ''interface [[make]]'') использует препроцессор Си. Применялся в проекте [[X Window System]] до перехода на [[automake]].
* [[grompp]] — макропроцессор для файлов моделей проекта [[GROMACS]] (свободные программы с открытым кодом для решения проблем [[вычислительная химия|вычислительной химии]]). По умолчанию использует препроцессор Си, но в файле модели можно указать любой другой препроцессор. Применяется для проверки разметки. Использует директивы <code lang="c">#define</code> и <code lang="c">#include</code>.
* [[Sass]], и [[LESS (язык стилей)|LESS]] — это препроцессоры CSS.

== Интересные факты ==

* Название широко распространённого препроцессора [[PHP]] является [[Рекурсивный акроним|рекурсивным акронимом]]: PHP — «'''p'''hp: '''h'''ypertext '''p'''reprocessor».

== См. также ==
* [[Директива (программирование)]]
* [[Препроцессор GPRE]]
* [[Метапрограммирование]]
* [[Сниппет]]

== Примечания ==
{{примечания}}

== Ссылки ==
{{Wiktionarypar|preprocessor}}
* [https://web.archive.org/web/20090214092527/http://lispm.dyndns.org/news?ID=NEWS-2005-07-08-1 DSL Design in Lisp]
* [http://www.paulgraham.com/progbot.html Программирование снизу вверх] {{Wayback|url=http://www.paulgraham.com/progbot.html |date=20210505083832 }}
* The [[PIKT]] [http://pikt.org/pikt/ref/ref.4.piktc.html piktc] {{Wayback|url=http://pikt.org/pikt/ref/ref.4.piktc.html |date=20201202194401 }} [http://pikt.org/pikt/ref/ref.3.html text, script, and configuration file preprocessor] {{Wayback|url=http://pikt.org/pikt/ref/ref.3.html |date=20201202060607 }}

[[Категория:Препроцессоры]]

Препроцессор - История изменений

imported>Alex NB OT: замена имён и значений устаревшего неподдерживаемого InternetArchiveBot формата параметров доступности ссылок (1)