为什么 Clojure 对非法参数说“没有匹配方法”？

Character/isWhitespace 的正确用法包括：

(Character/isWhitespace \a) => false
(Character/isWhitespace \ ) => true

然而，我的第一次尝试是这样的，我发现这个错误令人困惑。

(Character/isWhitespace "")
  =>  IllegalArgumentException No matching method found: isWhitespace
  => clojure.lang.Reflector.invokeMatchingMethod (Reflector.java:80)

The IllegalArgument部分是有道理的，但为什么它说“找不到匹配的方法”？显然这个函数确实存在。

澄清

我问这个问题的原因是我是 Clojure 的新手，并且认为我从根本上误解了某些东西。

当我打字时(Character/isWhitespace \a)，我什么think我想说的是：“我知道有一个Character命名空间，其中有一个名为的函数isWhitespace，我想调用该函数并传入\a".

在这个心理模型上，我上面的结果令人困惑，因为 Clojure 似乎在说：“每当你给我一个该函数不接受的参数类型时，我就会假装该函数不存在。”例如，“你不允许混合砖块，所以如果你尝试，我会给你一个 BlenderDoesntExist 错误。”这很奇怪。

有些答案似乎暗示

• 名字Character/isWhitespace只是partClojure 使用什么来查找函数，另一部分是参数的类型。 （我做了更多搜索：这可能是一种多种方法吗？）
• 正在 Java 类上查找该方法吗？

一个很好的答案将为我澄清这个过程。

tl;dr

clojure 编译器依赖反射来查找 Java 互操作类方法的匹配签名，并且当找不到任何内容时，它会引发自己的异常。

在这种情况下IllegalArgumentException是正确提出的，但是noMethodReport显示错误消息会导致混乱。

And 这是负责它的源代码 on the clojuregithub 仓库。

长版

首先，Java 互操作解析演练。

当 clojure 解析器发现.点宏HostExpr解析器处理解析，它尝试确定第二个参数是符号还是类。

如果它是一个类，则假定它是被调用的类的静态方法，并且解析继续StaticMethodExpr.

解析器内的第一件事是尝试通过类的反射来查找方法：

  List methods = Reflector.getMethods(c, args.count(), methodName, true);
  if(methods.isEmpty())
      throw new IllegalArgumentException("No matching method: " + methodName);

它正确找到并此时没有引发任何异常

然后它将参数添加到找到的方法中：

  java.lang.reflect.Method m = (java.lang.reflect.Method) methods.get(i);
  params.add(m.getParameterTypes());

之后尝试找到匹配的方法签名索引：

  methodidx = getMatchingParams(methodName, params, args, rets);

对于这种情况返回“-1”并且method保持为空。这就是解析阶段。

评价时间...

那么当invokeStaticMethod被调用，它调用getMethods on Reflector.java它正确地找到“isWhitespace”的两个匹配签名。

最后是您在函数内部看到的令人困惑的消息：

 static Object invokeMatchingMethod(String methodName, List methods, Object target, Object[] args)

对找到的方法进行参数匹配测试，尝试找到具有正确签名的方法：

 for(Iterator i = methods.iterator(); i.hasNext();)
   {
    m = (Method) i.next();
    Class[] params = m.getParameterTypes();
    if(isCongruent(params, args))

如果没有找到匹配的签名，则会引发异常

if(m == null)
   throw new IllegalArgumentException(noMethodReport(methodName,target));

因此，答案是 clojure 编译器依赖反射来查找方法的匹配签名，并且当找不到任何内容时，它会引发自己的异常。

在这种情况下IllegalArgumentException是正确提出的，但是noMethodReport显示错误消息会导致混乱。