问题：Spring基于@AspectJ参数绑定的原理

Spring 2.0提供了基于@AspectJ和Schema的AOP配置，有一个问题一直让我很郁闷,那就是增强方法是如何绑定到目标类连接点方法的入参的，Spring通过argNames成员指定入参名来绑定连接点的入参，在Spring的文档中说argNames是为了明确绑定入参名，请看下面的代码：
[code] @Before("target(com.baobaotao.NaiveWaiter) && args(name,num,..)",argsName="name,num")
public void bindJoinPointParams(int num,String name){
System.out.println("----bindJoinPointParams()----");
System.out.println("name:"+name);
System.out.println("num:"+num);
System.out.println("----bindJoinPointParams()----");
}[/code]
在切点表达式中，通过args(name,num,..)绑定了两个连接点方法的参数，一个匹配的连接点方法如下：
[code]package com.baobaotao;
public class NaiveWaiter implements Waiter {
public void smile(String name,int num){
System.out.println("NaiveWaiter:smile to "+name+ num+"times...");
}
}[/code]
上面的切点，将name和num分别绑定到增强方法的name和num参数中.
我的问题是，既然args(name,num,..)已经指定了参数名，为什么还需要通过argsName再次声明参数名呢？Spring文档告诉我们：argsName是明确绑定的参数名，说是反射机制无法获取入参名。关键是这种明确的指定有两个问题：

[color=red] 1)首先，这里指定的信息和切点表达式中args(name,num)中指定的信息是重复的；
2)其次，我们无法通过反射机制获取目标类连接点smile(String name,int num)参数名，在切面定义中明确指定入参名又有什么意思呢？这好比说，张三和歪毛已经消了名，现在我们确以张三歪毛为线索去查找两人，这有用吗？[/color]

实际上，我们将切点定义处的argNames成员去除，我发现效果是一样的，它照样可以成功绑定。这个问题的本质是既然Java反射机制无法获取入参名，Spring到底是用了何种神秘的机制，获取方法入参名，因为增强方法和目标连接点方法是通过名称关联绑定的，而不是通过类型绑定的。解决了这个问题后，另一个问题才是为什么需要提供argName这个搞怪的成员做重复性的声明工作。