元编程技术和动态编译

简介:

什么是元编程?

运行时动态创建类型的功能称为元编程。(这个是.NET环境编程全景中的定义)


从学习UML就知道meta-的重要性了,再后来了解到MOF(MetaObjectFacility)就更加着迷这个Meta-。
Meta-  在...之中... 对于想真正了解一个Framework,了解它的Meta东西是十分重要的。不管任何一个Framework,肯定存在着它自己的MetaData的,.NET作为一个Framework自然也存在好多元数据,我们编写应用程序中如果可以灵活的运用元编程技术,肯定可以使我们的程序更加灵活,高效甚至自我生成。

下图展示了.NET Framework中和元编程有关的类:
metaprog1.JPG
例如下面这个例子直接生成一个Dll,并且调用这个Dll中的动态方法:

None.gif using System;
None.gif using System.Reflection;
None.gif using System.Reflection.Emit;
None.gif using System.Threading;
None.gif
None.gif namespace testMetaProg
ExpandedBlockStart.gif {
ExpandedSubBlockStart.gif    /// <summary>
InBlock.gif    
/// Class1 的摘要说明。
ExpandedSubBlockEnd.gif    
/// </summary>

InBlock.gif    class Class1
ExpandedSubBlockStart.gif    {
ExpandedSubBlockStart.gif        /// <summary>
InBlock.gif        
/// 应用程序的主入口点。
ExpandedSubBlockEnd.gif        
/// </summary>

InBlock.gif        [STAThread]
InBlock.gif        static void Main(string[] args)
ExpandedSubBlockStart.gif        {
InBlock.gif            //
InBlock.gif            
// TODO: 在此处添加代码以启动应用程序
InBlock.gif            
//
InBlock.gif
            AssemblyName an = new AssemblyName();
InBlock.gif            an.Name = "myMetaProg";
InBlock.gif            AssemblyBuilder ab = Thread.GetDomain().DefineDynamicAssembly(an,AssemblyBuilderAccess.RunAndSave);
InBlock.gif            ModuleBuilder mb = ab.DefineDynamicModule("MetaProgModule","myMetaProg.dll",true);
InBlock.gif            TypeBuilder tb = mb.DefineType("MetaProg.NewType",TypeAttributes.Public);
InBlock.gif            MethodBuilder m = tb.DefineMethod("MetaProgMethod",MethodAttributes.Public,null,null);
InBlock.gif
InBlock.gif            CreateMethodBody(m);
InBlock.gif            tb.CreateType();
InBlock.gif            ab.Save("myMetaProg.dll");
InBlock.gif            
InBlock.gif            Type t = Type.GetType("MetaProg.NewType,myMetaProg",true);
InBlock.gif            Object o = Activator.CreateInstance(t);
InBlock.gif            MethodInfo myMethod = t.GetMethod("MetaProgMethod");
InBlock.gif            myMethod.Invoke(o,null);
InBlock.gif            myMethod = t.GetMethod("ToString");
InBlock.gif            Console.WriteLine(myMethod.Invoke(o,null));
InBlock.gif            
ExpandedSubBlockEnd.gif        }

InBlock.gif
InBlock.gif        private static void CreateMethodBody(MethodBuilder m)
ExpandedSubBlockStart.gif        {
InBlock.gif           ILGenerator il = m.GetILGenerator();
InBlock.gif           il.EmitWriteLine("输出一个新的类型:");
InBlock.gif           il.Emit(OpCodes.Ret);
ExpandedSubBlockEnd.gif        }

ExpandedSubBlockEnd.gif    }

ExpandedBlockEnd.gif}

None.gif

生成结果:
metaprog2.JPG

用ILDASM看生成的Dll,发现确实是个有效的CLR文件:
metaprog3.JPG
其中MetaProgMethod的方法对应的IL如下:
metaprog4.JPG


本文转自风前絮~~博客园博客,原文链接:http://www.cnblogs.com/windsails/archive/2004/09/07/40754.html,如需转载请自行联系原作者

相关文章
|
2月前
|
存储 算法 安全
【C++ 泛型编程 高级篇】 C++编译时函数调用技术深度解析
【C++ 泛型编程 高级篇】 C++编译时函数调用技术深度解析
39 1
|
3月前
|
Rust 安全 开发者
Rust中的元编程概念与应用
本文将深入探讨Rust编程语言中的元编程概念,包括宏、特性、元组和元函数等,并展示它们在Rust中的实际应用。元编程允许开发者在编译时操纵代码,实现代码生成、条件编译、类型检查等高级功能。通过本文的讲解,读者将能够更好地理解元编程在Rust中的作用,并学会如何在项目中应用元编程技术。
|
4月前
|
JavaScript 前端开发 Java
静态语言和动态语言,解释和编译
静态语言和动态语言,解释和编译
35 1
|
9月前
|
JSON Rust C语言
【Rust 基础篇】Rust宏:代码生成的黑魔法
Rust是一门以安全性和性能著称的系统级编程语言,它提供了强大的宏系统,使得开发者可以在编译期间生成代码,实现元编程(Metaprogramming)。宏是Rust中的一种特殊函数,它可以接受代码片段作为输入,并根据需要生成代码片段作为输出。本篇博客将深入探讨Rust中的宏,包括宏的定义、宏的分类、宏的使用方法,以及一些实际场景中的应用案例,以便读者全面了解Rust宏的神奇之处。
116 0
|
Dart 编译器 数据格式