refer to: http://www.haogongju.net/art/1195503
編程基礎之什麼是元編程
大家知道元編程麼？元編程到底什麼呢？下面爲你介紹元編程。
元編程是用來產生代碼的程序，操縱代碼的程序，在運行時創建和修改代碼而非編程時，這種程序叫做元程序。而編寫這種程序就叫做元編程。比如編譯原理中用來生成詞法分析器和語法分析器的lex和yacc。
元編程技術在多種編程語言中都可以使用，但更多的還是被應用於動態語言中，因爲動態語言提供了更多的在運行時將代碼視爲數據進行操縱的能力。雖然像C#和Java這樣較爲靜態的語言也提供了反射機制，但是仍然沒有諸如Ruby這樣的更趨動態性的語言那麼透明，這是因爲靜態語言在運行時其代碼和數據是分佈在兩個層次上的。
元編程是指某類[計算機程序]的編寫，這類計算機程序編寫或者操縱其他程序(或者自身)作爲它們的數據，或者在[運行時]完成部分本應在[編譯時]完成的工作。很多情況下比手工編寫全部代碼相比工作效率更高。編寫元程序的語言稱之爲元語言，被操作的語言稱之爲目標語言。一門語言同時也是自身的元語言的能力稱之爲反射。
反射是促進元編程的一種很有價值的語言特性。把編程語言自身作爲頭等對象（如Lisp或Rebol）也很有用。支持泛型編程的語言也使用元編程能力。
元編程通常有兩種方式起作用。一種方式是通過應用程序接口（API）來暴露運行時引擎的內部信息。另一種方法是動態執行包含編程命令的字符串。因此，“程序能編寫程序”。雖然兩種方法都能用，但大多數方法主要靠其中一種。
使用示例一個簡單元編程的例子是使用bash腳本的產生式編程示例：
- #!/bin/bash # metaprogram
- echo '#!/bin/bash' >program for ((I=1; I<=992; I++)) do
- echo "echo $I" >>program done
- chmod +x program
這個腳本（或程序）生成了一個新的993行程序來打印1至992。這只是演示用代碼來寫更多代碼，並不是打印數字的最有效方法。然而，一個程序員可以幾分鐘內編寫和執行元程序，卻生成了近1000行代碼。
不是所有的元編程都用產生式編程。如果程序可以在運行時改變（如Lisp、Python、REBOL、Smalltalk、Ruby、PHP、Perl, Tcl、Lua、Groovy和JavaScript），這種技術可以不實際生成源代碼就使用元編程。
最常用的元編程工具是編譯器，把高級語言轉換爲彙編語言或機器語言。更靈活的方法是在程序中嵌入解釋器直接處理程序數據。有一些實現例如爲Object Pascal編寫的RemObject's Pascal Script。
另一個很常用的元編程例子是lex和yacc，用來生成詞法分析器和語法分析器。Yacc通常用作編譯器的編譯器，生成一個把高級語言轉換爲機器語言的工具。
quine是一種源代碼等於輸出的特殊的元程序。
面向語言的程序設計是一種強烈關注元編程的編程風格，通過領域特定語言來實現。
希望通過本文的對於元編程的介紹，能給你帶來幫助。