元编程这个概念本身不新，只是没有发现原来很早就在用这个东西，所以python等下再聊，先理一理怎么理解编程这个事情。
我仔细思考，其实是在做一件设计想法，纪录想法，实现想法的过程。
怎么样设计想法？应该需要一些图形，文字通过一定格式纪录下来，反复修改，最好是有一个规范或者工具让其他人也能明白和理解，方便交流。这个问题在编程这里也就是进入到编程语言的选择上面来，也可以自己制定一个规范，不管你用lex+yacc语法制导还是设计LLVM的AST，反正结果是要一种编程语言来设计你的想法。
选定了设计想法的规范也就是编程语言，现在就是怎么样来纪录想法，显而易见不可能是流水账式的纪录，你得把想法重点理清楚，想法的关键字是什么，有些什么用途，有没有关联的事务，这里就是纪录想法的格式，对应到编程就是你用什么设计模式，你是用传统的类继承，还是鸭子类型的接口或者猴子补丁的方式来纪录想法。
有了纪录的想法图纸，对应到编程就是静态的代码字面量，就能真正的实现想法，根据想法图纸生成真实的对象。
这个过程和元编程有什么关系？如果你明白上面的过程，我就可以这样描述：lex+yacc可以创建编程语言，编程语言可以创建元编程，元编程可以创建类，类可以创建对象实例。
那到底什么是元编程呢，C++里面他的实现叫做模板和宏，python里面他可以用装饰器实现，也可以用type元类型实现，他是在编程语言和类之间的一层设计技术，yacc生成的对象是编程语言，编程语言生成的对象是元编程对象，元编程对象生成的对象是类，类生成的对象是实例。
C的宏和模板出现得很早很早，本质也很简单，就像是一份留白的合同，你填上名字就能用。
python对象有2个重要的容器，一个是继承元组，一个是属性字典，所有的属性包括方法都是放在属性字典里面，这个2个容器在init之前就已经生成好，如果你要在init之前做一些处理，比如捕获子类的属性名把字符串类型的属性名前面都加上str，把方法名首字符都大写，强制子类使用一些编程规约，还或者加载一些缓存的数据，实现方法重载等等。当然子类可以在init做自己的处理，如果你是一个框架的设计者，自动化一些背后的处理确实看起来很高级。所以元编程的本质就是一种增加乐趣的玩具，应为编码很枯燥的。
原文地址：http://blog.51cto.com/1557154/2313874