[Do$]

Всегда считал, что если хотя бы один из аргументов этой функции не равен остальным, то она возвращает T. То есть, (/= a b c) то же самое, что (not (= a b c)) На деле оказалось, что это не так:

Код:

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

(/= 5 3 6 6)
(= 5 3 6 6)
(not (= 5 3 6 6))
->
nil 
nil 
T

Получается, что если хотя бы два аргумента функции /= оказались равны, то она возвращает nil. Это баг последних версий или так всегда было?

[TararykovDG]

Do$, по ходу так было всегда

[Do$]

Тогда почему в примерах в этой статье четвертое сверху выражение возвращает T?
Новые наблюдения (просто менял местами аргументы):

Код:

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

(/= "AP8" "Ap8" "AP8")
(/= "AP8" "AP8" "Ap8")
(/= 5 6 5)
(/= 5 5 6)
->
T 
nil 
T 
nil

Получается, что если рядом стоят одинаковые аргументы - то возвращается nil, если не рядом - то T. Мне кажется, что тут какой-то глюк.

[TararykovDG]

Do$, прочитал справку по VisualLisp. Это не глюк, просто проверка идет по-парно, т. е. 1 агрумент со 2, 2 с 3 и т.д.

[Do$]

Что-то они намудрили... Ума не приложу, где можно такую функцию использовать.

[Дима_]

Сообщение от Do$ Что-то они намудрили... Ума не приложу, где можно такую функцию использовать.

Для "разношерстных" (содержащие различные типы данных) списков.

[TararykovDG]

Сообщение от Do$ Что-то они намудрили... Ума не приложу, где можно такую функцию использовать.

Do$, ну просто в обычном понимании будем использовать (not (= a b c)), а для /= придумал такой пример (может глупо конечно, тогда поправте)

Код:

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

 
; пусть lst1 lst2 списки вершин полилиний
_$ lst1 lst2
((0 0) (10 20) (10 20) (40 50) (70 10))
((0 0) (10 20) (15 20) (40 50) (10 20))
; определить есть ли сегменты нулевой длины (для lst1 очевидно есть 2-я и 3-я вершина дублируется, 
; а у lst2, хоть и есть одинаковые вершины 2-я и 5-я, но это просто самопересекающаяся полилиния), тогда
_$ (apply 'or (apply 'mapcar (cons '/= lst1)))
nil
_$ (apply 'or (apply 'mapcar (cons '/= lst2)))
T

[Do$]

Код и для такого списка выдаст nil: ((10 0) (10 20) (0 20) (40 50) (70 10)).
Я лично реальное применение функции /= вижу только в использовании с 2-мя аргументами, чтобы заменить две функции not и =.

[Li6-D]

У Полещука эта функция описана некорректно.
На самом деле, если в списке аргументов нет двух одинаковых соседних элементов возвращается T, иначе - nil. В самых ранних версиях AutoLisp у функции "/=" было только 2 аргумента.
В справке написано, что поведение этой функции в других диалектах Lisp вполне "традиционное" т.е. соответствует* комбинации функций

Код:

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

(not (= <аргумент1> [<аргумент2> ... [<аргументN>]...]))

А пример, который привел TararykovDG можно чуть изменить и использовать для проверки отсутствия в полилинии горизонтальных или вертикальных отрезков**:

Код:

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

(apply 'and (apply 'mapcar (cons '/= lst)))

Примечания:
*когда больше одного аргумента.
**когда точки списка lst не имеют координаты z.

[Li6-D]

Сообщение от Do$ Я лично реальное применение функции /= вижу только в использовании с 2-мя аргументами, чтобы заменить две функции not и =.

Пример использования функции /= с 3-мя аргументами.
Выражение предлагает пользователю решить дилемму Гамлета из трагедии Шекспира

Код:

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

((lambda (/ ?)
   (while (/= "БЫТЬ"
               (setq ? (strcase (getstring t "\nБыть или не быть, вот в чем вопрос: ")))
              "НЕ БЫТЬ"
          )
     (princ "Не мямли юзер, четко отвечай!")
   )
   ?
))

[gomer]

Сообщение от Li6-D Пример использования функции /= с 3-мя аргументами. Выражение предлагает пользователю решить дилемму Гамлета из трагедии Шекспира

В нашем неоднозначном мире гораздо более полезна функция member

[Do$]

Li6-D, хороший пример использования
Но учитывая, что

Сообщение от Li6-D поведение этой функции в других диалектах Lisp вполне "традиционное"

, я не рискну использовать такие конструкции. Т.к. решит автодеск привести поведение этой функции в соответствие с другими диалектами и вылезет в самый неподходящий момент ошибка.