[翻译] Virtual method interception 虚方法拦截
原文地址:http://blog.barrkel.com/2010/09/virtual-method-interception.html
注:基于本人英文水平,以下翻译只是我自己的理解,如对读者造成未知影响,一切后果自负。
Delphi XE在rtti.pas单元有一个新的类型TVirtualMethodInterceptor。它最初是设计用于DataSnap的认证场景(虽然我不认为只能用在这里)。
这个类做了什么?从本质上讲,它在运行时动态地创建了一种衍生metaclass,并重写父类的虚方法,通过创建一个新的虚拟方法表和并填充到父类。用户可以拦截虚拟函数调用,在代码实现中改变参数,改变返回值,拦截和中断异常或抛出新的异常,或完全取代方法。在概念上,它有点类似于.NET和Java中的动态代理。它就像在运行时从一个类中派生出来的新类,重写虚方法(但不添加新的字段属性),然后将一个实例的运行类型更改为这个新的派生类。
为什么要这么做?两个目的:测试和远程处理。(“虚拟方法拦截”最初用在DataSnap认证部分)。
用一个例子开始:
uses SysUtils, Rtti;
{$APPTYPE console}type
TFoo = class// 修改x 的值
function Frob(var x: Integer): Integer; virtual;
end;
function TFoo.Frob(var x: Integer): Integer;
beginx := x * 2;
Result := x + 10;
end;
procedure WorkWithFoo(Foo: TFoo);
vara, b: Integer;
begin
a := 10;
Writeln(' a = ', a);
try
b := Foo.Frob(a);
Writeln(' result = ', b);
Writeln(' a = ', a);
except
on e: Exception do
Writeln(' 异常: ', e.ClassName);
end;
end;
procedure P;
varFoo: TFoo;
vmi: TVirtualMethodInterceptor;
begin
vmi := nil;
Foo := TFoo.Create;
try
Writeln('拦截以前:');
WorkWithFoo(Foo);
vmi := TVirtualMethodInterceptor.Create(Foo.ClassType);
vmi.OnBefore := procedure(Instance: TObject; Method: TRttiMethod;const Args: TArray<TValue>; out DoInvoke: Boolean; out Result: TValue)
var
i: Integer;
begin
Write('[之前] 调用方法', Method.Name, ' 参数: ');
for i := 0 to Length(Args) - 1 do
Write(Args[i].ToString, ' ');
Writeln;
end;
// 改变 foo 实例的 metaclass pointer
vmi.Proxify(Foo);//所有的虚方法调用以前,都调用了OnBefore事件
Writeln('拦截以后:');WorkWithFoo(Foo);
finally
Foo.Free;
vmi.Free;
end;
end;
begin
P;Readln;
end.
以下是输出:
你会发现它拦截所有的虚拟方法,包括那些所谓的销毁过程中,不只是我们自己声明的。(析构函数本身是不包括在内。)
我可以完全改变方法的实现,并跳过调用方法的主体:
procedure P;
varFoo: TFoo;
vmi: TVirtualMethodInterceptor;
ctx: TRttiContext;
m: TRttiMethod;
begin
vmi := nil;
Foo := TFoo.Create;
try
Writeln('拦截以前:');
WorkWithFoo(Foo);
vmi := TVirtualMethodInterceptor.Create(Foo.ClassType);
m := ctx.GetType(TFoo).GetMethod('Frob');
vmi.OnBefore := procedure(Instance: TObject; Method: TRttiMethod;const Args: TArray<TValue>; out DoInvoke: Boolean; out Result: TValue)
begin
if Method = m then
begin
DoInvoke := False; //原方法的逻辑不调用了
Result := 42;Args[0] := -Args[0].AsInteger;
end;
end;
在这里,中断了方法的调用并把返回结果赋值为42,同时修改第一个参数的值:
拦截前:
before: a = 10
Result = 30
after: a = 20
拦截后:
before: a = 10
Result = 42
after: a = –10
可以通过一个异常来中断方法的调用:
vmi.OnBefore := procedure(Instance: TObject; Method: TRttiMethod;
const Args: TArray; out DoInvoke: Boolean; out Result: TValue)
begin
if Method = m then
raise Exception.Create('Aborting');
end;
输出:
拦截前:
before: a = 10
Result = 30
after: a = 20
拦截后:
before: a = 10
Exception: Exception
不局限于在方法调用前拦截,同时也可以在方法调用后拦截,并可以修改参数和返回值:
m := ctx.GetType(TFoo).GetMethod('Frob');
vmi.OnAfter := procedure(Instance: TObject; Method: TRttiMethod;
const Args: TArray; var Result: TValue)
begin
if Method = m then
Result := Result.AsInteger + 1000000;
end;
以下是输出:
拦截前:
before: a = 10
Result = 30
after: a = 20
拦截后:
before: a = 10
Result = 1000030
after: a = 20
如果虚拟方法中抛出了一个异常,可以屏蔽掉这个异常:
function TFoo.Frob(var x: Integer): Integer;
begin
raise Exception.Create('Abort');
end; // ...
m := ctx.GetType(TFoo).GetMethod('Frob');
vmi.OnException := procedure(Instance: TObject; Method: TRttiMethod;
const Args: TArray; out RaiseException: Boolean;
TheException: Exception; out Result: TValue)
begin
if Method = m then
begin
RaiseException := False; //屏蔽掉原方法中的异常
Args[0] := Args[0].AsInteger * 2;
Result := Args[0].AsInteger + 10;
end;
end;
输出:
Before hackery:
before: a = 10
Exception: Exception
After interception:
before: a = 10
Result = 30
after: a = 20
有件事要知道,类TVirtualMethodInterceptor 是没有的, 它通过拦截对象工作,拦截需要一些内存开销,但这是很少的:
PPointer(foo)^ := vmi.OriginalClass;
另一个指针: 类的继承链是被挂钩过程改变了。这可以很容易地显示:
//...
Writeln('After interception:');
WorkWithFoo(foo); Writeln('Inheritance chain while intercepted:');
cls := foo.ClassType;
while cls <> nil do
begin
Writeln(Format(' %s (%p)', [cls.ClassName, Pointer(cls)]));
cls := cls.ClassParent;
end; PPointer(foo)^ := vmi.OriginalClass; Writeln('After unhooking:');
WorkWithFoo(foo); Writeln('Inheritance chain after unhooking:');
cls := foo.ClassType;
while cls <> nil do
begin
Writeln(Format(' %s (%p)', [cls.ClassName, Pointer(cls)]));
cls := cls.ClassParent;
end;
// ...
输出:
Before hackery:
before: a = 10
Exception: Exception
After interception:
before: a = 10
Result = 30
after: a = 20
Inheritance chain while intercepted:
TFoo (01F34DA8) //运行时增加的类
TFoo (0048BD84) //vmi.OriginalClass
TObject (004014F0)
After unhooking:
before: a = 10
Exception: Exception
Inheritance chain after unhooking:
TFoo (0048BD84)
TObject (004014F0)
该功能主要是前期库的基础修补,但希望你可以看到,这不是太难。(提供一种打补丁的方式)
两个问题:
1:这种方法跟写Helper的区别?
2:当类是多层继承时,拦截的是哪个类的虚拟方法?
[翻译] Virtual method interception 虚方法拦截的更多相关文章
- 抽象方法(abstract method) 和 虚方法 (virtual method), 重载(overload) 和 重写(override)的区别于联系
1. 抽象方法 (abstract method) 在抽象类中,可以存在没有实现的方法,只是该方法必须声明为abstract抽象方法. 在继承此抽象类的类中,通过给方法加上override关键字来实现 ...
- c# 虚方法(virtual)与 多态(Polymorphism)
using System; using System.Collections.Generic; using System.Linq; using System.Text; //虚方法(virtual) ...
- (翻译) 使用Unity进行AOP对象拦截
Unity 是一款知名的依赖注入容器( dependency injection container) ,其支持通过自定义扩展来扩充功能. 在Unity软件包内 默认包含了一个对象拦截(Interce ...
- C#抽象类、抽象方法、虚方法
定义抽象类和抽象方法: abstract 抽象类特点: 1.不能初始化的类被叫做抽象类,它们只提供部分实现,但是另一个类可以继承它并且能创建它们的实例 2.一个抽象类可以包含抽象和非抽象方法,当一个类 ...
- C#多态--虚方法实现多态
1.虚方法提供一种默认实现,子类可以选择是否重写,如果不重写,那么就使用父类已经实现的方法.(重写可以改变方法的指针) 如果需要改变类型指针,那么需要做方法的重写: 1.如果子类方法是重写方法,那么系 ...
- Csharp多态的实现(虚方法)
1.什么是抽象类 1.1虚方法是用virtual修饰,在子类中用override进行重写 1.2虚方法是一个方法,放在类里面(可以再下面的代码中看到) 1.3虚方法可以 重写,也可以不重写(这个可以再 ...
- C#通过虚方法实现方法重写—多态。
class Program { //希望person存的是哪个类的对象就调用哪个类的方法 //第一步 将父类中对应方法家virtual关键字 变为虚方法(子类可重写) //子类中方法用override ...
- C#之抽象类、虚方法、重写、接口、密封类
前言 学了这么长时间的C#,我想说对于这个东东还是不是特别了解它,以至于让我频频郁闷.每次敲代码的时候都没有一种随心所欲的感觉.所以不得不在网上搜集一些资料,look 了 look~ 内容 ...
- C#Protected和多态(虚方法)
Protected 在基类中定义后,能被派生类调用,但是不能被其他类调用. virtual 在基类中定义后,在派生类中能被重写. using System; using System.Collecti ...
随机推荐
- hmm 软件的使用
1)使用HMM模型搜索序列数据库(以青蟹蛋白库为例,简写为qingxie.pep),同源参考序列(query.fas) hmmbuild: 用多重比对序列构建HMM模型:hmmsearch: 使用HM ...
- java的Map浅析
Map<K,V>是以键-值对存储的(key-value), 而Entry<K,V>是Map中的一个接口,Map.Entry<K,V>接口主要用于获取.比较 key和 ...
- luoguP1064 金明的预算方案 (有依赖的背包问题)
题目链接:https://www.luogu.org/problemnew/show/P1064 这是一个有依赖的背包问题,属于01背包的变式.这题还好,每个主件最多有2个附件,那么在对主件进行背包的 ...
- Educational Codeforces Round 59
B. Digital root 题意: 题目定义了x的digital root是S(x).S(5)=5,S(38)=S(3+8=11)=S(1+1+2)=2. 有n个询问,每次询问给出ki和xi,要你 ...
- The Last Stand
The Last Stand https://ac.nowcoder.com/acm/contest/303/L 时间限制:C/C++ 1秒,其他语言2秒 空间限制:C/C++ 262144K,其他语 ...
- Lunch Time(费用流变型题,以时间为费用)
Lunch Time http://acm.hdu.edu.cn/showproblem.php?pid=4807 Time Limit: 4000/2000 MS (Java/Others) ...
- 搜索旋转排序数组 II
跟进“搜索旋转排序数组”,假如有重复元素又将如何? 一句话思路:不能二分,因为复杂度是n eg全是0,找一个1 class Solution { public boolean search(int[] ...
- 2-Qt关闭子窗口时执行特定代码
https://blog.csdn.net/naibozhuan3744/article/details/82689434 本文主要总结在关闭qt的QWidget子窗口瞬间,执行特定代码.由于主窗口关 ...
- dede5.7 GBK 在php5.4环境下 后台编辑器无法显示文章内容
问题的原因是:是htmlspecialchars,PHP 5.4后GBK编码下默认不支持中文,转换后内容为空,UTF-8编码没有任何问题. 解决方法如下: 在\include\ckeditor\c ...
- 构建openssl debug版
一.简介 作为一种安全协议,openssl囊括了主要的密码算法.常用的密钥和证书封装管理功能以及SSL协议,并提供了丰富的应用程序供测试或其它目的使用. 参考: http://www.linuxidc ...