??? ??? 讓我好好想想，
AspectJ
中最常用的切入點是什么？哦，也許是
call
（
Method-Signature
）吧。這是個相對簡單的方法簽名。實際上，方法簽名的完整形式如下：
[modifiers]
[returnTypePattern]
[DeclaredTypePattern.]methodName([Parameters])[throws
TypePattern]
，其中方括號中的簽名組件是可選的。
modifiers
為修飾符模式，
returnTypePattern
為返回類型模式，
DeclaredTypePattern
為類型聲明模式，
methodName
為方法名稱，
Parameters
為方法參數(shù)，
throws
TypePattern
為
throw
字句。該文僅僅介紹
DeclaredTypePattern
，因為相比之下其它模式比較簡單的多。
??? ??? 在介紹類型聲明模式之前，介紹一下類型模式。類型模式是匹配一種類型或一系列類型的方法。精確的類型模式是如
java.lang.String
一樣的完整的有效類型名。但在使用
AspectJ
類型模式時，經(jīng)常會用到下列通配符（這些通配符同樣適用于
Spring
的
AOP
）。
1
）“
*”
：代表任意字符的零次或多次出現(xiàn)。當嵌入到一串字符的內(nèi)部時，它匹配任意字符的零次或多次出現(xiàn)，除了包分割符（
.
）。
2
）“
+”
：用作類型模式的后綴，代表此類型和其所有的子類型（那些擴展或?qū)崿F(xiàn)帶后綴類型的類型）。
3
）“
..”
：用于指定所有的子包，它匹配任意以包分割符開頭和結(jié)束的字符串。
?
下面給出幾個示例：
1
）
*Account
使用
Account
名稱結(jié)束的類型，如
CheckingAccount
2
）
java.*.Date
類型
Date
在任何直接的
java
子包中，如
java.util.Date
和
java.sql.Date
3
）
java..*
任何在
java
包或者所有子包中的類型，如
java.awt
或者
java.awt.event
4
）
javax..*Model+
所有
javax
包或者子包中以
Model
結(jié)尾的類型和其所有子類，如
TableModel,TreeModel
。
??? ??? 現(xiàn)在開始說說類型聲明模式。實際上，在方法簽名中，類型聲明模式不是必需的（就像很多書中所說，應(yīng)該少用類型聲明模式而改用與“
target”
結(jié)合的切入點指示符）。但如果指定了類型聲明模式，切入點將只匹配對由模式匹配的類型（或者超類型）聲明的方法的調(diào)用。和其他類型模式一樣，類型聲明模式支持上述的通配符。同時，它也支持復(fù)合類型模式。對于類型聲明模式來說，程序員容易犯錯的地方在于類型聲明模式是基于靜態(tài)類型而不是運行時類型，這也是本文的主要內(nèi)容。
? ??
在很好地理解類型聲明模式之前，先看一下下面的例子：
public
?
class
?A??{
????
public
?
void
?foo(){
????????System.out.println(
"
A.foo()
"
);
????}
}
public
?
class
?B?
extends
?A{
????
public
?
void
?foo(){
????????System.out.println(
"
B.foo()
"
);
????}
}
public
?
class
?Main?{
????
????
public
?
static
?
void
?main(String[]?args)?{
????????A?b?
=
?
new
?B();
????????b.foo();?
//
(1)
????????callFoo(b);
//
(2)
????}
????
public
?
static
?
void
?callFoo(A?a){
????????System.out.println(
"
Call?A
"
);
????}
????
????
public
?
static
?
void
?callFoo(B?b){
????????System.out.println(
"
Call?B
"
);
????}
}
??? ??? 它的運行結(jié)果是這樣的：
??? ??? B.foo()
??? ??? Call
A
??? ??? 和你的想法一致嗎？對于（
1
）處
b.foo()
的調(diào)用應(yīng)用了面向?qū)ο笾械母采w（
override
），它是動態(tài)的，是在運行時進行解析。而（
2
）處的
callFoo
(b)
則是重載（
overload
），它是靜態(tài)的，是在編譯時解析的。因此，對于變量
b
，雖然它是
B
的一個實例，但
b
的靜態(tài)類型（也就是變量聲明的類型）是
A
；由于重載方法的選擇是靜態(tài)的，所以
main
中調(diào)用的是
callFoo(A
a)
，而不是
callFoo(B
b)
。
??? ??? 終于說到了類型聲明模式。類型聲明模式是基于靜態(tài)類型信息進行匹配的，而不是動態(tài)（或者運行時。下面根據(jù)幾個典型的例子說明類型聲明模式的特性。
??? ??? 還是上面的兩個類
A
和
B
，現(xiàn)在我們定義一個方面如下：
public
?aspect?TypeAspect?{
????????pointcut?callA():
????????????call(
*
?A.
*
(..));
????????
????????before():callA(){
????????????System.out.println(
"
call?A
"
);
????????}????
}
??? ??? main
函數(shù)內(nèi)容如下：
public
?
static
?
void
?main(String[]?args)?{
????????A?b1?
=
?
new
?B();
????????b1.foo();
????????
????????B?b2?
=
?
new
?B();
????????b2.foo();
????}
??? ??
運行結(jié)果如下：
call
A
B.foo()
call
A
B.foo()
??? ??? 可以看到，盡管切入點
callA()
聲明的類型為
A
，但實際上，切入點
callA()
可以捕獲
A
中的方法及其子類中繼承于
A
的方法或重載
A
的方法，而聲明的靜態(tài)類型既可以是
A
也可以是其子類。
??? ??? 但如果在
B
中增加一個新的方法：
public
?
void
?doAnotherThing(){
System.out.println(
"
B.doAnotherThing
"
);
}
??? ??? main
函數(shù)改為：
public
?
static
?
void
?main(String[]?args)?{
B?b2?
=
?
new
?B();
b2.doAnotherThing();
}
?? ??? 輸出結(jié)果為：
B.doAnotherThing
，如果想對
A
的子類
B
中擴展的方法進行通知，可采用的方法是將切入點
callA()
改為
pointcut
callA():
call
(*
A+.*(..));
。
??? ??? 讓我們再來看另一種情景：如果定義一個切入點如下：
?pointcut?callB():call(
*
?B.
*
(..));
before():callB(){
System.out.println(
"
call?B
"
);
}
??? ??? main
函數(shù)內(nèi)容如下：
public
?
static
?
void
?main(String[]?args)?{
A?b?
=
?
new
?B();
b.foo();
}
??? ??? 運行結(jié)果為：
B.foo()
。
b.foo()
沒有匹配切入點
callB()
的原因在于，
b
的靜態(tài)類型是
A
，從靜態(tài)類型的角度來看，這是對
A
的調(diào)用，而不是對
B
的調(diào)用。在使用
AspectJ
的類型聲明時，很容易在這個地方犯錯。
??? ??? 好了，如上便是有關(guān)類型聲明模式的東西，說得有些凌亂，希望對
AspectJ
初學者有些幫助（我本身也是個初學者）。該文參考了《
Eclipse
AspectJ
》和《
AspectJ
cookbook
》。