元编程技术和动态编译

简介:

什么是元编程?

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


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

下图展示了.NET Framework中和元编程有关的类:

例如下面这个例子直接生成一个Dll,并且调用这个Dll中的动态方法:

using System;
using System.Reflection;
using System.Reflection.Emit;
using System.Threading;

namespace testMetaProg
{
    /// <summary>
    
/// Class1 的摘要说明。
    
/// </summary>

    class Class1
    {
        /// <summary>
        
/// 应用程序的主入口点。
        
/// </summary>

        [STAThread]
        static void Main(string[] args)
        {
            //
            
// TODO: 在此处添加代码以启动应用程序
            
//
            AssemblyName an = new AssemblyName();
            an.Name = "myMetaProg";
            AssemblyBuilder ab = Thread.GetDomain().DefineDynamicAssembly(an,AssemblyBuilderAccess.RunAndSave);
            ModuleBuilder mb = ab.DefineDynamicModule("MetaProgModule","myMetaProg.dll",true);
            TypeBuilder tb = mb.DefineType("MetaProg.NewType",TypeAttributes.Public);
            MethodBuilder m = tb.DefineMethod("MetaProgMethod",MethodAttributes.Public,null,null);

            CreateMethodBody(m);
            tb.CreateType();
            ab.Save("myMetaProg.dll");
            
            Type t = Type.GetType("MetaProg.NewType,myMetaProg",true);
            Object o = Activator.CreateInstance(t);
            MethodInfo myMethod = t.GetMethod("MetaProgMethod");
            myMethod.Invoke(o,null);
            myMethod = t.GetMethod("ToString");
            Console.WriteLine(myMethod.Invoke(o,null));
            
        }


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

    }

}

生成结果:


用ILDASM看生成的Dll,发现确实是个有效的CLR文件:

其中MetaProgMethod的方法对应的IL如下:


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

相关文章
|
4月前
|
程序员 C++
C++模板元编程入门
【7月更文挑战第9天】C++模板元编程是一项强大而复杂的技术,它允许程序员在编译时进行复杂的计算和操作,从而提高了程序的性能和灵活性。然而,模板元编程的复杂性和抽象性也使其难以掌握和应用。通过本文的介绍,希望能够帮助你初步了解C++模板元编程的基本概念和技术要点,为进一步深入学习和应用打下坚实的基础。在实际开发中,合理运用模板元编程技术,可以极大地提升程序的性能和可维护性。
|
6月前
|
自然语言处理 前端开发 Java
深入浅出JVM(六)之前端编译过程与语法糖原理
深入浅出JVM(六)之前端编译过程与语法糖原理
|
5月前
|
存储 安全 Java
JAVA 泛型新篇章:编译时类型安全的新境界!
【6月更文挑战第28天】Java 泛型增强了编译时类型安全,避免运行时类型转换异常。例如,未使用泛型的代码可能因隐含的类型转换抛出`ClassCastException`。泛型允许指定容器如`List&lt;String&gt;`的元素类型,确保编译期检查。此外,泛型类如`Stack&lt;T&gt;`能适应多种类型,提高代码重用。使用泛型方法如`&lt;T&gt; void processElements(List&lt;T&gt;)`可增强方法的通用性。泛型是Java中提升可靠性和灵活性的关键工具。
38 1
|
5月前
|
安全 Java 编译器
JAVA泛型,编译时类型安全的“秘密武器”
【6月更文挑战第28天】Java泛型是JDK 5引入的特性,用于在编译时增强类型安全和代码复用。它允许类、接口和方法使用类型参数,确保运行时类型匹配,减少了类型转换错误。例如,泛型方法`&lt;T&gt; void printArray(T[] array)`能接受任何类型数组,编译器会检查类型一致性。此外,泛型提升了代码的可读性、可维护性和与容器类的配合效率,优化整体软件质量。
36 0
|
6月前
|
设计模式 IDE 测试技术
提升 C#编程效率的技巧与方法
【4月更文挑战第20天】提升C#编程效率的关键技巧包括:选择合适的IDE(如Visual Studio)、掌握基础语法、规划良好代码结构、使用代码生成工具、复用代码、利用库和框架、定期重构、应用设计模式、避免过度设计、进行代码审查、自动化测试、学习新技术、养成良好编程习惯、定期备份代码及参与技术社区。通过这些方法,开发者能提高代码质量和开发效率。
83 5
|
6月前
|
Rust 安全 开发者
Rust中的元编程概念与应用
本文将深入探讨Rust编程语言中的元编程概念,包括宏、特性、元组和元函数等,并展示它们在Rust中的实际应用。元编程允许开发者在编译时操纵代码,实现代码生成、条件编译、类型检查等高级功能。通过本文的讲解,读者将能够更好地理解元编程在Rust中的作用,并学会如何在项目中应用元编程技术。
|
6月前
|
JavaScript 前端开发 Java
静态语言和动态语言,解释和编译
静态语言和动态语言,解释和编译
82 1
|
6月前
|
编译器 Linux vr&ar
C语言静态编译和动态编译
C语言静态编译和动态编译
132 0
|
6月前
编译期编程
编译期编程
|
JSON Rust C语言
【Rust 基础篇】Rust宏:代码生成的黑魔法
Rust是一门以安全性和性能著称的系统级编程语言,它提供了强大的宏系统,使得开发者可以在编译期间生成代码,实现元编程(Metaprogramming)。宏是Rust中的一种特殊函数,它可以接受代码片段作为输入,并根据需要生成代码片段作为输出。本篇博客将深入探讨Rust中的宏,包括宏的定义、宏的分类、宏的使用方法,以及一些实际场景中的应用案例,以便读者全面了解Rust宏的神奇之处。
161 0