Метапрограммирование предусматривает написание программ, которые работают с другими программами в качестве данных. Язык обрабатывающей программы называется метаязыком, язык обрабатываемой — объектным языком.
Простейшим примером метапрограммирования является любой компилятор, преобразующий код, написанный на языке высокого уровня, в низкоуровневый машинный язык или ассемблер. Очевидно, что большинство языков, поддерживающих работу со строками, могут использоваться для непосредственной генерации кода для других языков. Тем не менее, термин "метапрограммирование” обычно подразумевает, что в качестве метаязыка и объектного языка выступает один и тот же язык, и более того, такое его использование предусмотрено дизайном языка.
Парадигма метапрограммирования может быть реализована несколькими способами:
* использование макросов; * обобщенное программирование; * динамическое выполнение строковых выражений, которые содержат фрагменты кода и могут генерироваться во время выполнения программы (например, команда execute immediate в PL/SQL); * предоставление коду программы доступа к внутренней реализации средств выполнения программы.
