类型安全校验