泛型编程\元编程的概念

泛型编程刚提出来的时候，动机其实非常简单直接——发明一种语言机制，用来帮助实现一个通用的标准容器库。那么，泛型编程到底在干什么？简单来说，一句话就能概括：它是把数据类型作为一种参数传递进来。这样一来，代码就能对不同的数据类型进行同样的操作，而不用为每种类型都写一遍。

说到元编程，它其实指的是某类计算机程序的编写方式。这类程序编写或者操纵其他程序（或者自身）作为它们的数据，或者在编译时完成部分本应在运行时完成的工作。很多情况下，这比手工编写全部代码效率更高。编写元程序的语言称为元语言，被操作的语言称为目标语言。如果一门语言同时也是自身的元语言，这种能力被称为反射。

元编程通常有两种方式起作用：一种是通过应用程序接口（API）来暴露运行时引擎的内部信息；另一种是动态执行包含编程命令的字符串。也就是说，程序能编写程序。当然，这两种方式虽然都能用，但大多数情况下，主要依赖其中一种。

eval()函数允许动态执行代码，而Type对象则提供了类型信息的反射能力。泛型编程本质上是对类型进行抽象，让类型本身成为参数。