[Supermax]

Или я плохо читал книги по Автолиспу, или у меня глюки:

Случайно создал функцию, где напутал с именем локальной переменной

Код:

[Выделить все]

(defun proba (ss) (* x 2))

Видите, аргумент определен как переменная ss, а в формуле стоит не ss, а x.

Беру такое выражение:

Код:

[Выделить все]

(mapcar '(lambda (x) (vl-catch-all-apply  'proba (list x))) '(2 3 4))

и работает!

Каким-то макаром этот X "спустился" в тело функции через ее аргумент, хотя тот назван совсем иначе.

Кстати сказать

Код:

[Выделить все]

(defun proba (ss) (* ss 2))

так тоже работает.

Я очень часто использую локальное определение аргумента одной буквой, вот теперь призадумался.

Может кто знает более подробно про такие пироги?

[Li6-D]

Вот мы не задумаемся и используем в программах число Pi, как глобальную переменную.
А зловредный автор может включить в свою функцию строчку (setq Pi 3.14286) или более замысловато:

Код:

[Выделить все]

(eval
  (list
    (read (apply 'strcat (mapcar 'chr '(115 101 116 113))))
    (read (apply 'strcat (mapcar 'chr '(112 105))))
    (/ 22 7.)
) )

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

[Кулик Алексей aka kpblc]

Li6-D, так я и символ t могу переопределить (по крайней мере теоретически).

[Li6-D]

Да, t тоже можно. А nil не получается - синтаксическая ошибка
То есть ложь в отличии от истины устойчива.

А можно переопределить и функции:

Код:

[Выделить все]

(defun 1+ (x) (IF (= (type x) 'INT) (+ 1 x) (+ 1.0001 x)))

Эта функция врет, но не всегда и немного. Ладно, хватит с вредными советами...