Traits classes使得“类型相关信息”在编译期可用。它们以template和“templates特化”完成实现。

整合重载技术（overloading)后，traits classes有可能在编译期对类型执行if...else测试。