总结: 1.Traints classes使得“类型相关信息”在编译器可用。它们以template和“template特化”来实现。 2.整合重载技术后,traints classes可能在编译器对类型执行if...else判断。