如何判定型在型列表中?

如何判定型在型列表中?

元<型名 T>串 型名字(){中 具型(T).名字();}
元<型名...O>动&压型名(){
    静 无序集<串>列;压多(列,型名字<O>()...);中 列;
}//返回静态的引用,应该不会变吧

元<型名...O>构 型列{
    内联 静 动&列=压型名<O...>();
    //必须要内联,搞不懂为什么
    元<型名 T>极 有(){
        串 a=型名字<T>();中 在集(a,列);
    }
};

空 测试(){
    型列<整,浮,极>g;
    极 a=g.有<串>();
    极 b=g.有<极>();
    极 c=g.有<串>();
    //这两个是不一样的.
    打印(a,b,c);
};//应该是可以在编译器,0,1,0
空 主(){
    测试();
}