完成ctype输入检查函数

添加了对assert的支持