php aop ioc,IOC 本质是为了实现 AOP|火影鸣人

@JFinal 波总在 JFinal 4.8 发布新闻的评论 中给出了下面的表述:

我有点吃惊, 没想到 Java 界的大佬对这两个概念有和我完全不一致的认识. 所以写下这篇博客, 并借此机会重新学习一下 IoC 和 AOP, 确保自己对这两个后端开发非常重要的概念不会有太过偏差的理解

1. IoC

IoC 是 Inversion of Control 的缩写, 中文意思是控制反转. 维基百科对 IoC 开宗明义的定位为:

维基文中对此有详细的阐述, 大家可以自行前往维基百科 Inversion_of_control 词条查看, 我就不一一 Copy/Paste 了. 这里帮大家检出几个关键地方捋一捋:IoC 是编程原则 - 不是特定的产品, 不是具体实现方式, 当然也和具体编程语言无关

在传统编程范式中, 程序调用可重用的库

在 IoC 原则下, 程序接受通用框架的调用控制 - 框架调用程序代码

与 IoC 原则相关的概念包括:软件框架

回调

调度器

事件循环

依赖注入

设计模式中的模板方法

IoC 的设计目的包括:将执行任务和任务实现解耦

让模块专注于设计任务

模块仅依赖于设计契约而无需关注其他系统如何工作

避免模块替换时的副作用

到这里我们可以比较清楚地得出下面的结论了:

那为什么波总会说 "IOC 本质是为了实现 AOP" 呢? 我姑且胡乱猜测一下, 波总想说的有可能是 "DI 本质是为了实现 AOP". 下面我们来探讨一下 DI, 这个和 IoC 以及 AOP 都有关系的概念.

2. DI

DI - Dependency Injection, 中文叫依赖注入, 在维基百科中的定义为:

特别地, 维基百科中的 DI 词条给出了下面的描述:

上面在对 DI 的描述中引入了另一个概念: SoC (Separation of Concern), 中文名关注点分离. 这是计算机科学中的一条设计原则, 简单地说就是将计算机程序划分为独立的单元, 每个单元解决一个可分离的关注点. 这个概念和封装 (Encapsulation) 非常接近, 可以说封装是对 SoC 设计原则的一种具体实现. 而 DI 则被描述为在构造和使用对象上实现 SoC 这个设计原则.

从上面的表述我们可以得到第二条结论:

那 DI 或者 IoC 到底和 AOP 有没有关系, 我们先来看看 AOP 的定义

3. AOP

AOP - Aspect Oriented Programming 在维基百科中的定义为:

这里面有几个关键点:AOP 是一个编程范式. 听上去有点晦涩, 下面列举几个编程范式的例子可以帮助大家理解这个概念:Imperative - 指令式, c, c++, Java

Declarative - 声明式, SQL, 各种 DSL, 比如 ANTLR 的语法文件

AOP 的目的是通过分离横切关注点(Separation of cross-cutting concern) 来提高模块性.

这里的 Separation of cross-cutton conern 是不是有点耳熟? 回顾上面提到的 DI 描述中引入的 Separation of Concern, 两个概念字面相近, 但又不完全一致. AOP 关注的是切面, 而 DI 关注的是对象构造. 如果没有注意到这个异同处, 有可能将 DI (甚至 IoC) 和 AOP 的概念搅和到一起.

扩展讨论

无独有偶, 前段时间 drinkjava (@yong9981) 同学也和我就 AOP 以及 DI 的关系进行了比较深入的探讨, 话题包括:AOP 的实现是否必须有 DI 提供

Web 框架是否必须提供通用 AOP 的实现

声明式事务是否必须采用 AOP 来提供

对这些话题感兴趣的朋友可以继续访问 谈谈 Act 的依赖注入 和 模板输出 - 回 drinkjava 同学的评论.