#include <常用>
构 任何{//元为类型的类型.为类型单元
    元 B;B 值;
    元<类 T>任何(T&&t){//必须先赋值T类型
        B=T;值=t;
    }
};
//1,构造函数,必须有T.
//2,必须有个统一的基类:任何.
//3,能够正确返回原来的T类型:B.

类型的类型,这个概念非常重要.重要到可以重新写一门语言来专门实现它.