Jump to content

Препроцессор

(Перенаправлено с предварительной обработки )

В информатике препроцессор (или прекомпилятор ). [1] — это программа , которая обрабатывает входные данные для получения вывода, который используется в качестве входных данных в другой программе. Выходные данные называются предварительно обработанной формой входных данных, которая часто используется некоторыми последующими программами, такими как компиляторы . Объем и вид выполняемой обработки зависят от характера препроцессора; некоторые препроцессоры способны выполнять лишь относительно простые текстовые замены и расширения макросов , в то время как другие обладают возможностями полноценных языков программирования .

Типичным примером компьютерного программирования является обработка исходного кода перед следующим этапом компиляции.В некоторых компьютерных языках (например, C и PL/I ) существует этап перевода, известный как предварительная обработка . Он также может включать обработку макросов, включение файлов и языковые расширения.

Лексические препроцессоры

[ редактировать ]

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

Препроцессор C

[ редактировать ]

Наиболее распространенным примером этого является препроцессор C , который принимает строки, начинающиеся с '#', в качестве директив .Препроцессор C не ожидает, что его входные данные будут использовать синтаксис языка C.Некоторые языки используют другой подход и используют встроенные функции языка для достижения аналогичных целей. Например:

  • Вместо макросов некоторые языки используют агрессивную встраивание и шаблоны.
  • Вместо включений в некоторых языках используется импорт во время компиляции, основанный на информации о типе в объектном коде.
  • Некоторые языки используют if-then-else и устранение мертвого кода для достижения условной компиляции .

Другие лексические препроцессоры

[ редактировать ]

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

Синтаксические препроцессоры

[ редактировать ]

Синтаксические препроцессоры были представлены в Lisp семействе языков . Их роль заключается в преобразовании синтаксических деревьев в соответствии с рядом определяемых пользователем правил. Для некоторых языков программирования правила написаны на том же языке, что и программа (отражение во время компиляции). Это относится к Lisp и OCaml . Некоторые другие языки полагаются на полностью внешний язык для определения преобразований, например препроцессор XSLT для XML или его статически типизированный аналог CDuce.

Синтаксические препроцессоры обычно используются для настройки синтаксиса языка, расширения языка путем добавления новых примитивов или встраивания предметно-ориентированного языка программирования (DSL) в язык общего назначения.

Настройка синтаксиса

[ редактировать ]

Хорошим примером настройки синтаксиса является существование двух разных синтаксисов в языке программирования Objective Caml . [2] Программы могут быть написаны как с «обычным синтаксисом», так и с «пересмотренным синтаксисом», и по запросу могут быть красиво напечатаны с использованием любого из синтаксисов.

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

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

[ редактировать ]

Лучшие примеры расширения языка с помощью макросов можно найти в Лисп семействе языков . Хотя языки сами по себе представляют собой простые динамически типизированные функциональные ядра, стандартные дистрибутивы Scheme или Common Lisp допускают императивное или объектно-ориентированное программирование, а также статическую типизацию. Почти все эти функции реализуются посредством синтаксической предварительной обработки, хотя следует отметить, что фаза компиляции «расширения макроса» обрабатывается компилятором в Lisp. Это по-прежнему можно считать формой предварительной обработки, поскольку она происходит перед другими этапами компиляции.

Специализация языка

[ редактировать ]

Одной из необычных особенностей семейства языков Lisp является возможность использования макросов для создания внутреннего DSL. Как правило, в большом проекте на основе Lisp модуль может быть написан на множестве таких мини-языков : один, возможно, использует основанный на SQL диалект Lisp , другой написан на диалекте, специализированном для графических интерфейсов или красивой печати и т. д. Common Lisp Стандартная библиотека содержит пример этого уровня синтаксической абстракции в виде макроса LOOP, который реализует мини-язык типа Algol для описания сложных итераций, в то же время позволяя использовать стандартные операторы Lisp.

Препроцессор /язык MetaOCaml предоставляет аналогичные функции для внешних DSL. Этот препроцессор берет описание семантики языка (то есть интерпретатора) и, комбинируя интерпретацию во время компиляции и генерацию кода, превращает это определение в компилятор языка программирования OCaml , а из этого языка либо в байт-код, либо в родной код.

Препроцессор общего назначения

[ редактировать ]

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

M4 , вероятно, является наиболее известным примером такого препроцессора общего назначения, хотя препроцессор C иногда используется в роли, не связанной с C. Примеры:

См. также

[ редактировать ]
  1. ^ «Что такое прекомпилятор?» .
  2. ^ Пересмотренный синтаксис с веб-сайта языка Caml.
  3. ^ Покажите, как использовать препроцессор C для файлов JavaScript. «JavaScript — это не промышленная мощь» , Т. Снайдер .
  4. ^ «Препроцессор C в Javascript?» . режим эспрессо .
  5. ^ «Kernel/Git/Stable/Linux.git — дерево стабильных версий ядра Linux» .
  6. ^ Покажите, как использовать C-препроцессор в качестве механизма шаблонов . «Использование препроцессора C в качестве инструмента разработки HTML» , Дж. Корпела , 2000 г.
[ редактировать ]
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 7f634062460726dfcadce68273e668b3__1719780840
URL1:https://arc.ask3.ru/arc/aa/7f/b3/7f634062460726dfcadce68273e668b3.html
Заголовок, (Title) документа по адресу, URL1:
Preprocessor - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)