像这里和全世界的大多数开发人员一样,多年来我一直在使用面向对象编程 (OOP) 技术开发软件系统。因此,当我读到面向方面编程 (AOP) 解决了许多传统 OOP 无法完全或直接解决的问题时,我停下来想,这是真的吗?
我已经阅读了很多资料,试图了解这种 AOP 范式的关键,而我也在同一个地方,所以,我想更好地了解它在现实世界应用程序开发中的好处。
有人有答案吗?
为什么是“对”?这不是“对”。您可以将面向方面的编程与函数式编程结合使用,也可以与面向对象的编程结合使用。这不是“vs”,而是“面向方面的编程 与 面向对象的编程”。
对我来说,AOP 是某种“元编程”。AOP 所做的一切也可以通过添加更多代码来完成。AOP 只是节省了您编写此代码的时间。
维基百科有这种元编程的最佳示例之一。假设您有一个带有许多“set…()”方法的图形类。每次设置方法后,图形的数据都发生了变化,因此图形发生了变化,因此需要在屏幕上更新图形。假设要重新绘制图形,您必须调用“Display.update()”。 经典的方法是通过添加更多代码 来解决这个问题。在您编写的每个 set 方法的末尾
void set...(...) { : : Display.update(); }
如果你有 3 个设置方法,那不是问题。如果你有 200 个(假设的),那么到处添加它会变得非常痛苦。此外,每当您添加新的 set-method 时,您必须确保不要忘记将其添加到末尾,否则您只是创建了一个错误。
AOP 在不添加大量代码的情况下解决了这个问题,而是添加了一个方面:
after() : set() { Display.update(); }
就是这样!无需自己编写更新代码,您只需告诉系统在到达 set() 切入点后,它必须运行此代码,它将运行此代码。无需更新 200 种方法,无需确保您不会忘记在新的 set-method 上添加此代码。此外,您只需要一个切入点:
pointcut set() : execution(* set*(*) ) && this(MyGraphicsClass) && within(com.company.*);
这意味着什么?这意味着如果一个方法被命名为“set”( 表示任何名称可能在 set 之后跟随),无论该方法返回什么(第一个星号)或它采用什么参数(第三个星号) ,并且 它是 MyGraphicsClass 的一个方法, 并且 这个class 是包“com.company.*”的一部分,那么这是一个 set() 切入点。我们的第一个代码说“ 在 运行任何设置切入点的方法后,运行以下代码”。
看看 AOP 如何优雅地解决这里的问题?实际上这里描述的一切都可以在编译时完成。AOP 预处理器甚至可以在编译类本身之前修改您的源代码(例如,将 Display.update() 添加到每个设置切入点方法的末尾)。
然而,这个例子也显示了 AOP 的一大缺点。AOP 实际上正在做一些许多程序员认为是“ 反模式 ”的事情。确切的模式称为“远距离行动”。
远距离动作是一种反模式(一种公认的常见错误),其中程序的一个部分中的行为会根据程序另一部分中难以或不可能识别的操作而发生巨大变化。
作为一个项目的新手,我可能只是阅读任何 set-method 的代码并认为它已损坏,因为它似乎没有更新显示。我看 不到 设置方法的代码,在它执行之后,一些其他代码将“神奇地”执行以更新显示。我认为这是一个严重的缺点!通过对方法进行更改,可能会引入奇怪的错误。进一步理解某些事情似乎可以正常工作但并不明显的代码流(正如我所说,它们只是神奇地工作......不知何故),真的很难。
澄清一下:有些人可能会觉得我说 AOP 是不好的东西,不应该使用。这不是我要说的!AOP 实际上是一个很棒的功能。我只是说“小心使用”。 如果您将普通代码和 AOP 混为一谈, AOP 只会导致问题。在上面的示例中,我们具有更新图形对象的值并绘制更新后的对象的方面。这实际上是一个方面。将其中的一半编码为普通代码,将另一半编码为方面是增加问题的原因。
如果您将 AOP 用于完全不同的方面,例如用于日志记录,您将不会遇到反模式问题。在这种情况下,该项目的新手可能想知道“所有这些日志消息来自哪里?我在代码中没有看到任何日志输出”,但这不是一个大问题。他对程序逻辑所做的更改几乎不会破坏日志设施,对日志设施所做的更改也几乎不会破坏他的程序逻辑——这些方面是完全分开的。使用 AOP 进行日志记录的优势在于,您的程序代码可以完全专注于做它应该做的任何事情,并且您仍然可以拥有复杂的日志记录,而不会让您的代码到处被数百条日志消息弄得一团糟。此外,当引入新代码时,神奇的日志消息将在正确的时间以正确的内容出现。
因此,在我的示例中,AOP 的一个很好的用法是始终记录是否通过 set 方法更新了任何值。这不会产生反模式,也几乎不会成为任何问题的原因。
有人可能会说,如果你可以轻易地滥用 AOP 来制造这么多问题,那么将它全部使用是个坏主意。然而,哪些技术不能被滥用?你可以滥用数据封装,也可以滥用继承。几乎所有有用的编程技术都可能被滥用。考虑一种编程语言非常有限,它只包含不能被滥用的功能;一种语言,其中功能只能按照最初打算使用的方式使用。这种语言将非常有限,以至于它是否可以用于现实世界的编程也是有争议的。