Android中AOP(面向切向编程)的深入讲解
一、闲谈aop
大家都知道oop,即objectoriented programming,面向对象编程。而本文要介绍的是aop。aop是aspect oriented programming的缩写,中译文为面向切向编程。oop和aop是什么关系呢?
首先:
- l oop和aop都是方法论。我记得在刚学习c++的时候,最难学的并不是c++的语法,而是c++所代表的那种看问题的方法,即oop。同样,今天在aop中,我发现其难度并不在利用aop干活,而是从aop的角度来看待问题,设计解决方法。这就是为什么我特意强调aop是一种方法论的原因!
- l 在oop的世界中,问题或者功能都被划分到一个一个的模块里边。每个模块专心干自己的事情,模块之间通过设计好的接口交互。从图示来看,oop世界中,最常见的表示比如:
图1 android framework中的模块
图1中所示为androidframework中的模块。oop世界中,大家画的模块图基本上是这样的,每个功能都放在一个模块里。非常好理解,而且确实简化了我们所处理问题的难度。
oop的精髓是把功能或问题模块化,每个模块处理自己的家务事。但在现实世界中,并不是所有问题都能完美得划分到模块中。举个最简单而又常见的例子:现在想为每个模块加上日志功能,要求模块运行时候能输出日志。在不知道aop的情况下,一般的处理都是:先设计一个日志输出模块,这个模块提供日志输出api,比如android中的log类。然后,其他模块需要输出日志的时候调用log类的几个函数,比如e(tag,...),w(tag,...),d(tag,...),i(tag,...)等。
在没有接触aop之前,包括我在内,想到的解决方案就是上面这样的。但是,从oop角度看,除了日志模块本身,其他模块的家务事绝大部分情况下应该都不会包含日志输出功能。什么意思?以activitymanagerservice为例,你能说它的家务事里包含日志输出吗?显然,activitymanagerservice的功能点中不包含输出日志这一项。但实际上,软件中的众多模块确实又需要打印日志。这个日志输出功能,从整体来看,都是一个面上的。而这个面的范围,就不局限在单个模块里了,而是横跨多个模块。
在没有aop之前,各个模块要打印日志,就是自己处理。反正日志模块的那几个api都已经写好了,你在其他模块的任何地方,任何时候都可以调用。功能是得到了满足,但是好像没有oriented的感觉了。是的,随意加日志输出功能,使得其他模块的代码和日志模块耦合非常紧密。而且,将来要是日志模块修改了api,则使用它们的地方都得改。这种搞法,一点也不酷。
aop的目标就是解决上面提到的不cool的问题。在aop中:
- 第一,我们要认识到oop世界中,有些功能是横跨并嵌入众多模块里的,比如打印日志,比如统计某个模块中某些函数的执行时间等。这些功能在各个模块里分散得很厉害,可能到处都能见到。
- 第二,aop的目标是把这些功能集中起来,放到一个统一的地方来控制和管理。如果说,oop如果是把问题划分到单个模块的话,那么aop就是把涉及到众多模块的某一类问题进行统一管理。比如我们可以设计两个aspects,一个是管理某个软件中所有模块的日志输出的功能,另外一个是管理该软件中一些特殊函数调用的权限检查。
讲了这么多,还是先来看个例子。在这个例子中,我们要:
- activity的生命周期的几个函数运行时,要输出日志。
- 几个重要函数调用的时候,要检查有没有权限。
二、没有aop的例子
先来看没有aop的情况下,代码怎么写。主要代码都在aopdemoactivity中
[-->aopdemoactivity.java]
public class aopdemoactivity extends activity { private static final string tag = "aopdemoactivity"; oncreate,onstart,onrestart,onpause,onresume,onstop,ondestory返回前,都输出一行日志 protected void oncreate(bundle savedinstancestate) { super.oncreate(savedinstancestate); setcontentview(r.layout.layout_main); log.e(tag,"oncreate"); } protected void onstart() { super.onstart(); log.e(tag, "onstart"); } protected void onrestart() { super.onrestart(); log.e(tag, "onrestart"); } protectedvoid onresume() { super.onresume(); log.e(tag, "onresume"); checkphonestate会检查app是否申明了android.permission.read_phone_state权限 checkphonestate(); } protected void onpause() { super.onpause(); log.e(tag, "onpause"); } protected void onstop() { super.onstop(); log.e(tag, "onstop"); } protected void ondestroy() { super.ondestroy(); log.e(tag, "ondestroy"); } private void checkphonestate(){ if(checkpermission("android.permission.read_phone_state")== false){ log.e(tag,"have no permission to read phone state"); return; } log.e(tag,"read phone state succeed"); return; } private boolean checkpermission(string permissionname){ try{ packagemanager pm = getpackagemanager(); //调用packagemangaer的checkpermission函数,检查自己是否申明使用某权限 int nret = pm.checkpermission(permissionname,getpackagename()); return nret == packagemanager.permission_granted; }...... } }
代码很简单。但是从这个小例子中,你也会发现要是这个程序比较复杂的话,到处都加log,或者在某些特殊函数加权限检查的代码,真的是一件挺繁琐的事情。
三、aspectj介绍
3.1 aspectj极简介
aop虽然是方法论,但就好像oop中的java一样,一些先行者也开发了一套语言来支持aop。目前用得比较火的就是aspectj了,它是一种几乎和java完全一样的语言,而且完全兼容java(aspectj应该就是一种扩展java,但它不是像groovy[1]那样的拓展。)。当然,除了使用aspectj特殊的语言外,aspectj还支持原生的java,只要加上对应的aspectj注解就好。所以,使用aspectj有两种方法:
- 完全使用aspectj的语言。这语言一点也不难,和java几乎一样,也能在aspectj中调用java的任何类库。aspectj只是多了一些关键词罢了。
- 或者使用纯java语言开发,然后使用aspectj注解,简称@aspectj。
anyway,不论哪种方法,最后都需要aspectj的编译工具ajc来编译。由于aspectj实际上脱胎于java,所以ajc工具也能编译java源码。
aspectj现在托管于eclipse项目中,官方网站是:
- http://www.eclipse.org/aspectj/ <=aspectj官方网站
- http://www.eclipse.org/aspectj/doc/released/runtime-api/index.html <=aspectj类库参考文档,内容非常少
- http://www.eclipse.org/aspectj/doc/released/aspectj5rt-api/index.html <=@aspectj文档,以后我们用annotation的方式最多。
3.2 aspectj语法
题外话:aspectj东西比较多,但是aop做为方法论,它的学习和体会是需要一步一步,并且一定要结合实际来的。如果一下子讲太多,反而会疲倦。更可怕的是,有些胆肥的同学要是一股脑把所有高级玩法全弄上去,反而得不偿失。这就是是方法论学习和其他知识学习不一样的地方。请大家切记。
3.2.1 join points介绍
join points(以后简称jpoints)是aspectj中最关键的一个概念。什么是jpoints呢?jpoints就是程序运行时的一些执行点。那么,一个程序中,哪些执行点是jpoints呢?比如:
- 一个函数的调用可以是一个jpoint。比如log.e()这个函数。e的执行可以是一个jpoint,而调用e的函数也可以认为是一个jpoint。
- 设置一个变量,或者读取一个变量,也可以是一个jpoint。比如demo类中有一个debug的boolean变量。设置它的地方或者读取它的地方都可以看做是jpoints。
- for循环可以看做是jpoint。
理论上说,一个程序中很多地方都可以被看做是jpoint,但是aspectj中,只有如表1所示的几种执行点被认为是jpoints:
表1 aspectj中的join point
join points |
说明
|
示例 |
method call |
函数调用 |
比如调用log.e(),这是一处jpoint |
method execution |
函数执行 |
比如log.e()的执行内部,是一处jpoint。注意它和method call的区别。method call是调用某个函数的地方。而execution是某个函数执行的内部。 |
constructor call |
构造函数调用 |
和method call类似 |
constructor execution |
构造函数执行 |
和method execution类似 |
field get |
获取某个变量 |
比如读取demoactivity.debug成员 |
field set |
设置某个变量 |
比如设置demoactivity.debug成员 |
pre-initialization |
object在构造函数中做得一些工作。 |
很少使用,详情见下面的例子 |
initialization |
object在构造函数中做得工作 |
详情见下面的例子 |
static initialization |
类初始化 |
比如类的static{} |
handler |
异常处理 |
比如try catch(xxx)中,对应catch内的执行 |
advice execution |
这个是aspectj的内容,稍后再说 |
|
表1列出了aspectj所认可的joinpoints的类型。下面我们来看个例子以直观体会一把。
图2 示例代码
图2是一个java示例代码,下面我们将打印出其中所有的join points。图3所示为打印出来的join points:
图3 所有的join points
图3中的输出为从左到右,我们来解释红框中的内容。先来看左图的第一个红框:
- staticinitialization(test.test.<clinit>):表示当前是哪种类型的jpoint,括号中代表目标对象是谁(此处是指test class的类初始化)。由于test类没有指定static block,所以后面的at:test.java:0 表示代码在第0行(其实就是没有找到源代码的意思)。
- test类初始化完后,就该执行main函数了。所以,下一个jpoint就是execution(voidtest.test.main(string[]))。括号中表示此jpoint对应的是test.test.main函数。at:test.java:30表示这个jpoint在源代码的第30行。大家可以对比图2的源码,很准确!
- main函数里首先是执行system.out.println。而这一行代码实际包括两个jpoint。一个是get(printstream java.lang.system.out),get表示field get,它表示从system中获取out对象。另外一个是call(void java.io.printstream.println(string)),这是一个call类型的jpoint,表示执行out.println函数。
再来看左图第二个红框,它表示testbase的类的初始化,由于源码中为testbase定义了static块,所以这个jpoint清晰指出了源码的位置是at:test.java:5
接着看左图第三个红框,它和对象的初始化有关。在源码中,我们只是构造了一个testderived对象。它会先触发testderived preinitialization jpoint,然后触发基类testbase的preinitialization jpoint。注意红框中的before和after 。在testderived和testbase所对应的preinitialization before和after中都没有包含其他jpoint。所以,pre-initialization应该是构造函数中一个比较基础的phase。这个阶段不包括类中成员变量定义时就赋值的操作,也不包括构造函数中对某些成员变量进行的赋值操作。
而成员变量的初始化(包括成员变量定义时就赋值的操作,比如源码中的int base = 0
,以及在构造函数中所做的赋值操作,比如源码中的this.derived = 1000
)都被囊括到initialization阶段。请读者对应图三第二个红框到第三个红框(包括第3个红框的内容)看看是不是这样的。
最后来看第5个红框。它包括三个jpoint:
- testmethod的call类型jpoint
- testmethod的execution类型jponint
- 以及对异常捕获的handler类型jpoint
好了。jpoint的介绍就先到此。现在大家对joinpoint应该有了一个很直观的体会,简单直白粗暴点说,joinpoint就是一个程序中的关键函数(包括构造函数)和代码段(staticblock)。
为什么aspectj首先要定义好joinpoint呢?大家仔细想想就能明白,以打印log的aopdemo为例,log在哪里打印?自然是在一些关键点去打印。而谁是关键点?aspectj定义的这些类型的jpoint就能满足我们绝大部分需求。
注意,要是想在一个for循环中打印一些日志,而aspectj没有这样的jpoint,所以这个需求我们是无法利用aspectj来实现了。另外,不同的软件框架对表1中的jpoint类型支持也不同。比如spring中,不是所有aspectj支持的jpoint都有。
3.2.2 pointcuts介绍
pointcuts这个单词不好翻译,此处直接用英文好了。那么,pointcuts是什么呢?前面介绍的内容可知,一个程序会有很多的jpoints,即使是同一个函数(比如testmethod这个函数),还分为call类型和execution类型的jpoint。显然,不是所有的jpoint,也不是所有类型的jpoint都是我们关注的。再次以aopdemo为例,我们只要求在activity的几个生命周期函数中打印日志,只有这几个生命周期函数才是我们业务需要的jpoint,而其他的什么jpoint我不需要关注。
怎么从一堆一堆的jpoints中选择自己想要的jpoints呢?恩,这就是pointcuts的功能。一句话,pointcuts的目标是提供一种方法使得开发者能够选择自己感兴趣的joinpoints。
在图2的例子中,怎么把test.java中所有的joinpoint选择出来呢?用到的pointcut格式为:
pointcuttestall():within(test)。
aspectj中,pointcut有一套标准语法,涉及的东西很多,还有一些比较高级的玩法。我自己琢磨了半天,需不需要把这些内容一股脑都搬到此文呢?回想我自己学习aop的经历,好像看了几本书,记得比较清楚的都是简单的case,而那些复杂的case则是到实践中,确实有需求了,才回过头来,重新查阅文档来实施的。恩,那就一步一步来吧。
(1) 一个pointcuts例子
直接来看一个例子,现在我想把图2中的示例代码中,那些调用println的地方找到,该怎么弄?代码该这么写:
public pointcut testall(): call(public * *.println(..)) && !within(testaspect) ;
注意,aspectj的语法和java一样,只不过多了一些关键词
我们来看看上述代码
第一个public:表示这个pointcut是public访问。这主要和aspect的继承关系有关,属于aspectj的高级玩法,本文不考虑。
pointcut:关键词,表示这里定义的是一个pointcut。pointcut定义有点像函数定义。总之,在aspectj中,你得定义一个pointcut。
testall():pointcut的名字。在aspectj中,定义pointcut可分为有名和匿名两种办法。个人建议使用named方法。因为在后面,我们要使用一个pointcut的话,就可以直接使用它的名字就好。
testall后面有一个冒号,这是pointcut定义名字后,必须加上。冒号后面是这个pointcut怎么选择joinpoint的条件。
本例中,call(public * *.println(..))是一种选择条件。call表示我们选择的joinpoint类型为call类型。
public **.println(..):这小行代码使用了通配符。由于我们这里选择的joinpoint类型为call类型,它对应的目标jpoint一定是某个函数。所以我们要找到这个/些函数。public 表示目标jpoint的访问类型(public/private/protect)。第一个*表示返回值的类型是任意类型。第二个*用来指明包名。此处不限定包名。紧接其后的println是函数名。这表明我们选择的函数是任何包中定义的名字叫println的函数。当然,唯一确定一个函数除了包名外,还有它的参数。在(..)中,就指明了目标函数的参数应该是什么样子的。比如这里使用了通配符..,代表任意个数的参数,任意类型的参数。
再来看call后面的&&:aspectj可以把几个条件组合起来,目前支持 &&,||,以及!这三个条件。这三个条件的意思不用我说了吧?和java中的是一样的。
来看最后一个!within(testaspectj):前面的!表示不满足某个条件。within是另外一种类型选择方法,特别注意,这种类型和前面讲到的joinpoint的那几种类型不同。within的类型是数据类型,而joinpoint的类型更像是动态的,执行时的类型。
上例中的pointcut合起来就是:
- 选择那些调用println(而且不考虑println函数的参数是什么)的joinpoint。
- 另外,调用者的类型不要是testaspect的。
图4展示了执行结果:
图4 新pointcut执行结果
我在图2所示的源码中,为test类定义了一个public static void println()函数,所以图4的执行结果就把这个println给匹配上了。
看完例子,我们来讲点理论。
(2) 直接针对joinpoint的选择
pointcuts中最常用的选择条件和joinpoint的类型密切相关,比如图5:
图5 不同类型的jpoint对应的pointcuts查询方法
以图5为例,如果我们想选择类型为methodexecution的jpoint,那么pointcuts的写法就得包括execution(xxx)来限定。
除了指定jpoint类型外,我们还要更进一步选择目标函数。选择的根据就是图5中列出的什么methodsignature,constructorsignature,typesinature,fieldsignature等。名字听起来陌生得很,其实就是指定jpoint对应的函数(包括构造函数),static block的信息。比如图4中的那个println例子,首先它的jpoint类型是call,所以它的查询条件是根据methodsignature来表达。一个method signature的完整表达式为:
@注解 访问权限 返回值的类型 包名.函数名(参数)
@注解和访问权限(public/private/protect,以及static/final)属于可选项。如果不设置它们,则默认都会选择。以访问权限为例,如果没有设置访问权限作为条件,那么public,private,protect及static、final的函数都会进行搜索。
返回值类型就是普通的函数的返回值类型。如果不限定类型的话,就用*通配符表示
包名.函数名用于查找匹配的函数。可以使用通配符,包括*和..以及+号。其中*号用于匹配除.号之外的任意字符,而..则表示任意子package,+号表示子类。
比如:
java.*.date:可以表示java.sql.date,也可以表示java.util.date
test*:可以表示testbase,也可以表示testdervied
java..*:表示java任意子类
java..*model+:表示java任意package中名字以model结尾的子类,比如tabelmodel,treemodel
等
最后来看函数的参数。参数匹配比较简单,主要是参数类型,比如:
(int, char):表示参数只有两个,并且第一个参数类型是int,第二个参数类型是char
(string, ..):表示至少有一个参数。并且第一个参数类型是string,后面参数类型不限。在参数匹配中,
..代表任意参数个数和类型
(object ...):表示不定个数的参数,且类型都是object,这里的...不是通配符,而是java中代表不定参数的意思
是不是很简单呢?
constructorsignature和method signature类似,只不过构造函数没有返回值,而且函数名必须叫new。比如:
public *..testderived.new(..):
public:选择public访问权限
*..代表任意包名
testderived.new:代表testderived的构造函数
(..):代表参数个数和类型都是任意
再来看field signature和type signature,用它们的地方见图5。下面直接上几个例子:
field signature标准格式:
@注解 访问权限 类型 类名.成员变量名
其中,@注解和访问权限是可选的
类型:成员变量类型,*代表任意类型
类名.成员变量名:成员变量名可以是*,代表任意成员变量
比如,
set(inttest..testbase.base):表示设置testbase.base变量时的jpoint
type signature:直接上例子
staticinitialization(test..testbase):表示testbase类的static block
handler(nullpointerexception):表示catch到nullpointerexception的jpoint。注意,图2的源码第23行截获的其实是exception,其真实类型是nullpointerexception。但是由于jpointer的查询匹配是静态的,即编译过程中进行的匹配,所以handler(nullpointerexception)在运行时并不能真正被截获。只有改成handler(exception),或者把源码第23行改成nullpointerexception才行。
以上例子,读者都可以在aspectj-test例子中自己都试试。
(3) 间接针对jpoint的选择
除了根据前面提到的signature信息来匹配jpoint外,aspectj还提供其他一些选择方法来选择jpoint。比如某个类中的所有jpoint,每一个函数执行流程中所包含的jpoint。
特别强调,不论什么选择方法,最终都是为了找到目标的jpoint。
表2列出了一些常用的非jpoint选择方法:
表2 其它常用选择方法
关键词 |
说明
|
示例 |
within(typepattern) |
typepattern标示package或者类。typepatter可以使用通配符 |
表示某个package或者类中的所有jpoint。比如 within(test):test类中(包括内部类)所有jpoint。图2所示的例子就是用这个方法。 |
withincode(constructor signature|method signature) |
表示某个构造函数或其他函数执行过程中涉及到的jpoint |
比如 withincode(* testderived.testmethod(..)) 表示testmethod涉及的jpoint withincode( *.test.new(..)) 表示test构造函数涉及的jpoint |
cflow(pointcuts) |
cflow是call flow的意思 cflow的条件是一个pointcut |
比如 cflow(call testderived.testmethod):表示调用testderived.testmethod函数时所包含的jpoint,包括testmethod的call这个jpoint本身 |
cflowbelow(pointcuts) |
cflow是call flow的意思。 |
比如 cflowblow(call testderived.testmethod):表示调用testderived.testmethod函数时所包含的jpoint,不包括testmethod的call这个jpoint本身 |
this(type) |
jpoint的this对象是type类型。 (其实就是判断type是不是某种类型,即是否满足instanceof type的条件) |
jpoint是代码段(不论是函数,异常处理,static block),从语法上说,它都属于一个类。如果这个类的类型是type标示的类型,则和它相关的jpoint将全部被选中。 图2示例的testmethod是testderived类。所以 this(testderived)将会选中这个testmethod jpoint |
target(type) |
jpoint的target对象是type类型 |
和this相对的是target。不过target一般用在call的情况。call一个函数,这个函数可能定义在其他类。比如testmethod是testderived类定义的。那么 target(testderived)就会搜索到调用testmethod的地方。但是不包括testmethod的execution jpoint |
args(typesignature) |
用来对jpoint的参数进行条件搜索的 |
比如args(int,..),表示第一个参数是int,后面参数个数和类型不限的jpoint。
|
上面这些东西,建议读者:
- 进入androidaopdemo/aspectj-test目录。
- 修改test/testaspect.aj文件。主要是其中的pointcuts:testall()这一行。按照图2中的解释说明,随便改改试试。
- 执行./create-jar.sh,得到一个test.jar包,然后java -jar test.jar得到执行结果
注意:this()和target()匹配的时候不能使用通配符。
图6给出了修改示例和输出:
图6 示例代码和输出结果
注意,不是所有的aop实现都支持本节所说的查询条件。比如spring就不支持withincode查询条件。
3.2.3 advice和aspect介绍
恭喜,看到这个地方来,aspectj的核心部分就掌握一大部分了。现在,我们知道如何通过pointcuts来选择合适的jpoint。那么,下一步工作就很明确了,选择这些jpoint后,我们肯定是需要干一些事情的。比如前面例子中的输出都有before,after之类的。这其实jpoint在执行前,执行后,都执行了一些我们设置的代码。在aspectj中,这段代码叫advice。简单点说,advice就是一种hook。
aspectj中有好几个hook,主要是根据jpoint执行时机的不同而不同,比如下面的:
before():testall(){ system.out.println("before calling: " + thisjoinpoint);//打印这个jpoint的信息 system.out.println(" at:" + thisjoinpoint.getsourcelocation());//打印这个jpoint对应的源代码位置 }
testall()是前面定义的pointcuts,而before()定义了在这个pointcuts选中的jpoint执行前我们要干的事情。
表3列出了aspectj所支持的advice的类型:
表3 advice的类型
关键词 |
说明
|
示例 |
before() |
before advice |
表示在jpoint执行之前,需要干的事情 |
after() |
after advice |
表示jpoint自己执行完了后,需要干的事情。 |
after():returning(返回值类型) after():throwing(异常类型) |
returning和throwing后面都可以指定具体的类型,如果不指定的话则匹配的时候不限定类型 |
假设jpoint是一个函数调用的话,那么函数调用执行完有两种方式退出,一个是正常的return,另外一个是抛异常。 注意,after()默认包括returning和throwing两种情况 |
返回值类型 around() |
before和around是指jpoint执行前或执行后备触发,而around就替代了原jpoint |
around是替代了原jpoint,如果要执行原jpoint的话,需要调用proceed |
注意,after和before没有返回值,但是around的目标是替代原jpoint的,所以它一般会有返回值,而且返回值的类型需要匹配被选中的jpoint。我们来看个例子,见图7。
图7 advice示例和结果
图7中:
- 第一个红框是修改后的testmethod,在这个testmethod中,肯定会抛出一个空指针异常。
- 第二个红框是我们配置的advice,除了before以外,还加了一个around。我们重点来看around,它的返回值是object。虽然匹配的jpoint是testmethod,其定义的返回值是void。但是aspectj考虑的很周到。在around里,可以设置返回值类型为object来表示返回任意类型的返回值。aspectj在真正返回参数的时候,会自动进行转换。比如,假设inttestmethod定义了int作为返回值类型,我们在around里可以返回一个integer,aspectj会自动转换成int作为返回值。
- 再看around中的//proceed()这句话。这代表调用真正的jpoint函数,即testmethod。由于这里我们屏蔽了proceed,所以testmethod真正的内容并未执行,故运行的时候空指针异常就不会抛出来。也就是说,我们完全截获了testmethod的运行,甚至可以任意修改它,让它执行别的函数都没有问题。。
注意:从技术上说,around是完全可以替代before和after的。图7中第二个红框还把after给注释掉了。如果不注释掉,编译时候报错,[error]circular advice precedence: can't determine precedence between two or morepieces of advice that apply to the same join point: method-execution(voidtest.test$testderived.testmethod())(大家可以自己试试)。我猜测其中的原因是around和after冲突了。around本质上代表了目标jpoint,比如此处的testmethod。而after是testmethod之后执行。那么这个testmethod到底是around还是原testmethod呢?真是傻傻分不清楚!
(我觉得再加一些限制条件给after是可以避免这个问题的,但是没搞成功...)
advice讲完了。现在回顾下3.2节从开始到现在我们学到了哪些内容:
- aspectj中各种类型的joinpoint,jpoint是一个程序的关键执行点,也是我们关注的重点。
- pointcuts:提供了一种方法来选择目标jpoint。程序有很多jpoint,但是需要一种方法来让我们选择我们关注的jpoint。这个方法就是利用pointcuts来完成的。
- 通过pointcuts选择了目标jpoint后,我们总得干点什么吧?这就用上了advice。advice包括好几种类型,一般情况下都够我们用了。
上面这些东西都有点像函数定义,在java中,这些东西都是要放到一个class里的。在aspectj中,也有类似的数据结构,叫aspect。
public aspect 名字 {//aspect关键字和class的功能一样,文件名以.aj结尾 pointcuts定义... advice定义... }
你看,通过这种方式,定义一个aspect类,就把相关的jpoint和advice包含起来,是不是形成了一个“关注面”?比如:
- 我们定义一个logaspect,在logaspect中,我们在关键jpoint上设置advice,这些advice就是打印日志
- 再定义一个securitycheckaspect,在这个aspect中,我们在关键jpoint上设置advice,这些advice将检查调用app是否有权限。
通过这种方式,我们在原来的jpoint中,就不需要写log打印的代码,也不需要写权限检查的代码了。所有这些关注点都挪到对应的aspectj文件中来控制。恩,这就是aop的精髓。
注意,读者在把玩代码时候,一定会碰到aspectj语法不熟悉的问题。所以请读者记得随时参考官网的文档。这里有一个官方的语法大全:
http://www.eclipse.org/aspectj/doc/released/quick5.pdf 或者官方的另外一个文档也可以:
http://www.eclipse.org/aspectj/doc/released/progguide/semantics.html
3.2.4 参数传递和jpoint信息
(1) 参数传递
到此,aspectj最基本的东西其实讲差不多了,但是在实际使用aspectj的时候,你会发现前面的内容还欠缺一点,尤其是advice的地方:
l 前面介绍的advice都是没有参数信息的,而jpoint肯定是或多或少有参数的。而且advice既然是对jpoint的截获或者hook也好,肯定需要利用传入给jpoint的参数干点什么事情。比方所around advice,我可以对传入的参数进行检查,如果参数不合法,我就直接返回,根本就不需要调用proceed做处理。
往advice传参数比较简单,就是利用前面提到的this(),target(),args()等方法。另外,整个pointcuts和advice编写的语法也有一些区别。具体方法如下:
先在pointcuts定义时候指定参数类型和名字
pointcut testall(test.testderived derived,int x):call(*test.testderived.testmethod(..)) && target(derived)&& args(x)
注意上述pointcuts的写法,首先在testall中定义参数类型和参数名。这一点和定义一个函数完全一样
接着看target和args。此处的target和args括号中用得是参数名。而参数名则是在前面pointcuts中定义好的。这属于target和args的另外一种用法。
注意,增加参数并不会影响pointcuts对jpoint的匹配,上面的pointcuts选择和
pointcut testall():call(*test.testderived.testmethod(..)) && target(test.testderived) &&args(int)
是一样的
只不过我们需要把参数传入advice,才需要改造
接下来是修改advice:
object around(test.testderived derived,int x):testall(derived,x){ system.out.println(" arg1=" + derived); system.out.println(" arg2=" + x); return proceed(derived,x); //注意,proceed就必须把所有参数传进去。 }
advice的定义现在也和函数定义一样,把参数类型和参数名传进来。
接着把参数名传给pointcuts,此处是testall。注意,advice必须和使用的pointcuts在参数类型和名字上保持一致。
然后在advice的代码中,你就可以引用参数了,比如derived和x,都可以打印出来。
总结,参数传递其实并不复杂,关键是得记住语法:
- pointcuts修改:像定义函数一样定义pointcuts,然后在this,target或args中绑定参数名(注意,不再是参数类型,而是参数名)。
- advice修改:也像定义函数一样定义advice,然后在冒号后面的pointcuts中绑定参数名(注意是参数名)
- 在advice的代码中使用参数名。
(2) joinpoint信息收集
我们前面示例中都打印出了jpoint的信息,比如当前调用的是哪个函数,jpoint位于哪一行代码。这些都属于jpoint的信息。aspectj为我们提供如下信息:
- thisjoinpoint对象:在advice代码中可直接使用。代表jpoint每次被触发时的一些动态信息,比如参数啊之类的、
- thisjoinpointstatic对象:在advice代码中可直接使用,代表jpoint中那些不变的东西。比如这个jpoint的类型,jpoint所处的代码位置等。
- thisenclosingjoinpointstaticpart对象:在advice代码中可直接使用。也代表jpoint中不可变的部分,但是它包含的东西和jpoint的类型有关,比如对一个call类型jpoint而言,thisenclosingjoinpointstaticpart代表包含调用这个jpoint的函数的信息。对一个handler类型的jpoint而言,它代表包含这个try/catch的函数的信息。
关于thisjoinpoint,建议大家直接查看api文档,非常简单。其地址位于http://www.eclipse.org/aspectj/doc/released/runtime-api/index.html。
四、使用aop的例子
现在正式回到我们的androidaopdemo这个例子来。我们的目标是为aopdemoactivity的几个activity生命周期函数加上log,另外为checkphonestate加上权限检查。一切都用aop来集中控制。
前面提到说aspectj需要编写aj文件,然后把aop代码放到aj文件中。但是在android开发中,我建议不要使用aj文件。因为aj文件只有aspectj编译器才认识,而android编译器不认识这种文件。所以当更新了aj文件后,编译器认为源码没有发生变化,所以不会编译它。
当然,这种问题在其他不认识aj文件的java编译环境中也存在。所以,aspectj提供了一种基于注解的方法来把aop实现到一个普通的java文件中。这样我们就把aop当做一个普通的java文件来编写、编译就好。
4.1 打印log
马上来看aopdemoactivity对应的demoaspect.java文件吧。先看输出日志第一版本:
[-->第一版本]
package com.androidaop.demo; import android.util.log; import org.aspectj.lang.annotation.aspect; import org.aspectj.lang.annotation.before; import org.aspectj.lang.annotation.pointcut; import org.aspectj.lang.joinpoint; @aspect //必须使用@aspectj标注,这样class demoaspect就等同于 aspect demoaspect了 public class demoaspect { staticfinal string tag = "demoaspect"; /* @pointcut:pointcut也变成了一个注解,这个注解是针对一个函数的,比如此处的logforactivity() 其实它代表了这个pointcut的名字。如果是带参数的pointcut,则把参数类型和名字放到 代表pointcut名字的logforactivity中,然后在@pointcut注解中使用参数名。 基本和以前一样,只是写起来比较奇特一点。后面我们会介绍带参数的例子 */ @pointcut("execution(* com.androidaop.demo.aopdemoactivity.oncreate(..)) ||" +"execution(* com.androidaop.demo.aopdemoactivity.onstart(..))") public void logforactivity(){}; //注意,这个函数必须要有实现,否则java编译器会报错 /* @before:这就是before的advice,对于after,after -returning,和after-throwing。对于的注解格式为 @after,@afterreturning,@afterthrowing。before后面跟的是pointcut名字,然后其代码块由一个函数来实现。比如此处的log。 */ @before("logforactivity()") public void log(joinpoint joinpoint){ //对于使用annotation的aspectj而言,joinpoint就不能直接在代码里得到多了,而需要通过 //参数传递进来。 log.e(tag, joinpoint.toshortstring()); } }
提示:如果开发者已经切到androidstudio的话,aspectj注解是可以被识别并能自动补齐。
上面的例子仅仅是列出了oncreate和onstart两个函数的日志,如果想在所有的onxxx这样的函数里加上log,该怎么改呢?
@pointcut("execution(* *..aopdemoactivity.on*(..))") public void logforactivity(){};
图8给出这个例子的执行结果:
图8 aopdemoactivity执行结果
4.2 检查权限
4.2.1 使用注解
检查权限这个功能的实现也可以采用刚才打印log那样,但是这样就没有太多意思了。我们玩点高级的。不过这个高级的玩法也是来源于现实需求:
- 权限检查一般是针对api的,比如调用者是否有权限调用某个函数。
- api往往是通过sdk发布的。一般而言,我们会在这个函数的注释里说明需要调用者声明哪些权限。
- 然后我们在api检查调用者是不是申明了文档中列出的权限。
如果我有10个api,10个不同的权限,那么在10个函数的注释里都要写,太麻烦了。怎么办?这个时候我想到了注解。注解的本质是源代码的描述。权限声明,从语义上来说,其实是属于api定义的一部分,二者是一个统一体,而不是分离的。
java提供了一些默认的注解,不过此处我们要使用自己定义的注解:
package com.androidaop.demo; import java.lang.annotation.elementtype; import java.lang.annotation.retention; import java.lang.annotation.retentionpolicy; import java.lang.annotation.target; //第一个@target表示这个注解只能给函数使用 //第二个@retention表示注解内容需要包含的class字节码里,属于运行时需要的。 @target(elementtype.method) @retention(retentionpolicy.runtime) public @interface securitycheckannotation {//@interface用于定义一个注解。 publicstring declaredpermission(); //declarepermssion是一个函数,其实代表了注解里的参数 }
怎么使用注解呢?接着看代码:
//为checkphonestate使用securitycheckannotation注解,并指明调用该函数的人需要声明的权限 @securitycheckannotation(declaredpermission="android.permission.read_phone_state") private void checkphonestate(){ //如果不使用aop,就得自己来检查权限 if(checkpermission("android.permission.read_phone_state") ==false){ log.e(tag,"have no permission to read phone state"); return; } log.e(tag,"read phone state succeed"); return; }
4.2.2 检查权限
下面,我们来看看如何在aspectj中,充分利用这注解信息来帮助我们检查权限。
/* 来看这个pointcut,首先,它在选择jpoint的时候,把@securitycheckannotation使用上了,这表明所有那些public的,并且携带有这个注解的api都是目标jpoint 接着,由于我们希望在函数中获取注解的信息,所有这里的poincut函数有一个参数,参数类型是 securitycheckannotation,参数名为ann 这个参数我们需要在后面的advice里用上,所以pointcut还使用了@annotation(ann)这种方法来告诉 aspectj,这个ann是一个注解 */ @pointcut("execution(@securitycheckannotation public * *..*.*(..)) && @annotation(ann)") publicvoid checkpermssion(securitycheckannotationann){}; /* 接下来是advice,advice的真正功能由check函数来实现,这个check函数第二个参数就是我们想要 的注解。在实际运行过程中,aspectj会把这个信息从jpoint中提出出来并传递给check函数。 */ @before("checkpermssion(securitycheckannotation)") publicvoid check(joinpoint joinpoint,securitycheckannotationsecuritycheckannotation){ //从注解信息中获取声明的权限。 string neededpermission = securitycheckannotation.declaredpermission(); log.e(tag, joinpoint.toshortstring()); log.e(tag, "\tneeded permission is " + neededpermission); return; }
如此这般,我们在api源码中使用的注解信息,现在就可以在aspectj中使用了。这样,我们在源码中定义注释,然后利用aspectj来检查。图9展示了执行的结果
图9 权限检查的例子
4.2.3 和其他模块交互
事情这样就完了?很明显没有。为什么?刚才权限检查只是简单得打出了日志,但是并没有真正去做权限检查。如何处理?这就涉及到aop如何与一个程序中其他模块交互的问题了。初看起来容易,其实有难度。
比如,demoaspect虽然是一个类,但是没有构造函数。而且,我们也没有在代码中主动去构造它。根据asepctj的说明,demoaspect不需要我们自己去构造,aspectj在编译的时候会把构造函数给你自动加上。具体在程序什么位置加上,其实是有规律的,但是我们并不知道,也不要去知道。
这样的话,demoaspect岂不是除了打打log就没什么作用了?非也!以此例的权限检查为例,我们需要:
- 把真正进行权限检查的地方封装到一个模块里,比如securitycheck中。
- securitycheck往往在一个程序中只会有一个实例。所以可以为它提供一个函数,比如getinstance以获取securitycheck实例对象。
- 我们就可以在demoaspect中获取这个对象,然后调用它的check函数,把最终的工作由securitycheck来检查了。
恩,这其实是aspect的真正作用,它负责收集jpoint,设置advice。一些简单的功能可在aspect中来完成,而一些复杂的功能,则只是有aspect来统一收集信息,并交给专业模块来处理。
最终代码:
@before("checkpermssion(securitycheckannotation)") publicvoid check(joinpoint joinpoint,securitycheckannotation securitycheckannotation){ string neededpermission = securitycheckannotation.declaredpermission(); log.e(tag, "\tneeded permission is " + neededpermission); securitycheckmanager manager =securitycheckmanager.getinstanc(); if(manager.checkpermission(neededpermission) == false){ throw new securityexception("need to declare permission:" + neededpermission); } return; }
图10所示为最终的执行结果。
图10 执行真正的权限检查
注意,
编译:请在ubuntu下使用gradle assemble。编译结果放在out/apps/目录下。
五、其他、总结和参考文献
最后我们来讲讲其他一些内容。首先是aspectj的编译。
5.1 aspectj编译
- aspectj比较强大,除了支持对source文件(即aj文件、或@aspectj注解的java文件,或普通java文件)直接进行编译外,
- 还能对java字节码(即对class文件)进行处理。有感兴趣的同学可以对aspectj-test小例子的class文件进行反编译,你会发现aspectj无非是在被选中的jpoint的地方加一些hook函数。当然before就是在调用jpoint之前加,after就是在jpoint返回之前加。
- 更高级的做法是当class文件被加载到虚拟机后,由虚拟机根据aop的规则进行hook。
在android里边,我们用得是第二种方法,即对class文件进行处理。来看看代码:
//androidaopdemo.build.gradle //此处是编译一个app,所以使用的applicationvariants变量,否则使用libraryvariants变量 //这是由android插件引入的。所以,需要import com.android.build.gradle.appplugin; android.applicationvariants.all { variant -> /* 这段代码之意是: 当app编译个每个variant之后,在javacompile任务的最后添加一个action。此action 调用ajc函数,对上一步生成的class文件进行aspectj处理。 */ apppluginplugin = project.plugins.getplugin(appplugin) javacompile javacompile = variant.javacompile javacompile.dolast{ string bootclasspath =plugin.project.android.bootclasspath.join(file.pathseparator) //ajc是一个函数,位于utils.gradle中 ajc(bootclasspath,javacompile) } }
ajc函数其实和我们手动试玩aspectj-test目标一样,只是我们没有直接调用ajc命令,而是利用aspectj提供的api做了和ajc命令一样的事情。
import org.aspectj.bridge.imessage import org.aspectj.bridge.messagehandler import org.aspectj.tools.ajc.main def ajc(string androidbootclassfiles,javacompile javacompile){ string[] args = ["-showweaveinfo", "-1.8", //1.8是为了兼容java 8。请根据自己java的版本合理设置它 "-inpath",javacompile.destinationdir.tostring(), "-aspectpath",javacompile.classpath.aspath, "-d",javacompile.destinationdir.tostring(), "-classpath",javacompile.classpath.aspath, "-bootclasspath", androidbootclassfiles] messagehandlerhandler = new messagehandler(true); new main().run(args,handler) deflog = project.logger for(imessage message : handler.getmessages(null, true)) { switch (message.getkind()) { case imessage.abort: case imessage.error: case imessage.fail: log.error message.message, message.thrown throw message.thrown break; case imessage.warning: case imessage.info: log.info message.message, message.thrown break; case imessage.debug: log.debug message.message, message.thrown break; } } }
主要利用了https://eclipse.org/aspectj/doc/released/devguide/ajc-ref.html中theaspectj compiler api一节的内容。由于代码已经在csdn git上,大家下载过来直接用即可。
5.2 总结
除了hook之外,aspectj还可以为目标类添加变量。另外,aspectj也有抽象,继承等各种更高级的玩法。根据本文前面的介绍,这些高级玩法一定要靠需求来驱动。aspectj肯定对原程序是有影响的,如若贸然使用高级用法,则可能带来一些未知的后果。关于这些内容,读者根据情况自行阅读文后所列的参考文献。
最后再来看一个图。
图11 未使用aop的情况
图11中,左边是一个程序的三个基于oop而划分的模块(也就是concern)。安全、业务逻辑、交易管理。这三个模块在设计图上一定是互相独立,互不干扰的。
但是在右图实现的时候,这三个模块就搅在一起了。这和我们在androidaopdemo中检查权限的例子中完全一样。在业务逻辑的时候,需要显示调用安全检查模块。
自从有了aop,我们就可以去掉业务逻辑中显示调用安全检查的内容,使得代码归于干净,各个模块又能各司其职。而这之中千丝万缕的联系,都由aop来连接和管理,岂不美哉?!
5.3 参考文献
[1] manning.aspectj.in.action第二版
看书还是要挑简单易懂的,aop概念并不复杂,而aspectj也有很多书,但是真正写得通俗易懂的就是这本,虽然它本意是介绍spring中的aop,但对aspectj的解释真得是非常到位,而且还有对@aspectj注解的介绍。本文除第一个图外,其他参考用图全是来自于此书。
[2] http://fernandocejas.com/2014/08/03/aspect-oriented-programming-in-android/
android中如何使用aspectj,最重要的是它教会我们怎么使用aspectj编译工具api。
好了,以上就是这篇文章的全部内容了,希望本文的内容对大家的学习或者工作具有一定的参考学习价值,如果有疑问大家可以留言交流,谢谢大家对的支持。