如何判定型在型列表中?

<型名 T>串 型名字(){中 具型(T).名字();}<型名...O>&压型名(){
    静 无序集<>;压多(,型名字<O>()...);中 列;
}//返回静态的引用,应该不会变吧<型名...O>构 型列{
    内联 静 动&=压型名<O...>();
    //必须要内联,搞不懂为什么<型名 T>极 有(){
        串 a=型名字<T>();中 在集(a,);
    }
};

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