Возможно ли `inline`` метод`?

Question

Я сделал небольшое поверхностное чтение на inlining declamations и прочитал на relevant CLHS pages, но не может легко увидеть явный ответ.

Разумно ли (declaim (inline foo)) когда foo объявляется с использованием defmethod, а не defun (последний из которых явно крытого случай)? Как насчет foo является функция readerclass? Является ли эффект этого вложения заметным в плане производительности? Является ли она специфичной для реализации?

Для простых методов при жестких ограничениях может быть разумно переписать как defun для производительности, но это иногда сложно или невозможно. Существуют ли общие стратегии оптимизации, которые можно использовать для общих методов Лиспа, не переписывая их как функции?

Answer 1

Методы ввода не имеют большого смысла, потому что способ компилятора CL может сделать это, когда он может быть уверен заранее, о какой функции вызывается. При явном вызове (foo x) с встроенным foo может быть заменено определение foo. Однако, когда скомпилированный код равен (funcall method x y), вы не можете встроить функцию, если method неизвестно.

И это то, что делают общие функции. Фактически, вы сами не вызываете методы, вы позволяете объектной системе определять, какие методы следует вызывать. CLOS позволяет добавлять и удалять методы, поэтому вам нужно жить с тем, что система динамична и имеет некоторую стоимость исполнения (некоторые реализации могут фиксировать общие функции, по-видимому, для предотвращения дальнейших изменений). Тем не менее, это довольно полезно на практике и экономит много времени разработки. Мне еще предстоит найти случай, когда динамическая отправка слишком велика, но у меня нет опыта с очень большими наборами методов.

Вы можете взглянуть на статью Роберта Странда Fast generic dispatch for Common Lisp для получения более подробной информации о создании общей отправки. Существует также библиотека, предоставляющая Inlined Generic Functions, где, очевидно, общие функции могут быть эффективно отправлены во время компиляции при соответствующих обстоятельствах.