为何`(fboundp #'method)`返回nil？CLOS方法与函数辨析

一、核心概念澄清 #

先明确CLOS里几个容易混淆的关键实体：

• 泛型函数（Generic Function）：负责方法分派的特殊函数，当你调用(test-method instance)时，实际执行的是泛型函数——它会根据参数类型自动找到对应的方法逻辑执行。用defmethod定义方法时，如果同名泛型函数不存在，CLOS会自动创建一个。
• 方法（Method）：实现特定参数类型逻辑的函数，它不会直接绑定到符号，而是作为泛型函数的一个成员存在，你需要通过find-method从泛型函数中检索特定方法。
• 符号与函数对象：符号（比如'test-method）是一个名字，它可以绑定到泛型函数对象；#'test-method是获取符号绑定的泛型函数对象本身。

二、各检查函数返回值差异的原因 #

逐个拆解你遇到的现象：

1. (fboundp 'test-method) 返回t：
   fboundp的作用是检查符号是否有函数绑定。这里test-method符号绑定了自动创建的泛型函数，因此返回t。
2. (fboundp #'test-method) 返回nil：
   fboundp仅接受符号作为参数，#'test-method是泛型函数对象而非符号，所以返回nil。
3. (functionp 'test-method) 返回nil：
   functionp检查对象是否为函数类型，符号不属于函数对象范畴，因此返回nil。
4. (functionp #'test-method) 返回t：
   #'test-method获取到的是泛型函数对象，而泛型函数属于函数类型的一种，所以返回t。

三、修复check-method函数的问题 #

find-method的第一个参数要求是泛型函数对象，而非符号。因此我们需要先处理传入的参数：如果是符号，就通过fdefinition获取它绑定的泛型函数对象；如果已经是函数对象，直接使用即可。

修复后的代码：

(defun check-method (method-spec specializers)
  (let ((generic-function (if (symbolp method-spec)
                              (fdefinition method-spec)
                              method-spec)))
    (and (typep generic-function 'generic-function)
         (find-method generic-function nil specializers nil))))

测试验证 #

• 传入符号：(check-method 'test-method '(test-class)) → 返回对应的方法对象（非nil）
• 传入函数对象：(check-method #'test-method '(test-class)) → 返回对应的方法对象（非nil）
• 传入不存在的方法：(check-method 'test-method '(string)) → 返回nil

补充说明 #

你之前的误解源于将方法和泛型函数混为一谈：CLOS里的方法不是直接绑定到符号的函数，而是泛型函数的组成部分。符号绑定的是泛型函数，由泛型函数统一管理所有同名的方法。find-method的作用是从泛型函数中查找匹配特定特殊化列表的方法，因此必须传入泛型函数对象作为第一个参数。

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