Магия (программирование) - Magic (programming)

Не путать с Магическое число (программирование).
О среде программирования Magic см. Magic Software Enterprises.
«Глубокая магия» перенаправляется сюда. О концепции из серии книг «Хроники Нарнии» см. Лев, Колдунья и Волшебный Шкаф.

В контексте компьютерного программирования магия неофициальный термин для абстракция; он используется для описания кода, который обрабатывает сложные задачи, скрывая эту сложность, чтобы представить простой интерфейс. Срок несколько насмешливый, и часто несет плохую коннотацию, подразумевая, что истинное поведение кода не сразу видно. Например, Perl с полиморфная типизация и закрытие механизмы часто называют «волшебными». Этот термин подразумевает, что скрытая сложность, по крайней мере, в принципе понятна, в отличие от черной магии и глубокой магии (см. Варианты ), которые описывают тайные техники, которые намеренно скрыты или чрезвычайно трудны для понимания. Тем не менее, этот термин может применяться и мило, предлагая «очарование» кода. Действие таких абстракций описывается как выполняемое. "автоматически", а чемодан "автоматически" и "волшебно".

Ссылочная непрозрачность

Основная статья: Ссылочная прозрачность

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

Упрощенный пример отрицательной магии - это следующий код в PHP:

функция магия(){    Глобальный $ somevariable;    эхо $ somevariable;}$ somevariable = истинный;магия();

Хотя приведенный выше код ясен и удобен в обслуживании, если его увидеть в большом проекте, часто бывает трудно понять, где функция магия () получает свою ценность от. Желательно писать этот код, используя следующую концепцию:

функция noMagic($ myvariable){    эхо $ myvariable;}$ somevariable = истинный;noMagic($ somevariable);

Неортогональность

Любой SV [скалярное значение] может быть волшебным, то есть у него есть особенности, которых нет у обычного SV.

— Ларри Уолл, перлгутс страница руководства,[1] Perl 5

Это определение магия или же волшебный можно расширить до тип данных, фрагмент кода, ключевое слово или машинный адрес, свойства которого не являются общими для идентичных объектов. Магические свойства могут быть задокументированы, а могут и не быть.

  • В ISO C, дескрипторы файлов (типа ФАЙЛ) нельзя безопасно скопировать, поскольку их адреса[2] может быть волшебством. То есть среда выполнения может помещать исходные дескрипторы файлов в жестко запрограммированный диапазон адресов и не обеспечивать поведение дескриптора файла для созданной пользователем копии по другому адресу. Следовательно, стандартные библиотечные процедуры принимают указатели на дескрипторы файлов типа ФАЙЛ *, вместо.
  • В Perl 5 оператор пока(<file_handle>) неявно назначает строку, прочитанную из файла, <file_handle> к переменной $_, и применяет определенный() функция к выражению, чтобы любая успешно прочитанная строка, даже "0" или пустой строкой, оценивается как истинный и продолжает пока() петля. Этого не происходит с <file_handle> в другом месте или в пока() с любым другим управляющим выражением.[3]
  • В эмулятор, особенно тот, который находится в разработке, эмулируемая машина системный вызов очки могут быть волшебными; при их вызове эмулятор может работать собственный код для удобства, скорости или доступа к физическому оборудованию, а также настроить эмулируемый ЦП и память, как если бы он выполнял исходный код.
    • Например, ВЫЗОВ заявление BBC BASIC V обрабатывает адреса системных вызовов Желудь MOS волшебно; вместо того, чтобы пытаться перейти к коду ARM по этим адресам, он вызывает программное прерывание в ОС RISC эквивалент системного вызова.[4] Эффект заключается в достаточной имитации Acorn MOS для 8-битных программ BASIC, не содержащих язык ассемблера, для запуска без изменений.
  • Кроме того, в BBC BASIC не только числовая переменная @% управлять форматированием печати, он принимает прямое назначение ANSI printf строки формата, обычно это ошибка несоответствия типа.[4]
  • Любой комментарий что влияет на код - это магия.
  • Ввод-вывод с отображением памяти адреса и летучие переменные также являются магическими в этом смысле, хотя этот термин обычно не применяется.

Варианты

Глубокая магия относится к методам, которые широко не известны и могут намеренно держаться в секрете. Количество таких методов в последние годы, возможно, уменьшилось.[когда? ] особенно в области криптография, многие аспекты которого теперь открыты для всеобщего обозрения. В Файл жаргона делает различие[5] между глубокая магия, который относится к коду, основанному на эзотерических теоретических знаниях, и черная магия, который относится к коду, основанному на методах, которые кажутся работающими, но не имеют теоретического объяснения. Он также определяет тяжелое волшебство, который относится к коду, основанному на неясных или недокументированный сложности конкретного оборудования или программного обеспечения.

Смотрите также

Рекомендации

  1. ^ "perlguts - perldoc.perl.org". 5 октября 2014 г.. Получено 18 февраля 2015.
  2. ^ Банахан, Майк; Брэди, Деклан; Доран, Марк (1991). «9.10.3. stdio.h заголовочный файл ". Книга C: со стандартом ANSI C. Набор инструкций (2-е изд.). Уокингем, Англия: издательство Addison-Wesley Publishers. п. 234. ISBN  0-201-54433-4. Копировать эти объекты внутри программы небезопасно; иногда их адреса могут быть «волшебными».
  3. ^ "perlop - perldoc.perl.org". 7 сентября 2010 г.. Получено 17 февраля 2011.
  4. ^ а б «27. Ключевые слова» (PDF). Справочное руководство BBC BASIC (1-е изд.). Кембридж, Англия: Acorn Computers. Октябрь 1992. С. 229, 349. ISBN  1-85250-103-0. Получено 9 мая 2007.[мертвая ссылка ][неосновной источник необходим ]
  5. ^ «Глубокая магия». Файл жаргона.