SBCL中adjoin操作是否必含搜索？及alexandria:setp实现疑问

1. adjoin的等价式与实现约束 #

Common Lisp Hyperspec给出集合场景下adjoin函数的等价定义：

(adjoin item list :key fn)
   ==  (if (member (fn item) list :key fn) list (cons item list))

但这是否意味着像SBCL这类实现必须对列表进行线性搜索？

2. 基于高效集合结构的成员判断需求 #

我希望仅当实现能自动用哈希表、位向量这类支持高效查找（而非线性搜索）的结构表示集合时，通过以下方式判断成员是否存在：

(if (eq (adjoin item set) set)
  'item-present
  'item-absent)

3. 关于alexandria:setp的实现 #

同时我想了解alexandria:setp的实现方式，希望直接利用SBCL或Alexandria的内置优化，而非自行实现集合逻辑。

内容的提问来源于stack exchange，提问作者davypough