type_safe:提供了使用C 类型系统的零开销抽象,以防止错误